The widespread use and increasing complexity of mission– and safety–critical systems require advanced techniques that address their specification, verification, validation, and certification.<br>The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission– and safety–critical systems. Within NASA such systems include for example autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property–based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other mission– and safety–critical systems in all design life–cycle stages. We encourage submissions on cross–cutting approaches marrying formal verification techniques with advances in critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages and carrying throughout system development.<br>Topics of interest include, but are not limited to:<br>Model checking<br>Theorem proving<br>SAT and SMT solving<br>Symbolic execution<br>Static analysis<br>Runtime verification<br>Program refinement<br>Compositional verification<br>Modeling and specification formalisms<br>Model–based development<br>Model–based testing<br>Requirement engineering<br>Formal approaches to fault tolerance<br>Security and intrusion detection<br>Applications of formal methods to aerospace systems<br>Applications of formal methods to cyber–physical systems<br>Applications of formal methods to human–machine interaction analysis<br>
Abbrevation
NFM
City
Pasadena
Country
United States
Deadline Paper
Start Date
End Date
Abstract