The fourth annual NASA Formal Methods Symposium (NFM) was held April 3–5, 2012, in Norfolk, Virginia. NFM 2012 was hosted by NASA Formal Methods Team members at Langley Research Center and chaired by Alwyn Goodloe and Suzette Person. NFM is a selective, fully peer-reviewed publication venue that attracts high-quality original research. The Symposium is the result of a collaboration between formal methods researchers at five NASA centers: Ames Research Center, Goddard Space Flight Center, the Jet Propulsion Laboratory, Johnson Space Center, and Langley Research Center.
NFM 2012 received 93 submissions, including 66 regular papers and 27 tool papers. Of those, 26 regular papers were accepted (a 39% acceptance rate) and 10 tool papers were accepted (a 37% acceptance rate). The Symposium was attended by over a hundred formal methods researchers from around the world.
Springer published the NFM Symposium Proceedings as a volume in the Lecture Notes of Computer Science (LNCS) series (www.springer.com/lncs). In addition to the peer-reviewed program, the schedule included three invited talks from internationally renowned formal methods researchers whose work is of interest to NASA. The Symposium featured a panel on “The application of Formal Methods at NASA,” with three prominent panelists: Mike Lowry (NASA Ames), Klaus Havelund (NASA/JPL), and Ricky Butler (NASA Langley).
The international Program Committee (PC) for NFM 2012 comprised some of the most prominent researchers in the field of formal verification. In total, the PC was composed of 35 members from NASA, academia, industry, and other government labs who were aided in completing the extensive peer reviews by 50 additional expert external reviewers. The PC included Ames team members Ewen Denney, Dimitra Giannakopoulou, Corina Pasareanu, Kristin Y. Rozier, and Oksana Tkachuk.
Plans are already underway for NFM 2013, which will be hosted by NASA Ames. This fifth symposium in this series will be chaired by Guillaume Brat, Neha Rungta, and Arnaud Venet. Neha Rungta presented slides advertising NFM 2013 during the final session of NFM 2012.
For more information, including the accepted papers, see the official NFM website: http://shemesh.larc.nasa.gov/nfm2012/index.html
BACKGROUND: The NASA Formal Methods Symposium (NFM) is a forum for theoreticians and practitioners from academia, government, and industry, whose goals are to identify challenges and provide solutions to achieve assurance in mission and safety-critical systems. The focus of the Symposium is on formal methods and aims to foster collaboration between NASA researchers and engineers and the broader aerospace and academic formal methods communities. The Symposium is composed of a mixture of invited talks by leading researchers and practitioners, presentations of accepted papers, and formal methods panels.
NFM 2012 is the fourth edition of the NASA Formal Methods Symposium, which is organized by NASA on a yearly basis. The first symposium in 2009 was organized and held at NASA Ames Research Center. The second symposium in 2010 was organized by a collaboration between Goddard, Headquarters, and Langley, and was held at NASA Headquarters in Washington D.C. The third symposium in 2011 was organized and held at NASA/JPL. The symposium grew out of the old Langley Formal Methods Workshop series.
NASA PROGRAM FUNDING: Verification & Validation of Flight Control Systems (VVFCS) and other programs
NASA/ARC TEAM: Guillaume Brat, Ewen Denney, Dimitra Giannakopoulou, Michael Lowry, Corina Pasareanu, Kristin Y. Rozier, Neha Rungta, Oksana Tkachuk, and Arnaud Venet
NASA/GODDARD TEAM: Mike Hinchey and Jim Rash
NASA/JPL TEAM: Klaus Havelund and Gerard Holzmann
NASA/JSC TEAM: Julia Badger
NASA/LANGLEY TEAM: Ricky W. Butler, Benedetto L. Di Vito, Alwyn Goodloe, George Hagen, Heber Herencia, Jeffrey M. Maddalon, Mahyar R. Malekpour, Paul S. Miner, César A. Muñoz, Anthony Narkawicz, Natasha Neogi, Suzette Person, and Radu L. Siminiceanu
Contact: Kristin Y. Rozier