AADL-DEVS: A framework supporting Architecture Analysis and Design Language (AADL) and DEVS formalism. In this framework, the AADL is extended with a DEVS annex that is supported with the DEVS-Suite Simulator.
Action Level Real-Time (ALRT) DEVS Modeling: Methods for hard real-time specification of parallel DEVS models. The objective is to provide “resource-aware” simulation execution.
Composable Heterogeneous Cellular Automata with KIB: This research extends the Knowledge Interchange Broker (KIB) approach for cellular automata models. This approach is aimed at composing different component-based (agent) cellular automata 2D models that vary in their scales and complexity.
DEVS-Suite Simulator: The DEVS-Suite simulator is ongoing research focused on offering a state-of-the-art modular, component-based simulator architecture supporting complementary textual, run-time animation, and rich linear and super-dense run-time trajectory visualizations using the Eclipse framework.
EMF-DEVS Modeling: Concepts and methods are being studied in support of meta-level modeling of parallel DEVS modeling using the Eclipse Modeling Framework. The goal is automatic model verification with support for simulation validation.
Hybrid Food, Energy, and Water (FEW) Models: In this research concepts, methods, and a framework are being developed such that existing models are componentized as web-services for studying Food-Water-Energy systems. The framework employs the KIB approach to simulating the interactions in the FEW systems needed for understanding and long-term policy planning.
Knowledge Interchange Broker (KIB) Model Development and Simulation: An industrial-strength platform supporting scalable and flexible modeling and execution of interactions among DEVS, Linear Programming, and statistical data mining models is under development.
Network-on-Chip (NoC) Simulator: A collection of models have been developed for action-level simulation of NoC. These models, together with their physical counterparts, can provide a hybrid platform for early executable NoC designs.
Visual and Persistence Modeling of Parallel Atomic Models in CoSMoS: Support visually specifying meta-level behaviors of atomic model operations. They must conform to the abstract DEVS model specification and can also be stored in relational databases.
The Arizona Center for Integrative Modeling and Simulation (ACIMS) is devoted to research and instruction that advance the use of M&S as means to integrate disparate partial solution elements into coherent global solutions to multidisciplinary problems.