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. : alk. paper) AV - TK7895.E42 S3985 2014 U1 - 006.22 23 PY - 2014///] CY - Amsterdam, Boston PB - Elsevier KW - UML (Computer science) KW - Embedded computer systems KW - Computer simulation N1 - computer bookfair2015; Includes bibliographical references and index; Chapter 1. An Overview of MARTE - Chapter 2. An Introduction to UML Profiles - Chapter 3. MARTE Foundations: Specifying Non-functional Properties - Chapter 4. MARTE Foundations: Modeling Time and Resources - Chapter 5. Modeling Software Applications - Chapter 6. Modeling Platforms - Chapter 7. Modeling Deployment - Chapter 8. Modeling Cyber-Physical Systems: Combining MARTE with SysML - Chapter 9. Foundations for Model-Based Analysis - Chapter 11. Model-Based Performance Analysis - Chapter 12. Extending MARTE [Advanced] - ER -