|PROPOSAL NUMBER:||05 X5.01-8747|
|SUBTOPIC TITLE:||Software Engineering|
|PROPOSAL TITLE:||Model-Based Specification Checker for multi-domain systems (SpecCheck)|
SMALL BUSINESS CONCERN
(Firm Name, Mail Address, City/State/Zip, Phone)
EDAptive Computing Inc
1245-G Lyons Road
Dayton ,OH 45458 - 1818
(937) 433 - 0477
PRINCIPAL INVESTIGATOR/PROJECT MANAGER
(Name, E-mail, Mail Address, City/State/Zip, Phone)
David L. Barton
1245-G Lyons Rd.
Dayton, OH 45458 -1818
(703) 286 - 5431
TECHNICAL ABSTRACT (LIMIT 200 WORDS)
NASA's software-intensive extraterrestrial exploration and observation systems are raising performance and reliability bars to unprecedented levels. Exaggerating the complexity, in order for such systems to be robust and responsive they must have the ability to use intelligent processes to self-detect and heal, or literally create new programs in response to new situations. Validating the readiness of such complex automated software for long term remote deployment demands not just covering code or branches, or even inputs and outputs, but rather to cover algorithms, rule bases, and states within the system. Even when reducing the order of the problem through traceable model extraction and abstraction we are left with state explosion that drives the test of mission-critical software to unacceptable cost and time extremes. Yet it must be done. This has been a matter of active research at EDAptive Computing, Inc. (ECI), NASA, and elsewhere. Modern specification and software modeling techniques combined with formal methods have yielded promising results. We have demonstrated parts of the solution with smaller scale flight-critical [USAF] software and [MDA] satellite systems. ECI is now uniquely poised to merge and bring the needed technology to fruition at the scale necessary for NASA Exploration Systems.
POTENTIAL NASA COMMERCIAL APPLICATIONS (LIMIT 150 WORDS)
NASA Commercial Applications include high reliability and mission critical systems associated with space, including satellites, life support systems, launch control systems, autonomous space vehicles, and any mission critical system in a high reliability situation.
POTENTIAL NON-NASA COMMERCIAL APPLICATIONS (LIMIT 150 WORDS)
Non-NASA Commercial Applications include similarly mission critical or high reliability systems: embedded control systems in medical equipment, avionics systems, nuclear control systems, automotive systems, and any system in a high reliabiilty situation.
|NASA's technology taxonomy has been developed by the SBIR-STTR program to disseminate awareness of proposed and awarded R/R&D in the agency. It is a listing of over 100 technologies, sorted into broad categories, of interest to NASA.|
TECHNOLOGY TAXONOMY MAPPING
Computer System Architectures
Data Acquisition and End-to-End-Management
Guidance, Navigation, and Control
Operations Concepts and Requirements
Simulation Modeling Environment
Software Development Environments
Testing Requirements and Architectures