USA flag logo/image

An Official Website of the United States Government

Model-Driven Optimistic Modeling Language (MODOL)

Award Information

Department of Defense
Award ID:
Program Year/Program:
2012 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Computational Physics, Inc.
8001 Braddock Road Ste 210 Springfield, VA -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 1
Fiscal Year: 2012
Title: Model-Driven Optimistic Modeling Language (MODOL)
Agency: DOD
Contract: HQ0147-12-C-7814
Award Amount: $99,870.00


Optimistic modeling techniques are being exploited in modeling and simulation architectures that model the complete Ballistic Missile Defense System. Optimistic modeling allows event based simulations to take full advantage of parallel processing by distributing models across all available processors and allowing them to run at full processing speeds while maintaining correct sequencing of events and truth states. However, this efficiency comes at the cost of reconstructing prior model states when straggler events arrive at a logical processor. The simulation is forced to roll back to a prior known state, and reapply events up to the current simulation time. This process can be time consuming and error prone thus defeating the initial intent of the optimistic model. CPI and Monument Software propose to reduce the effort required to write optimistic codes and eliminate the difficulty in finding rollback errors by defining a domain specific language for the representation of optimistic simulation features. We will also develop a code generation capability to generate optimistic code components from the metadata representations. Features such as checkpoint and rollback will be abstracted at a sufficiently high enough level to allow implementation details to be code generated, thereby reducing manual labor and programming errors.

Principal Investigator:

Karan Elliott
Scientific Programmer
(703) 764-7501

Business Contact:

Steven L. Berg
(703) 764-7501
Small Business Information at Submission:

Computational Physics, Inc.
8001 Braddock Road Ste 210 Springfield, VA -

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