High-integrity systems development for integrated modular avionics using VxWorks and GNAT

DOI10.1007/3-540-48046-3_13MaRDI QIDQ3045866zbMATH OpenFDO

Authors Paul Parkinson, Franco Gasperoni

Publication date 12 August 2004

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/2361/23610163.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• COTS integration in safety critical systems using RTCA/DO-178B guidelines
• Formalizing software architectures for embedded systems
• Formal modeling and analysis of advanced scheduling features in an avionics RTOS
• Refinement and verification applied to an in-flight data acquisition unit
• High integrity Ravenscar

Cited in

(1)

• COTS integration in safety critical systems using RTCA/DO-178B guidelines

Describes a project that uses

Uses Software

• SPARK95

This page was built for publication: High-integrity systems development for integrated modular avionics using VxWorks and GNAT

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