Our company proposes to research and develop the first engineering environment specifically supporting software safety analysis at the requirements stage. For Phase I we plan to (1) improve and extend RSML, a successful graphical requirements language, (2) research and prototype a graphical simulator for RSML, (3) research and prototype an extended completeness and consistency analysis based on the improved RSML, (4) research and prototype a commercially-viable version of a new hazard analysis method called deviation analysis, and (5) evaluate the research results and prototype for feasibility. These innovations will provide the software and systems engineers with `formal mathematical methods for specification, design, and analysis of digital systems. Many of the largest NASA programs contain safety-critical software, so the Administration should especially benefit from our proposed innovations.Commercial Applications:The ideas presented in this proposal are part of our long-term goal to develop a flexible, extensible, and customizable systems development environment in the form of commercial software. We intend to develop and market our software and services for a wide range of companies that write safety-critical software.
