Formal modeling and analysis of an avionics triplex sensor voter

DOI10.1007/3-540-44829-2_3MaRDI QIDQ4426369zbMATH OpenFDO

Authors Samar Dajani-Brown, Darren D. Cofer, Gary L. Hartmann, Steve Pratt

Publication date 16 September 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/2648/26480034.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Using formal verification techniques to reduce simulation and test effort
• Formal verification of control systems software
• Linear temporal logic symbolic model checking
• Formal analysis and verification of Statemate designs
• scientific article; zbMATH DE number 1107558

Cited in

(8)

• Using formal verification techniques to reduce simulation and test effort
• COTS integration in safety critical systems using RTCA/DO-178B guidelines
• Testing safety critical Ada code using non real time testing
• Formal methods at NASA Langley
• Refinement and verification applied to an in-flight data acquisition unit
• Finding boundary elements in ordered sets with application to safety and requirements analysis
• From control law diagrams to Ada via \textsf{Circus}
• A correct by construction fault tolerant voter for input selection of a control system

Describes a project that uses

Uses Software

• Simulink
• LTL2BA

This page was built for publication: Formal modeling and analysis of an avionics triplex sensor voter

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