Search Results

This paper presents a new methodology for the safety assessment of complex software intensive systems such as is envisioned for the coming major upgrade of the air traffic management system known as NextGen. This methodology is based on a new, more inclusive model of accident causation called Systems Theoretic Accident Model and Process (STAMP) [1]. STAMP includes not just the standard component failure mechanisms but also the new ways that software and humans contribute to accidents in complex systems. A new hazard analysis method, called Systems Theoretic Process Analysis (STPA), is built on this theoretical foundation. The STPA is based on systems theory rather than reliability theory; it treats safety as a control problem rather than a failure problem with interactive and possibly nested control loops that may include humans. In this methodology, safety is assured by closed loop control of safety parameters.

An approach is described for the static analysis of component models in an integrated context driven by system and software architecture configuration. This satisfies an important verification objective for the certification of avionics systems and can significantly reduce certification costs by identifying design problems early in the development cycle. The methodology is implemented in a toolset that performs the model-based integrated analysis of computing signal range, error bounds, and identifying design defects. Classes of design defects are described that are detected using this toolset and usage examples are presented.

The National Space Biomedical Research Institute (NSBRI), established in 1997, is a twelve-university consortium dedicated to research that will impact mankind's next exploratory steps. The NSBRI's Education and Public Outreach Program (EPOP), is supporting NASA's education mission to, “Inspire the next generations…as only NASA can,” through a comprehensive Kindergarten through post-doctoral education program. The goals of the EPOP are to: communicate space exploration biology to schools; support undergraduate and graduate space-based courses and degrees; fund postdoctoral fellows to pursue space life sciences research; and engage national and international audiences to promote understanding of how space exploration benefits people on Earth. NSBRI EPOP presents its accomplishments as an educational strategy for supporting science education reform, workforce development, and public outreach.