Execution of High Level Specifications for Simulation Based Acquisition

Award Information
Agency: Department of Defense
Branch: Missile Defense Agency
Contract: HQ0006-04-C-7017
Agency Tracking Number: B041-047-0705
Amount: $100,000.00
Phase: Phase I
Program: SBIR
Awards Year: 2004
Solicitation Year: 2004
Solicitation Topic Code: MDA04-047
Solicitation Number: 2004.1
Small Business Information
1245 Lyons Road, Building G, Dayton, OH, 45458
DUNS: 031764616
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: Y
Principal Investigator
 David Barton
 Principal Investigator
 (937) 433-0477
 d.barton@edaptive.com
Business Contact
 Dale Kirby
Title: Vice President
Phone: (937) 433-0477
Email: d.kirby@edaptive.com
Research Institution
N/A
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.

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

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government