You are here

Modeling Languages and Analysis Tools for Complex Distributed

Award Information
Agency: Department of Defense
Branch: Air Force
Contract: FA9550-05-C-0187
Agency Tracking Number: F045-023-0249
Amount: $749,429.00
Phase: Phase II
Program: STTR
Solicitation Topic Code: AF04-T023
Solicitation Number: N/A
Solicitation Year: 2004
Award Year: 2005
Award Start Date (Proposal Award Date): 2005-09-30
Award End Date (Contract End Date): 2007-09-30
Small Business Information
306 Kings Chase, Camden, SC, 29020
DUNS: 156108735
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Duncan Clarke
 (803) 432-8272
Business Contact
 Duncan Clarke
Title: Principal
Phone: (803) 432-8272
Research Institution
 Oleg Sokolsky
 Department of Computer Science, 3330 Walnut Street
Philadelphia, PA, 19104
 (215) 898-4448
 Nonprofit college or university
The Architecture Analysis and Design Language (AADL) is an SAE standard language for describing the software and hardware architecture of performance-critical real-time systems. In addition, the AADL standard allows the definition of annexes, i.e., formal extensions to the standard language to enhance the design specifications of hardware or software components. We propose to leverage the AADL language and tool development efforts to create a new toolset that incorporates simulation and analysis technologies for embedded real-time systems developed within the Charon and ACSR/VERSA projects at the University of Pennsylvania. Our integration of AADL with Charon and VERSA will extend the capabilities of AADL to allow analysis and simulation at the architecture level, detailed analysis at the module level, and support for implementation. This toolset will be marketed for use by DoD and private-sector embedded systems developers as part of an architecture-driven development methodology for safety-critical embedded systems.

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

US Flag An Official Website of the United States Government