A Ravenscar-compliant run-time kernel for safety-critical systems
type: Item
instance of: scholarly article
title: A Ravenscar-compliant run-time kernel for safety-critical systems
zbMATH Open document ID: 1033.68026
DOI: 10.1023/A:1021701221847
author: Kristina Lundqvist
author: Lars Asplund
published in: Real-Time Systems
publication date: 2003-07-01T00:00:00Z
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 1944899
zbMATH Keywords: safety-critical systems
zbMATH Keywords: Ravenscar
zbMATH Keywords: run-time kernel
zbMATH Keywords: formal modeling
zbMATH Keywords: model checking
zbMATH Keywords: Ada
zbMATH Keywords: UPPAAL
describes a project that uses: Ada95
describes a project that uses: Kronos
describes a project that uses: Uppaal
MaRDI profile type: Publication
full work available at URL: a:1021701221847
OpenAlex ID: W1588544700
description: scientific article; zbMATH DE number 1944899