IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal verification of ACAS X, an industrial airborne collision avoidance system

2015 International Conference on Embedded Software (EMSOFT)

Author(s): Jean-Baptiste Jeannin ; Khalil Ghorbal ; Yanni Kouskoulas ; Ryan Gardner ; Aurora Schmidt ; Erik Zawadzki ; Andre Platzer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2015
Conference Location: Amsterdam, Netherlands
Conference Date: 4 October 2015
Page(s): 127 - 136
ISBN (Electronic): 978-1-4673-8079-9
DOI: 10.1109/EMSOFT.2015.7318268
Regular:

Formal verification of industrial systems is very challenging, due to reasons ranging from scalability issues to communication difficulties with engineering-focused teams. More importantly,... View More

Advertisement