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
A Ravenscar-Compliant Run-Time Kernel for Safety-Critical Systems
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-0904-3712
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-5141-7242
2003 (English)In: The International Journal of Time-Critical Comuting, Vol. 24, no 1, 29-54 p.Article in journal (Refereed) 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.

Place, publisher, year, edition, pages
2003. Vol. 24, no 1, 29-54 p.
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:mdh:diva-10794DOI: 10.1023/A:1021701221847ISI: 000180048200002Scopus ID: 2-s2.0-0037262562OAI: oai:DiVA.org:mdh-10794DiVA: diva2:369097
Available from: 2010-11-10 Created: 2010-11-10 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Lundqvist, KristinaAsplund, Lars
By organisation
School of Innovation, Design and Engineering
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 17 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