Modeling and Simulation technologies are in use today to design complex military weapon systems, space systems, space hardware, new manufacturing plants and even seaside ports. It helps in design, and provides the engineer with the ability to make changes before anything is built.
Runtime evaluation and prediction for complex simulations
Large-scale simulations can often have unpredictable runtimes, making it difficult to use them in a time-constrained planning cycle. In this project, we developed tools for a simulation that allow planners to predict how long a particular simulation would run and also identify the performance bottlenecks in the simulation.
Signal-data processing analysis support for multi-mode seeker red team
In this project, we are supporting the development and testing of a new missile. Our job includes reviewing the results of flight tests and analyzing the on-board control processing to identify causes of flight test anomalies.
Model Checking of Multimedia Synchronization
One major question is whether the specified multimedia presentation is correct or not. A synchronization specification may yield different results on different presentation tools. It is important whether the presentation is actually played correctly by the synchronization model.