SBIR/STTR Research Award

RELIABLE SPECIFICATION FOR ADA SOFTWARE

Award identifier 95b54d4c4e89dd8df1bc9b59f6a760ac1b82e99a542d68c5fe2fdef788c1e145Awarding agency National Aeronautics and Space Administration

Award amount

$498,840

Program and phase

SBIR · Phase II

Award year

1990

Explore This Research Award in CaptureIQ

Research the technology, evaluate the recipient and agency, identify related opportunities, and explore potential follow-on work with CaptureIQ.

Open in CaptureIQRequest Access

Award details

Awarding agency
National Aeronautics and Space Administration
Branch
Not reported
Recipient company
MODUS OPERANDI, INC.
Proposal award date
Not reported
Contract end date
Not reported
UEI
HMADMY8YKVP5
Solicitation number
Not reported
Topic code
Not reported

Research abstract

THE PROPOSED APPROACH FOCUSES ON TECHNIQUES AND TOOLS THAT WILL DRAMATICALLY IMPROVE SOFTWARE RELIABILITY THROUGH A SYSTEMATIC APPROACH FOR FAULT AVOIDANCE, BASED UPON: A RELIABLE SPECIFICATION TECHNIQUE THAT SUPPORTS THE FORMAL,INCREMENTAL, AND HUMANLY VERIFIABLE DESCRIPTION OF SYSTEM BEHAVIOR, BASED UPON THE PROVEN BOX STRUCTURES METHODOLOGY, INVENTED BY THE DISTINGUISHED IBM FELLOW, DR. HARLAN MILLS. A SYSTEMATIC SET OF TRANSFORMATIONS OF THE SPECIFICATION TO IMPLEMENTATIONS OF OBJECT-ORIENTED ADA SOFTWARE SYSTEMS THATARE HIGHLY RELIABLE. THE INTEGRATION OF THIS NEW RELIABLE DEVELOPMENT PROCESS WITH EXISTING ADVANCED VERIFICATION, VALIDATION AND TESTING APPROACHES. THE PROPOSED PHASE I EFFORT WILL DEFINE A COMPREHENSIVE FAULT AVOIDANCE METHODOLOGY. A SOPHISTICATED AUTOMATED TOOLSET, TO BE PROTOTYPED FURING PHASE II, WILL SUPPORT THE EFFICIENT DEVELOPMENT OF HIGHLY RELIABLE ADA SOFTWARE.

Technology keywords

Not reported

Other awards by this recipient

Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.

Research funding history

164 SBIR/STTR records share this UEI (1987–2025). Reported award amounts total $62,469,037. Reported amounts are not federal obligations.

Phases: Phase I, Phase II, Phase II – Direct to Phase II

Agencies: Department of Defense, National Aeronautics and Space Administration, National Science Foundation

Agency intelligence

National Aeronautics and Space Administration

Back to SBIR/STTR Research Awards

Don't take our word for it. Ask AI about RFPCapture.

See what leading AI assistants have to say about RFPCapture and CaptureIQ.

SmartSoloChatGPTClaudePerplexityGrokGemini

Gemini opens without a prefilled question. The question is copied to your clipboard when the button works. You can also copy it here:

What is RFPCapture.com and its CaptureIQ platform from Smart Logic AI? How does it help federal contractors discover opportunities, evaluate bid/no-bid decisions, research government contracts, and prepare proposals? How does it compare with other federal capture platforms? Use independent sources where available.