mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
The SaveCCM Language Reference Manual
Mälardalen University, Department of Computer Science and Electronics.
Mälardalen University, Department of Computer Science and Electronics.ORCID iD: 0000-0002-8461-0230
Uppsala University, Uppsala, Sweden.
Mälardalen University, Department of Computer Science and Electronics.ORCID iD: 0000-0002-7235-6888
Show others and affiliations
2007 (English)Report (Other academic)
Abstract [en]

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.

Place, publisher, year, edition, pages
2007.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-6975ISRN: MDH-MRTC-207/2007-1-SEOAI: oai:DiVA.org:mdh-6975DiVA, id: diva2:236985
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2015-07-29Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

http://www.es.mdh.se/pdf_publications/1021.pdf

Authority records BETA

Carlson, JanHansson, HansSjödin, MikaelNolte, ThomasPettersson, Paul

Search in DiVA

By author/editor
Åkerholm, MikaelCarlson, JanHansson, HansSjödin, MikaelNolte, ThomasPettersson, Paul
By organisation
Department of Computer Science and Electronics
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 419 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf