NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Proceedings of the Sixth NASA Langley Formal Methods (LFM) WorkshopToday's verification techniques are hard-pressed to scale with the ever-increasing complexity of safety critical systems. Within the field of aeronautics alone, we find the need for verification of algorithms for separation assurance, air traffic control, auto-pilot, Unmanned Aerial Vehicles (UAVs), adaptive avionics, automated decision authority, and much more. Recent advances in formal methods have made verifying more of these problems realistic. Thus we need to continually re-assess what we can solve now and identify the next barriers to overcome. Only through an exchange of ideas between theoreticians and practitioners from academia to industry can we extend formal methods for the verification of ever more challenging problem domains. This volume contains the extended abstracts of the talks presented at LFM 2008: The Sixth NASA Langley Formal Methods Workshop held on April 30 - May 2, 2008 in Newport News, Virginia, USA. The topics of interest that were listed in the call for abstracts were: advances in formal verification techniques; formal models of distributed computing; planning and scheduling; automated air traffic management; fault tolerance; hybrid systems/hybrid automata; embedded systems; safety critical applications; safety cases; accident/safety analysis.
Document ID
20080022203
Acquisition Source
Langley Research Center
Document Type
Conference Proceedings
Authors
Rozier, Kristin Yvonne (NASA Langley Research Center Hampton, VA, United States)
Date Acquired
August 24, 2013
Publication Date
April 30, 2008
Subject Category
Mathematical And Computer Sciences (General)
Report/Patent Number
L-19476
NASA/CP-2008-215309
Meeting Information
Meeting: Sixth NASA Langley Formal Methods Workshop
Location: Newport News, VA
Country: United States
Start Date: April 30, 2008
End Date: May 2, 2008
Sponsors: NASA Langley Research Center
Funding Number(s)
WBS: WBS 645846.02.07.07.07
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

IDRelationTitle20080022214WorkAutomating System Assembly of Aerospace Systems20080022226WorkNASA Langley's Formal Methods Research in Support of the Next Generation Air Transportation System20080022230WorkProving Correctness for Pointer Programs in a Verifying Compiler20080022207WorkOn Limits20080022231WorkCertifying Auto-Generated Flight Code20080022205WorkChallenges and Demands on Automated Software Revision20080022204WorkVerification and Planning Based on Coinductive Logic Programming20080022228WorkAssessing Requirements Quality through Requirements Coverage20080022222WorkToward a Formal Evaluation of Refactorings20080022215WorkSafe Upper-Bounds Inference of Energy Consumption for Java Bytecode Applications20080022209WorkFrom Informal Safety-Critical Requirements to Property-Driven Formal Validation20080022218WorkAn Overview of Starfish: A Table-Centric Tool for Interactive Synthesis20080022213WorkThe Nation's Needs in Aviation Formal Methods
No Preview Available