October 2013
Intermediate to advanced
314 pages
9h 45m
English
The Schedulability Analysis Modeling (SAM) subprofile of MARTE is used to determine whether or not a given platform implementing a given task scheduling policy can satisfy all of the hard real-time deadlines of a multitasking application. SAM is a refinement of the generic MARTE GQAM analysis framework and is applicable to an important category of predominantly time-driven real-time systems. This chapter describes the basic SAM concepts and illustrates their use on a prototypical example.
analysis; client/server; evolutionary prototyping; load modeling; mechanical verification; modeling and prediction; quality analysis and evaluation; real-time and embedded systems; relations between models; ...