Fourth NASA Formal Methods Symposium
Date: Apr 03, 2012 4:19 am – Apr 05, 2012 4:19 am
Location: Norfolk, Virginia, USA
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, for example, 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 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.
Submitted by Alwyn Goodloe
on
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, for example, 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 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.