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 Formal Model of a Run-Time Kernel for Ravenscar
Uppsala Univ., Sweden.ORCID-id: 0000-0003-0904-3712
Uppsala Univ., Sweden.ORCID-id: 0000-0001-5141-7242
1999 (engelsk)Inngår i: Proc. 6th International Conference on Real-Time Computing Systems and Applications - RTCSA'99, Hong-Kong, 1999, s. 504-507Konferansepaper, Publicerat paper (Annet vitenskapelig)
Abstract [en]

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

sted, utgiver, år, opplag, sider
Hong-Kong, 1999. s. 504-507
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-10806DOI: 10.1109/RTCSA.1999.811307ISBN: 0-7695-0306-3 (tryckt)OAI: oai:DiVA.org:mdh-10806DiVA, id: diva2:369110
Konferanse
6th International Conference on Real-Time Computing Systems and Applications - RTCSA'99
Tilgjengelig fra: 2010-11-10 Laget: 2010-11-10 Sist oppdatert: 2015-10-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Lundqvist, KristinaAsplund, Lars

Søk i DiVA

Av forfatter/redaktør
Lundqvist, KristinaAsplund, Lars

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

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