You are here

MODEL BASED SOFTWARE BEHAVIOR VERIFICATION ENVIRONMENT FOR DEPENDABLE UPGRADES

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00178-02-C-3111
Agency Tracking Number: N001-1527
Amount: $749,450.00
Phase: Phase II
Program: SBIR
Solicitation Topic Code: N/A
Solicitation Number: N/A
Timeline
Solicitation Year: N/A
Award Year: 2002
Award Start Date (Proposal Award Date): N/A
Award End Date (Contract End Date): N/A
Small Business Information
10201 Lee Highway Suite 300
Fairfax, VA 22030
United States
DUNS: 151209723
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 David Britton
 Division Director, TDD
 (703) 691-7792
 britton@tridsys.com
Business Contact
 Bonnie Edwards
Title: Director of Finance
Phone: (703) 691-7794
Email: bonnie@tridsys.com
Research Institution
N/A
Abstract

"Rapid, model-based development along with perpetual and complexchange characterizes today's software-dependent mission criticalsystems. The costs associated with detecting and fixing errors insuch software-intensive systems can total 75% of the cost ofdeveloping that software. Furthermore, fixing errors late in thelife cycle is more costly due to the overall impact of code levelchanges. Hence, error reduction earlier in the development ofsoftware-intensive systems is needed. Trident proposes to delivera model-based verification methodology and supporting environmentprototype to detect inconsistencies and behavioral defects at theanalysis and design stage. The selective application of formalmethodologies (models), and the focus on error identification andcorrection, distinguishes our model-based verification approachfrom more traditional formal method approaches. In particular,the proposed framework constitutes three main components: (1)formal consistency analysis and management of UML structuralanalysis and design models, (2) analytical model checking of UMLbehavioral design models based on their finite state reachabilitygraphs using safe refinement, mutual compatibility, and protocolconsistency analysis methods developed during Phase I, and (3)model-based test suite generator subsystem. These test suiteswill be utilized by a test vector generator and underlying testdriver infrastructure to exercise the actual baseline system.BENEFIT

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government