DEVS-Suite Simulator1.0 - Download

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.

• 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, )