책 이미지
eBook 미리보기
책 정보
· 제목 : Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9780124166196
· 쪽수 : 314쪽
· 출판일 : 2013-10-25
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9780124166196
· 쪽수 : 314쪽
· 출판일 : 2013-10-25
목차
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
