Modeling and analysis of real-time and embedded systems with UML and MARTE : developing cyber-physical systems created by Bran Selić and Sébastien Gérard
Material type:
- text
- unmediated
- volume
- 9780124166196 (pbk.)
- TK7895.E42
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Core Collection | Main Library Core Collection | TK7895.E.42 SEL (Browse shelf(Opens below)) | 150529 | Available | BK137867 | ||
![]() |
Main Library Open Shelf | TK7895.E.42 SEL (Browse shelf(Opens below)) | 150528 | Available | BK137876 | ||
![]() |
Main Library Open Shelf | TK7895.E.42 SEL (Browse shelf(Opens below)) | 150527 | Available | BK137858 | ||
![]() |
Main Library Open Shelf | TK7895.E.42 SEL (Browse shelf(Opens below)) | 150526 | Available | BK137855 | ||
Core Collection | Main Library Core Collection | TK7895.E.42 SEL (Browse shelf(Opens below)) | 150525 | Available | BK137831 |
Includes bibliographical references and index
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
Explains how to apply the complex MARTE standard in practical situations. This guide illustrates with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software
There are no comments on this title.