| Description |
1 online resource (xxvi, 287 pages .) |
|
text txt rdacontent |
|
computer c rdamedia |
|
online resource cr rdacarrier |
| Series |
The MK/OMG Press |
|
MK/OMG Press.
|
| Bibliography |
Includes bibliographical references and index. |
| Note |
Print version record. |
| 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. |
| Contents |
Machine generated contents note: pt. I INTRODUCTION TO MARTE -- ch. 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 -- pt. II FOUNDATIONS -- ch. 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 -- 2.3.7. Denotational and annotational properties of stereotypes -- 2.3.8. Multibased stereotypes -- 2.4. Conventions related to the use of profiles -- 2.4.1. Default values of omitted stereotype properties -- 2.4.2. Transitivity of class stereotypes to elements representing instances -- 2.4.3. Inheritance of stereotype applications -- 2.5. Model libraries for profiles -- 2.6. Specializing profiles -- 2.7. Summary -- References -- ch. 3 MARTE Foundations: Specifying Non-functional Properties -- 3.1. Introduction -- 3.2. The modeling of physical data types in MARTE -- 3.3. How to use the MARTE standard physical types -- 3.3.1. Time types, time values, and time expressions -- 3.4. Adding new physical data types [Advanced] -- 3.4.1. Step 1: Defining the physical units and their concrete representation -- 3.4.2. Step 2: Defining the unit type (Dimension) of the physical type -- 3.4.3. Step 3: Defining the new physical type -- 3.5. Specifying probabilistic values for physical data types [Advanced] -- 3.6. Specifying required and offered values -- 3.7. Summary -- References -- ch. 4 MARTE Foundations: Modeling Time and Resources -- 4.1. Introduction -- 4.2. Modeling with time and clocks -- 4.2.1. Two alternatives for dealing with time values -- 4.2.2. MARTE models of time -- 4.2.3. Base concepts for explicit reference clock modeling -- 4.2.4. Modeling clocks -- 4.2.5. The ideal clock -- 4.2.6. Associating behavior with time -- 4.2.7. Timed constraints -- 4.2.8. Modeling timers and timeouts -- 4.3. Modeling resources -- 4.3.1. Conceptual framework for representing resources -- 4.3.2. Modeling resources -- 4.3.3. Modeling resource services -- 4.3.4. Modeling resource usages -- 4.4. Summary -- References -- pt. III MODELING REAL-TIME SYSTEMS WITH MARTE -- ch. 5 Modeling Software Applications -- 5.1. Introduction -- 5.2. Distinguishing characteristics of "real-time" applications -- 5.3. Application modeling foundations -- 5.3.1. Software resources -- 5.3.2. Software resource services -- 5.4. Dealing with concurrency -- 5.4.1. Modeling concurrent tasks -- 5.4.2. Modeling synchronization mechanisms -- 5.4.3. Modeling task communications mechanisms -- 5.5. Dealing with timeliness -- 5.5.1. Modeling clocks and timers via the implicit approach -- 5.5.2. Associating time with services and service invocations [Advanced] -- 5.5.3. Modeling cyclical behaviors -- 5.6. Dealing with asynchrony and hardware interfacing -- 5.6.1. Modeling interrupt sources and interrupt handling -- 5.6.2. Modeling signal-based notifications -- 5.7. Dealing with resource limitations (Specifying platform requirements) -- 5.8. Summary -- References -- ch. 6 Modeling Platforms -- 6.1. Introduction -- 6.2. What is a platform? -- 6.3. Why model platforms? -- 6.4. MARTE approach to modeling platforms -- 6.4.1. Platform modeling -- core concepts -- 6.4.2. Modeling processing resources -- 6.4.3. Modeling storage resources -- 6.4.4. Modeling communications resources -- 6.4.5. Modeling concurrency resources -- 6.4.6. Modeling synchronization resources -- 6.4.7. Modeling hardware devices and interrupt sources -- 6.4.8. Modeling concepts for physical platform modeling -- 6.5. Platform modeling guidelines -- 6.5.1. Specifying offered quality of service using NFP_Constraint -- 6.5.2. How detailed should a platform model be? -- 6.5.3. Platforms: Class-based or instance-based models? -- 6.5.4. The acceptable platform design pattern [Advanced] -- 6.6. Summary -- References -- ch. 7 Modeling Deployment -- 7.1. Introduction -- 7.2. The two primary use cases for deployment modeling -- 7.3. The assign and allocate stereotypes -- 7.4. Specifying required and provided QoS values via deployment -- 7.5. Granularity and meaning of deployment specifications -- 7.6. Capturing multiple deployment variants -- 7.7. Limitations of the UML approach to modeling deployment [Advanced] -- 7.8. Summary -- References -- ch. 8 Modeling Cyber-Physical Systems: Combining MARTE with SysML -- 8.1. Introduction -- 8.2. The SysML profile -- 8.3. Why use SysML and MARTE together? -- 8.4. Methods of combining SysML and MARTE -- 8.5.Common scenarios of joint use of SysML and MARTE -- 8.5.1. Use case: Supplementing SysML requirements with MARTE NFP specifications -- 8.5.2. Use case: Transitioning between models at different levels of abstraction -- 8.5.3. Use case: Engineering analysis of a SysML model using MARTE analysis facilities -- 8.6. Summary -- References -- pt. IV SYSTEM ANALYSIS WITH MARTE -- ch. 9 Foundations for Model-Based Analysis -- 9.1. Introduction -- 9.2. The demand -- supply analysis pattern -- 9.3. Model-based design analysis -- 9.3.1. Design models versus analysis models -- 9.3.2. Design space exploration with MARTE-based model analysis -- 9.3.3. Instance versus class models for analysis -- 9.4. GQAM concepts -- 9.4.1. The analysis context -- 9.4.2. Specifying demand: Workload -- 9.4.3. Specifying the supply side: Scenarios and steps -- 9.4.4. Platforms -- 9.4.5. Defining timing constraints using time observers -- 9.5. Summary -- References -- ch. 10 Model-Based Schedulability Analysis -- 10.1. Introduction -- 10.2. Basic SAM concepts -- 10.2.1. Analysis context -- 10.2.2. Specifying workloads for schedulability analysis -- 10.2.3. Specifying platforms for schedulability analysis -- 10.3. An example of schedulability analysis -- 10.3.1.A simple ABS system -- 10.3.2. Schedulability analysis example -- 10.3.3. Creating a platform model for analysis -- 10.3.4. Creating workload descriptions -- 10.3.5. Defining analysis contexts -- 10.3.6. Performing a rate monotonic schedulability analysis -- 10.4. Summary -- References -- ch. 11 Model-Based Performance Analysis -- 11.1. Introduction -- 11.2. Concepts of performance analysis -- 11.3. MARTE performance analysis example -- 11.4. Key stereotypes for performance analysis -- 11.5. Construction of a simple Pmodel, and bottleneck analysis -- 11.5.1. Creating a QN model -- 11.6. More complex annotations -- 11.6.1. Parameterized values -- 11.6.2. NFP types -- 11.6.3. Message handling delays -- 11.6.4. Logical resources -- 11.6.5. Importation of external operations -- 11.6.6. Required values and other sources of values -- 11.7. Modeling with multiple scenarios -- 11.8. The typical performance analysis process -- 11.9. Summary -- References -- pt. V EXTENDING MARTE -- ch. |
|
12 Extending MARTE [Advanced] -- 12.1. Introduction -- 12.2. How to add missing modeling capabilities to MARTE -- 12.3. Extending the MARTE domain-specific language -- a case study -- 12.3.1.A quick overview of AADL -- 12.3.2. Mapping of AADL concepts to MARTE -- 12.3.3. Extending multiple base classes -- 12.3.4. Selecting base classes for stereotypes -- 12.4. Who should define language extensions? -- 12.5. Summary -- Appendices -- Appendix A The Value Specification Language (VSL) -- A.1. Why VSL? -- A.2. Where to apply VSL -- A.3. Quick (abbreviated) VSL user guide -- A.3.1. Modeling structured data types with VSL [Advanced] -- A.3.2. VSL expressions -- A.4. Alternatives to VSL -- A.4.1. The Alf language -- A.4.2. SysML parametrics and physical types -- A.5. Summary -- References -- Appendix B MARTE Library Types -- Quick Reference -- B.1. Introduction -- B.2. The MARTE library primitive types -- B.3. The MARTE library measurement units -- B.4. The MARTE library basic NFP types -- B.5. The MARTE library time types -- B.6. Other MARTE library types -- References -- Appendix C MARTE Stereotypes -- Quick Reference -- References. |
| Language |
English. |
| Subject |
UML (Computer science)
|
|
Embedded computer systems -- Computer simulation.
|
|
UML (Computer science)
|
|
Systèmes enfouis (Informatique) -- Simulation par ordinateur.
|
|
UML (Informatique)
|
|
COMPUTERS -- General.
|
|
UML (Computer science)
|
| Added Author |
Gérard, Sébastien, author.
|
| Other Form: |
Print version: Selic, Bran. Modeling and analysis of real-time and embedded systems with UML and MARTE. 9780124166196 0124166199 (DLC) 2013027695 |
| ISBN |
0124166563 (electronic bk.) |
|
9780124166561 (electronic bk.) |
|
9780124166196 (alk. paper) |
|
0124166199 (alk. paper) |
|
1306070805 |
|
9781306070805 |
| Standard No. |
AU@ 000059642871 |
|
CHNEW 001011986 |
|
DEBBG BV042314362 |
|
DEBSZ 405351658 |
|
DEBSZ 431548900 |
|
DKDLA 820120-katalog:9910110187805765 |
|
NZ1 15341996 |
|
