Modeling and analysis of real-time and embedded systems with UML and MARTE : developing cyber-physical systems
著者
書誌事項
Modeling and analysis of real-time and embedded systems with UML and MARTE : developing cyber-physical systems
Elsevier, c2014
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE explains how to apply the complex MARTE standard in practical situations. This approachable reference provides a handy user guide, illustrating with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software.
Expert co-authors Bran Selic and Sebastien Gerard lead the team that drafted and maintain the standard and give you the tools you need apply MARTE to overcome the limitations of cyber-physical systems. The functional sophistication required of modern cyber-physical systems has reached a point where traditional code-centric development methods are proving less and less capable of delivering a reliable product in a timely manner. In Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE, you will learn how to take advantage of modern model-based engineering methods and corresponding industry standards to overcome these limitations. These methods take full advantage of computer-supported automation allowing timely detection of design flaws to reduce engineering risk, leading thereby to better overall product quality and greater productivity.
目次
Preface
I: Introduction
1: An Overview of MARTE
II: Foundations
2: An Introduction to the UML Profile Mechanism
3: Specifying System Qualities (Non-Functional Properties)
4: Modeling Time and Resources
III: Modeling Real-Time Software Systems with MARTE
5: Basic Application Modeling
6: Platform Modeling
7: Specifying Deployment
8: Combining MARTE and SysML
9: Modeling Component Based Systems
10: Combining MARTE and SysML
IV: System analysis using MARTE
11: Foundations of System Analysis
12: Performance Analysis
13: Schedulability Analysis
V: Extending MARTE
14: Extending MARTE
APPENDICES
A. The Value Specification Language
B. The MARTE NFP Library Reference
C. MARTE tools
「Nielsen BookData」 より