mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngår i: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 160, nr 1, s. 127-140Artikkel i tidsskrift (Fagfellevurdert) 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.

sted, utgiver, år, opplag, sider
2006. Vol. 160, nr 1, s. 127-140
Emneord [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
HSV kategori
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
Tilgjengelig fra: 2016-06-14 Laget: 2016-06-14 Sist oppdatert: 2017-11-28bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Carlson, Jan

Søk i DiVA

Av forfatter/redaktør
Carlson, Jan
Av organisasjonen
I samme tidsskrift
Electronical Notes in Theoretical Computer Science

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 19 treff
RefereraExporteraLink to record
Permanent link

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