The increasing complexity of control systems in automation and the verification of compliance with safety standards, require system wide, device spanning modeling of functions. Such models can be expressed with the help of UML in the form of component and class diagrams as well as state charts. In this book an UML Profile is defined, which both restricts and extends UML to model function in the rolling stock domain appropriately. In addition, concepts to describe the quality of service aspects like time constraints and fault tolerance are added to the Profile (based on the UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, defined by the OMG). A generator is realized for the defined language, which is able to check UML models for conformance to the Profile and to map conforming models to the target language 'Structured Text'. Mechanisms which allow traceability of single code fragments into the model are used during the generation.
具体描述
读后感
评分
评分
评分
评分
用户评价
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有