Skip to Main Content
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE
book

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

by Bran Selic, Sebastien Gerard
October 2013
Intermediate to advanced content levelIntermediate to advanced
314 pages
9h 45m
English
Morgan Kaufmann
Content preview from Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE
Chapter 9

Foundations for Model-Based Analysis

In addition to providing a domain-specific language for modeling of real-time systems phenomena, MARTE also supports formal model analysis. To that end, it first defines a generic framework, called Generic Quantitative Analysis Modeling (GQAM), which serves as a common basis for a variety of different formal analysis techniques. The common characteristic shared by these analyses is that they are all used to determine whether a particular platform is capable of providing the quality of service (QoS) required by an application. Both the Schedulability Analysis Modeling (SAM) subprofile and the Performance Analysis Modeling (PAM) subprofile of MARTE are based on the general concepts defined in GQAM. ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Model Driven Engineering for Distributed Real-Time Embedded Systems 2009: Advances, Standards, Applications and Perspectives

Model Driven Engineering for Distributed Real-Time Embedded Systems 2009: Advances, Standards, Applications and Perspectives

Jean-Philippe Babau, Mireille Blay-Fornarino, Jöel Champeau, Sylvain Robert, Antonino Sabetta
Model-Based Testing for Embedded Systems

Model-Based Testing for Embedded Systems

Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman

Publisher Resources

ISBN: 9780124166196