SBIR 95-1 SOLICITATION
SAFETY-CRITICAL SOFTWARE REQUIREMENTS ENGINEERING ENVIRONMENT
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.
Potential 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.
Name and Address of Offeror:
7200-B Lower Ridge Rd.
Everett, WA 98203-4925
Small Business Innovation Research Program (SBIR) &
Small Business Technology Transfer Program (STTR) Programs
Electronic Management System (EMS)
National Aeronautics and Space Administration (NASA)
The SBIR/STTR EMS site is maintained by Steve
Hu, Hughes STX.
For comments and questions, contact
Updated: Feb. 7, 1996