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 10

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; ...

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