TY  - BOOK
AU  - Selic,Bran
AU  - Gérard,Sébastien
TI  - Modeling and analysis of real-time and embedded systems with UML and MARTE: developing cyber-physical systems 
SN  - 9780124166196 (pbk.)
AV  - TK7895.E42 
PY  - 2014///
CY  - Amsterdam
PB  - Elsevier
KW  - UML (Computer science)
KW  - Embedded computer systems
KW  - Computer simulation
KW  - Computer architecture. Operating systems
N1  - 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
N2  - 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
ER  -