- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
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 Sébastien Gérard 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.
Contents
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
