Modeling and analysis of real-time and embedded systems with UML and MARTE : developing cyber-physical systems / Bran Selić; Sébastien Gérard
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Publisher: Amsterdam ; Boston : Elsevier, [2014]Edition: Online-AusgDescription: Online-Ressource (1 online resource (xxvi, 287 pages)) : illustrationsISBN:- 9781306070805
- 1306070805
- 9780124166561
- 9780124166196
- 006.22
- 006.2/2 23
- TK7895.E42
Contents:
Summary: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE explains how to apply the complex MARTE standard in practical situations. This approachable reference provides a handy user guide, illustrating with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software. Expert co-authors Bran Selic and Sébastien Gérard lead the team that drafted and maintain the standard and give you the tools you need apply MARTE to overcome the limitations of cyber-physical systems. The functional sophistication required of modern cyber-physical systems has reached a point where traditional code-centric development methods are proving less and less capable of delivering a reliable product in a timely manner. In Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE, you will learn how to take advantage of modern model-based engineering methods and corresponding industry standards to overcome these limitations. These methods take full advantage of computer-supported automation allowing timely detection of design flaws to reduce engineering risk, leading thereby to better overall product quality and greater productivity. Understand the design rationale behind the MARTE standard needed to take full advantage of its many powerful modeling capabilities Best apply the various MARTE features for the most common use cases encountered in the design of real-time and embedded software Learn how MARTE can be used together with the SysML language for the design of complex cyber-physical systems Discover how MARTE can be used for different kinds of computer-supported engineering analyses to predict key system characteristics early in development Customize MARTE for a specific domain or project.Summary: Front Cover -- Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE -- Copyright Page -- Contents -- Acknowledgments -- Foreword -- Modeling is key to engineering -- Cyber-physical systems -- Is a domain-specific language better than UML? -- Preface -- About this book -- Why this book -- I: Introduction to MARTE -- 1 An Overview of MARTE -- 1.1 Introduction -- 1.2 Why model? -- 1.3 A simple example -- 1.4 What does MARTE add to UML? -- 1.5 Conceptual foundations and design principles -- 1.5.1 Foundational concepts: Applications, platforms, and deployment -- 1.5.2 Foundational concepts (1): Resources, brokers, services, usages -- 1.5.3 Foundational concepts (2): Physical data types and values -- 1.5.4 Foundational concepts (3): Time and timed behavior -- 1.5.5 Foundational concepts (4): Class/instance unification [Advanced] -- 1.5.6 Core design principle (1): Support for concern-specific representations [Advanced] -- 1.5.7 Core design principle (2): Composite stereotypes [Advanced] -- 1.5.8 Core design principle (3): Modularity for scalability [Advanced] -- 1.6 Standard use cases for MARTE -- 1.6.1 Use case (1): Application modeling -- 1.6.2 Use case (2): Modeling platforms -- 1.6.3 Use case (3): Specifying deployment -- 1.6.4 Use case (4): Analyze model -- 1.6.5 Use case (5): Create a new analysis profile -- 1.6.6 Use case (6): Configure product variant -- 1.6.7 Use case (7): Extend MARTE -- 1.7 Tool support for MARTE -- 1.8 Summary -- References -- II: Foundations -- 2 An Introduction to UML Profiles -- 2.1 Introduction -- 2.2 The two kinds of profiles -- 2.3 How profiles work -- 2.3.1 Metamodels -- 2.3.2 The stereotype concept -- 2.3.3 First-class language concepts -- 2.3.4 Profile packages -- 2.3.5 Using stereotypes in models -- 2.3.6 Under the hood: How stereotypes are implemented.PPN: PPN: 807191876Package identifier: Produktsigel: ZDB-26-MYL | ZDB-30-PAD | ZDB-30-PQE
part I. Introduction to MARTEpart II. Foundations -- part III. Modeling real-time systems with MARTE -- part Ivolume System analysis with MARTE -- part volume Extending MARTE.
No physical items for this record