Formal modeling and analysis of advanced scheduling features in an avionics RTOS

DOI10.1007/3-540-45828-X_11MaRDI QIDQ4439567zbMATH OpenFDO

Authors Darren D. Cofer, Murali Rangarajan

Publication date 14 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2491/24910138.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Strictly periodic scheduling in IMA-based architectures
• An optimisation approach for pre-runtime scheduling of tasks and communication in an integrated modular avionic system
• Verifying time partitioning in the DEOS scheduling kernel
• An integrated approach to scheduling in safety-critical embedded control systems
• Verifying a scheduling protocol of safety-critical systems

Cited in

(4)

• An optimisation approach for pre-runtime scheduling of tasks and communication in an integrated modular avionic system
• High-integrity systems development for integrated modular avionics using VxWorks and GNAT
• Strictly periodic scheduling in IMA-based architectures
• Using formal reasoning on a model of tasks for FreeRTOS

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Formal modeling and analysis of advanced scheduling features in an avionics RTOS

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