USA flag logo/image

An Official Website of the United States Government

Agent-based Simulation of NAS

Award Information

National Aeronautics and Space Administration
Award ID:
Program Year/Program:
2002 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Intelligent Automation, Inc.
15400 Calhoun Drive Suite 400 Rockville, MD -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 2
Fiscal Year: 2002
Title: Agent-based Simulation of NAS
Agency: NASA
Contract: NAS2-02093
Award Amount: $600,000.00


In our Phase I effort we demonstrated the feasibility of developing agent-based software for the simulation of NAS that (i) uses of extensions of UML to represent and agents and its interactions/protocols (ii) leverages research in verification of finite state machines to verify the agent protocols and (iii) automatically generates code for execution on IAI?s agent infrastructure, OpenCybele. The approach is based on a software engineering perspective that draws on ideas and recent developments in multi-agent systems, and ongoing work at IAI on multi-agent systems, which includes the development of DIVA, an agent-software verification tool, and Cybele. Having demonstrated feasibility, our Phase II effort will focus on developing a software prototype of the DIVA CASE tool for UML-based design, verification and automatic code generation of multiagent software for agent-based simulations of NAS. Our Phase II tasks include (i) development of a library of NAS agent interaction protocols that are AUML and FIPA ACL compliant (ii) extensions of the Phase I verification approach to protocol verification (iii) integration of the software with Rational Rose and (v) test and validate the case tool with NASA?s agent-based modeling and simulation Software being developed under the ATMSDI effort.

Principal Investigator:

Leonard Haynes

Business Contact:

arc B. Toplin
Director of Contracts
Small Business Information at Submission:

Intelligent Automation, Inc.
7519 Standish Place, Suite 200 Rockville, MD 20855

EIN/Tax ID: 521497192
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No