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
SaveCCM: An Analysable Component Model for Real-Time Systems
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-8461-0230
Uppsala University, Sweden.
Uppsala University, Sweden.
2006 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 160, no 1, 127-140 p.Article in journal (Refereed) Published
Resource type
Text
Abstract [en]

Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essential dimension is time, since many embedded systems have real-time requirements. We define a formal semantics of a component language for embedded systems, SaveCCM, a language designed with vehicle applications and safety concerns in focus. The semantics is defined by a transformation into timed automata with tasks, a formalism that explicitly models timing and real-time task scheduling. A simple SaveCCM system with a PI controller is used as a case study. Temporal properties of the PI controller have been successfully verified using the timed automata model checker Uppaal.

Place, publisher, year, edition, pages
2006. Vol. 160, no 1, 127-140 p.
Keyword [en]
Case study, Component specification, Components, Formal methods, Real-time or embedded components, Automata theory, Embedded systems, Formal languages, Network components, Scheduling, Real time systems
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-31889DOI: 10.1016/j.entcs.2006.05.019Scopus ID: 2-s2.0-33746707502OAI: oai:DiVA.org:mdh-31889DiVA: diva2:936672
Available from: 2016-06-14 Created: 2016-06-14 Last updated: 2017-11-28Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Carlson, Jan

Search in DiVA

By author/editor
Carlson, Jan
By organisation
Embedded Systems
In the same journal
Electronical Notes in Theoretical Computer Science
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 8 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