Component, CA, and CCA models; superdense time, DB repo, testing, etc.
System safety, dependability and security analysis
Toolkit for agent-based & dynamic microsimulation modelling
A simulation environment for physiology models simulation
Common accessible environment for system dynamics simulation.
Web-based editor for the Gateway Description Language (GDL).
Network security simulator