Midlands State University Library

Modeling and analysis of real-time and embedded systems with UML and MARTE : developing cyber-physical systems

Selic, Bran

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 - Amsterdam Elsevier 2014 - 287 pages ill. 24 cm

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

9780124166196 (pbk.)


UML (Computer science)


Embedded computer systems--Computer simulation
UML (Computer science)
Computer architecture. Operating systems

TK7895.E42