mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
SaveCCM: An Analysable Component Model for Real-Time Systems
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-8461-0230
Uppsala University, Sweden.
Uppsala University, Sweden.
2006 (Engelska)Ingår i: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 160, nr 1, s. 127-140Artikel i tidskrift (Refereegranskat) Published
Resurstyp
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.

Ort, förlag, år, upplaga, sidor
2006. Vol. 160, nr 1, s. 127-140
Nyckelord [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
Nationell ämneskategori
Datorsystem
Identifikatorer
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
Tillgänglig från: 2016-06-14 Skapad: 2016-06-14 Senast uppdaterad: 2017-11-28Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Carlson, Jan

Sök vidare i DiVA

Av författaren/redaktören
Carlson, Jan
Av organisationen
Inbyggda system
I samma tidskrift
Electronical Notes in Theoretical Computer Science
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 19 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf