Testing safety critical Ada code using non real time testing

DOI10.1007/3-540-44947-7_29MaRDI QIDQ4435392zbMATH OpenFDO

Authors Y. V. Jeppu, K. Karunakar, P. S. Subramanyam

Publication date 1 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/2655/26550382.htm

Mathematics Subject Classification ID

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

Recommendations

• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• Formal testing for separation assurance
• Formal methods at NASA Langley
• Formal modeling and analysis of an avionics triplex sensor voter
• COTS integration in safety critical systems using RTCA/DO-178B guidelines

This page was built for publication: Testing safety critical Ada code using non real time testing

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