A simulation-based virtual environment to study cooperative robotic systems
Integrated Computer-Aided Engineering
DEVS-based simulation web services for net-centric T&E
Proceedings of the 2007 Summer Computer Simulation Conference
Simulation-based architectural design and implementation of a real-time collaborative editing system
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Model-Integrated Development of Cyber-Physical Systems
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
A grid-based DEVS approach to dynamic load balancing for large scale distributed simulations
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
An XML based system of systems discrete event simulation communications framework
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A DEVS component library for simulation-based design of automated container terminals
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Temporal verification of RT-DEVS models with implementation aspects
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A stochastic DEVS wind turbine component model for wind farm simulation
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Multiple worlds: a formalism for simulation based design
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Component-oriented interoperation of real-time DEVS engines
Proceedings of the 44th Annual Simulation Symposium
Qualitative verification of finite and real-time DEVS networks
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Hi-index | 0.00 |
Model continuity refers to the ability to transition as much as possible a model specification through the stages of a development process. In this paper, the authors show how a modeling and simulation environment, based on the discrete event system specification formalism, can support model continuity in the design of dynamic distributed real-time systems. In designing such systems, the authors restrict such continuity to the models that implement the system's real-time control and dynamic reconfiguration. The proposed methodology supports systematic modeling of dynamic systems and adopts simulation-based tests for distributed real-time software. Model continuity is emphasized during the entire process of software development $the control models of a dynamic distributed real-time system can be designed, analyzed, and tested by simulation methods, and then smoothly transitioned from simulation to distributed execution. A dynamic team formation distributed robotic system is presented as an example to show how model continuity methodology effectively manages the complexity of developing and testing the control software for this system.