Model-Driven Optimistic Modeling Language (MODOL)

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.