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, p. 127-140Article 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, p. 127-140
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, id: diva2:936672
Available from: 2016-06-14 Created: 2016-06-14 Last updated: 2017-11-28Bibliographically approved

Open Access in DiVA

No full text in DiVA

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