October 2013
Intermediate to advanced
314 pages
9h 45m
English
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. ...