Formal modeling and analysis of an avionics triplex sensor voter

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2648, Issue , 2003, Pages 34-48

  Dajani Brown, Samar ^a   Cofer, Darren ^a   Hartmann, Gary ^a   Pratt, Steve ^a  

^a HONEYWELL TECHNOLOGY CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FIRMWARE; FORMAL VERIFICATION; MODEL CHECKING;

DEVELOPMENT PROCESSES AND TOOLS; DIGITAL FLIGHT CONTROL SYSTEMS; FORMAL MODELING AND ANALYSIS; NORMAL OPERATING CONDITIONS; NORMAL OPERATIONS; REDUNDANT SENSORS; REFERENCE SENSORS; TRANSIENT CONDITIONS;

FLIGHT CONTROL SYSTEMS;

EID: 35248852035     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44829-2_3     Document Type: Article

References (11)

1. P. Kurzhals, et al, "Integrity in Electronic Flight Control Systems", AGARDograph No. 224, April 1977. (available through National Technical Information Service, Springfield, VA)
2. T. Cunningham, et al, "Fault Tolerance Design and Redundancy Management Techniques", NATO AGARD Lecture Series No. 109. Sept 1980. (available through National Technical Information Service, Springfield, VA) see especially Chapter 3: Computer Based In-flight Monitoring; Chapter 7: Failure Management for Saab Viggen JA-37 Aircraft; Chapter 8: Flight Experience with Flight Control Redundancy Management
3. G. Belcher, D. McIver and K. Szalai, "Validation of Flight Critical Control Systems", AGARD Advisory Report No. 274, Dec 1991. (available through National Technical Information Service, Springfield, VA)
4. S. Osder, "Practical View of Redundancy Management Application and Theory", Journal of Guidance and Control, Vol. 22 No. 1 , Jan-Feb 1999.
5. R. P. G. Collinson, Introduction to Avionics, Chapman & Hall, London, 1998.
6. K. McMillan, Symbolic Model Checking , Kluwer Academic Publishers, Boston, Dordrecht, London, 1993.
7. Micheal R A Huth and Mark D Ryan, Logic in Computer Science Modelling and reasoning about systems, University Press, Cambridge, United Kingdom, 2000.
8. SMV web page: http://www-2.cs.cmu.edu/ modelcheck
9. sf2smv web page: http://www.ece.cmu.edu/ webk/sf2smv
10. Checkmate web page: http://www.ece.cmu.edu/ webk/checkmate
11. Simulink weg page: http://www.mathworks.com/products/simulink