On the dynamic semantics and the timing behavior of Ravenscar kernels

DOI10.1023/B:TIME.0000048937.17571.2BzbMATH Open1097.68532OpenAlexW2002324803MaRDI QIDQ1780180FDOQ1780180

Authors: Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente 

Publication date: 7 June 2005

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

Full work available at URL: https://doi.org/10.1023/b:time.0000048937.17571.2b

Recommendations

• A Ravenscar-compliant run-time kernel for safety-critical systems
• scientific article; zbMATH DE number 1706355
• scientific article; zbMATH DE number 2011463
• Analysis of scheduling behaviour using generic timed automata
• scientific article; zbMATH DE number 2011464

zbMATH Keywords

real-time systemsconcurrent programming

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Cited In (4)

• A Ravenscar-compliant run-time kernel for safety-critical systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Ada95

This page was built for publication: On the dynamic semantics and the timing behavior of Ravenscar kernels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1780180)