6th NASA Formal Methods Symposium, Houston, Vereinigte Staaten

Abbrevation

NFM

Link

http://www.NASAFormalMethods.org/

City

Houston

Country

United States

Deadline Paper

2013-11-14

Start Date

2014-04-29

End Date

2014-05-01

Abstract

The widespread use and increasing complexity of mission– and safety–critical systems require advanced techniques that address their specification, verification, validation, and certification requirements. 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 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 safety–critical systems in all design life–cycle stages. We encourage submissions on cross–cutting approaches marrying formal verification techniques with advances in safety–critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages carrying throughout system development. Topics of Interest: ––––––––––––––––––– * Model checking * Theorem proving * Static analysis * Model–based development * Runtime monitoring * Formal approaches to fault tolerance * Applications of formal methods to aerospace systems * Formal analysis of cyber–physical systems, including hybrid and embedded systems * Formal methods in systems engineering, modeling, requirements, and specifications * Requirements generation, specification debugging, formal validation of specifications * Use of formal methods in safety cases * Use of formal methods in human–machine interaction analysis * Formal methods for parallel hardware implementations * Use of formal methods in automated software engineering and testing * Correct–by–design, design for verification, and property–based design techniques * Techniques and algorithms for scaling formal methods; e.g. abstraction and symbolic methods, compositional techniques, parallel and distributed techniques * Application of formal methods to emerging technologies