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
A Ravenscar-Compliant Run-Time Kernel for Safety-Critical Systems
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-0904-3712
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0001-5141-7242
2003 (engelsk)Inngår i: The International Journal of Time-Critical Comuting, Vol. 24, nr 1, s. 29-54Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

The Ravenscar tasking profile for Ada 95 has been designed to allow implementation of highly safety critical systems. Ravenscar defines a tasking system with deterministic behavior and low complexity. We provide a formal model using UPPAAL of the primitives provided by Ravenscar including exceptions. This formal model is used to verify the correctness of the Ravenscar model and can be used to verify safety properties of applications using the Ravenscar profile. As an illustration of this, we model a sample application using all features of Ravenscar and formally verify its correctness. Furthermore, an introduction to the Ravenscar model is given.

sted, utgiver, år, opplag, sider
2003. Vol. 24, nr 1, s. 29-54
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-10794DOI: 10.1023/A:1021701221847ISI: 000180048200002Scopus ID: 2-s2.0-0037262562OAI: oai:DiVA.org:mdh-10794DiVA, id: diva2:369097
Tilgjengelig fra: 2010-11-10 Laget: 2010-11-10 Sist oppdatert: 2015-06-30bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Lundqvist, KristinaAsplund, Lars

Søk i DiVA

Av forfatter/redaktør
Lundqvist, KristinaAsplund, Lars
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 38 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