Selected Extended Papers of NFM 2016: Preface
- 125 Downloads
This special issue contains extended versions of selected papers from the 8th NASA Formal Methods Symposium (NFM 2016). The symposium was co-organized by NASA Ames Research Center and the University of Minnesota Software Engineering Center (UMSEC) and it was held in Minneapolis, MN, USA, on June 7–9, 2016.
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. New developments and emerging applications like autonomous on-board software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The NASA Formal Methods Symposium is a forum for theoreticians and...