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. ...
Get Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
