The Advanced Real-Time Simulation Laboratory (ARS) is an advanced Modeling & Simulation research laboratory, located in the Department of Systems and Computer Engineering, Carleton University,
Supervised by Prof. Gabriel A. Wainer
Our laboratory is investigating means of automatic generation of executable models derived from systems specifications. The research is based on the Discrete EVent System specification (DEVS) formalism, and willaugment previous work with new theory, methodology, and supporting development tools. We are also interested in integrating the simulation results obtained with powerful 3D visualisation facilities.
We are studying new advanced techniques for:
a) discrete-event system specifications,
b) cellular models for varied applications,
c) real-time, parallel and distributed simulation techniques,
d) interoperability of executing models based on Web Services technologies,
e) timing constraints satisfaction in concurrent real-time models using a model-based approach,
f) automated test case generation based on discrete-event specifications.
The Advanced Simulation Laboratory (ARS)
Department of Systems and Computer Engineering,