Publisher Description
Integrated component-based and cellular automata (CA) Parallel DEVS simulator:
OFFERS: 1) synchronized execution & visualization, 2) run-time linear & superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) interaction modeling, 6) CA & composable CA playback, 7) hierarchical model libraries, 8) Black-Box testing & debugging, 9) PostgreSQL repository, 10) FMU co-simulation, 11) integration with OSATE (AADL), 12) domain-specific models: Network-on-Chip; SW/HW co-design, Service-Oriented Computing, Dynamic Structure SOA-compliant DEVS, MIPS32 processor, and computer networks for education.
Version: 6.1 [Apr. `21], 6 [Sep. `20] , 5 [Jul. `19], 4 [Mar. `18], 3 [Apr. `15], 2.1 [Feb. `09], 2 [`03]
See CoSMoSim: : hierarchical visual modeling, database model repository, families of models, statecharts, partial-code generation for XML/DEVS-Suite models.
Features
- Models can be both simulated and verified using DEVS and the Constrained DEVS variant
- Component and Cellular Automata (CA) modeling and simulation with distinct experiment design, evaluation and visualization capabilities
- As a simulation framework founded on the software architecture principles, it makes model development and experimentation simpler
- Automated, disciplined, and separate live monitoring and behavior debugging are key assets to the M&S researchers, practitioners, and educators
- Automated, configurable, and systematic design of experiments
- DEVS-FMU co-simulation
- Action Level Real-Time (ALRT) modeling and simulation
- Linear and superdense time data trajectory generation with live visualization
- Hierarchical live component visualization
- Cellular Automata live visualization with playback
- Synchronized logical-time and soft (best-effort) real-time execution with live animation and data trajectory visualization
- Model libraries: Network-on-Chip, Dynamic Service-Oriented Architecture, HW/SW Co-Design, UML Design Patterns, RTL, Supply-Chain Manufacturing, Swarm-net, Human Agents, Computer Networks, etc.
- I/O Black-Box Test Frames: TestFixtures integrated with JUnit testing and debugging
- PostgreSQL database for configuring and storing the outputs of simulation runss
- Used as an Eclipse Plugin in OSATE -- Open Source AADL (Architecture Analysis and Design Language) Tool Environment -- with support for atomic and coupled parallel DEVS models
- Supported by Component System Modeling & Simulation (CoSMoS, )