On the dynamic semantics and the timing behavior of Ravenscar kernels

DOI10.1023/B:TIME.0000048937.17571.2BMaRDI QIDQ1780180zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

real-time systemsconcurrent programming

Mathematics Subject Classification ID

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

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

Cited in

(4)

• A Ravenscar-compliant run-time kernel for safety-critical systems
• scientific article; zbMATH DE number 2011465 (Why is no real title available?)
• scientific article; zbMATH DE number 2011464 (Why is no real title available?)
• scientific article; zbMATH DE number 1706355 (Why is no real title available?)

Describes a project that uses

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)