The NASA Formal Methods Symposium is a forum for theoreticians and<br>practitioners from academia, industry, and government, with the goals of<br>identifying challenges and providing solutions to achieving assurance<br>in mission– and safety–critical systems. Within NASA, for example, such<br>systems include autonomous robots, separation assurance algorithms for<br>aircraft, Next Generation Air Transportation (NextGen), and autonomous<br>rendezvous and docking for spacecraft. Moreover, emerging paradigms such<br>as code generation and safety cases are bringing with them new challenges<br>and opportunities. The focus of the symposium will be on formal<br>techniques, their theory, current capabilities, and limitations, as<br>well as their application to aerospace, robotics, and other<br>safety–critical systems.<br>––––––––––––––––––––––––––––––––––––––––––––––––––<br>Topics of Interest:<br>––––––––––––––––––––––––––––––––––––––––––––––––––<br>* Formal verification, including theorem proving, model checking,<br>and static analysis<br>* Automated test generation and testing techniques for safety–critical systems<br>* Model–based development<br>* Techniques and algorithms for scaling formal methods, such as abstraction<br>and symbolic methods, compositional techniques, as well as parallel and<br>distributed techniques<br>* Monitoring and runtime verification<br>* Code generation from formally verified models<br>* Significant applications of formal methods to aerospace systems<br>* Modeling and verification aspects of cyber–physical systems<br>* Safety cases<br>* Accident/safety analysis<br>* Formal approaches to fault tolerance<br>* Theoretical advances and empirical evaluations of formal methods<br>* Techniques for safety–critical systems, including hybrid and embedded systems<br>* Formal methods in systems engineering<br>
Abbrevation
NFM
City
Norfolk
Country
United States
Deadline Paper
Start Date
End Date
Abstract