Logotype Mälardalenn University

MRTC publications



The SaveCCM Language Reference Manual

Full text:  
Authors: Mikael Åkerholm (former), Jan Carlson, John Håkansson (Department of Information Technology, Uppsala University), Hans Hansson, Mikael Nolin, Thomas Nolte, Paul Pettersson
Source: MRTC report ISSN 1404-3041 ISRN MDH-MRTC-207/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University
 

Abstract

This language reference describes the syntax and semantics of SaveCCM, a component modeling language for embedded systems designed with vehicle applications and safety concerns in focus. The SaveCCM component model was defined within the SAVE project. The SAVE components are influenced mainly by the Rubus component technology, with a switch concept similar to that in Koala. The semantics is defined by a transformation into timed automata with tasks, a formalism that explicitly models timing and real-time task scheduling. The purpose of this document is to describe a semantics of the SAVE component modeling language, which can be used to describe timing and functional behavior of components. The model of a system is in some cases an over approximation of the actual system behavior. An implementation of a model can resolve non-determinism e.g. by merging tasks or assigning a scheduling policy (such as static scheduling or fixed priority, preemptive or not) that will resolve the non-determinism.
 

BibTeX entry

@techreport{Åkerholm_1210:2007,
   author = {Mikael {\AA}kerholm and Jan Carlson and John H{\aa}kansson and Hans Hansson and Mikael Nolin and Thomas Nolte and Paul Pettersson},
   title = {The SaveCCM Language Reference Manual},
   month = {January},
   year = {2007},
   institution = {M{\aa}lardalen University},
   number = {ISSN 1404-3041 ISRN MDH-MRTC-207/2007-1-SE},
   type = {{T}echnical {R}eport},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1210},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2012.08.24