R.M. Haberle, NASA/Ames Research Center ([email protected]), J.L Hollingsworth, NASA/Ames Research Center ([email protected]), A. Colaprete, NASA/Ames Research Center ([email protected]) A.F.C. Bridger, San Jose State University ([email protected]), C.P. McKay, NASA/Ames Research Center ([email protected]), J.R. Murphy, New Mexico State University (mur...

NASA’s Aeronautics Blueprint lays out a research agenda for the Agency’s aeronautics program. The word software appears only four times in this Blueprint, but the critical importance of safe and correct software to the fulfillment of the proposed research is evident on almost every page. Most of the technology solutions proposed to address challenges in aviation are softwaredependent technologi...

The USL/DBMS NASA/PC R&D Working Paper Series contains a collection of formal and informal reports representing results of PC-based research and development activities being conducted by the Center for Advanced Computer Studies of the University of Southwestern Louisiana pursuant t o the specifications of National Aeronautics and Space Administration Contract Number NASW-3846 and NASA Training ...

We describe a runtime verification approach to increase the safety of IVHM systems by an integration of TEAMS models and MOP (Monitor-Oriented Programming). The TEAMS model is used to automatically extract relevant runtime information from the controlled system by means of events. This information is passed on-line to the MOP engine, allowing to verify complex temporal properties and to discove...

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA scientific and technical information (STI) program plays a key part in helping NASA maintain this important role. The NASA STI program operates under the auspices of the Agency Chief Information Officer. It collects, organizes, provides for archiving, and disseminates NASA's STI. The NASA S...

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientific and Technical Information (STI) Program Office plays a key part in helping NASA maintain this important role. The NASA STI Program Office is operated by Langley Research Center, the lead center for NASA's scientific and technical information. The NASA STI Program Office provides ...