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 -