Model-Based Schedulability Analysis
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.
Keywords
analysis; client/server; evolutionary prototyping; load modeling; mechanical verification; modeling and prediction; quality analysis and evaluation; real-time and embedded systems; relations between models; ...
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.
