USA flag logo/image

An Official Website of the United States Government

Execution of High Level Specifications for Simulation Based Acquisition

Award Information

Agency:
Department of Defense
Branch:
Missile Defense Agency
Award ID:
69645
Program Year/Program:
2004 / SBIR
Agency Tracking Number:
B041-047-0705
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
EDAptive Computing, Inc.
1245 Lyons Road Building G Dayton, OH 45458-1818
View profile »
Woman-Owned: No
Minority-Owned: Yes
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2004
Title: Execution of High Level Specifications for Simulation Based Acquisition
Agency / Branch: DOD / MDA
Contract: HQ0006-04-C-7017
Award Amount: $100,000.00
 

Abstract:

New software development processes depend on accurate specifications; the ability to execute or animate specifications expressed in a lightweight formalism, and the ability to verify properties expressed in that formalism will greatly assist software development. EDAptive Computing, Inc. (ECI) team has designed the Animation and Execution of High Level Specifications (AniSpec) program to address this issue. AniSpec is based on the principle of using lightweight formalisms to combine intuition and formalism, specifying the system using UML Statecharts but using formal specification implemented through a System Level Design Language (SLDL) for underlying representation, understanding it via SLDL execution and animation through the Statechart, while using model checkers to prove properties of the specification correct. When using the AniSpec system, user first enters the specification into UML statecharts; then animates the specification to gain an understanding of the specification; then uses a model checker to verify properties of the specification are correct; then transfers the UML statechart specification to other UML software development tools via the XMi standard exchange mechanism. ECI will demonstrate that this is feasible by going through this process, in a limited way, as a feasibility demonstration during the Phase I effort.

Principal Investigator:

David Barton
Principal Investigator
9374330477
d.barton@edaptive.com

Business Contact:

Dale Kirby
Vice President
9374330477
d.kirby@edaptive.com
Small Business Information at Submission:

EDAPTIVE COMPUTING, INC.
1245 Lyons Road, Building G Dayton, OH 45458

EIN/Tax ID: 311497253
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No