A Ravenscar-compliant run-time kernel for safety-critical systems

DOI10.1023/A:1021701221847zbMath1033.68026OpenAlexW1588544700MaRDI QIDQ1395684

Kristina Lundqvist, Lars Asplund

Publication date: 1 July 2003

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1021701221847

zbMATH Keywords

model checkingsafety-critical systemsformal modelingUPPAALAdaRavenscarrun-time kernel

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (2)

Cost enforcement in the real-time specification for Java ⋮ Formal verification of multitasking applications based on timed automata model

Uses Software

• Uppaal
• Unnamed Item
• Unnamed Item

This page was built for publication: A Ravenscar-compliant run-time kernel for safety-critical systems