ABSTRACT
Today, model based simulation is a popular scheme for simulating real world events. There has been some effort to use the same models that have been developed for simulation purposes for control applications. This approach permits model reuse and reliability for critical embedded control applications. In this paper a simulation model of an autonomous robot has been used to control a simulated reconnaissance vehicle on battle field. Since it is very costly to construct a real battle field situation and to verify the performance of military devices, model continuity from simulation to embedded control is a cost-effective and easy process for developing military applications. We have used DEVS (Discrete EVent System specification) formalism to define the robotic vehicle model and conducted variety of tests by simulation variety of scenarios. The final model has been embedded on a tank shaped robot.
- Thomas, Donald, Moorby, Phillip "The Verilog Hardware Description Language" Kluwer Academic Publishers, Norwell, MA. ISBN 0-7923-8166-1.Google Scholar
- Peter J. Ashenden "The VHDL Cook Book" July, 1990, available on line at: http://www.comms.scitech.susx.ac.uk/fft/vhdl/VHDL-Cookbook.pdf Accessed on Sep/16/2009.Google Scholar
- Petri Nets: Properties, Analysis and Applications, by Tadao Murata, in: Proceedings of the IEEE, vol. 77, no. 4, April 1989.Google Scholar
- R. Alur D. L.; Dill "A theory of timed automata", Theoretical computer science, Vol. 126, No 2, pp 183--235, 1994. Google ScholarDigital Library
- D. Harel et al., "On the Formal Semantics of StateCharts", Proceedings of the Symposium on Logic in Computer Science, pp. 54--64, 1987.Google Scholar
- Wagner, F., "Modeling Software with Finite State Machines: A Practical Approach", Auerbach Publications, 2006, ISBN 0-8493-8086-3. Google ScholarDigital Library
- B. Zeigler, T. Kim, H. Praehofer. "Theory of Modeling and Simulation". Academic Press 2000, ISBN-10: 0127784551. Google ScholarDigital Library
- Yu, J.; Wainer, G. "E-CD++: a tool for modeling embedded applications". In Proceedings of the 2007 SCS Summer Computer Simulation Conference. San Diego, CA. 2007.Google Scholar
- Wainer, G. "CD++: a toolkit to define discrete-event models". Software, Practice and Experience. Wiley. Vol. 32, No. 3. pp. 1261--1306. November 2002. Google ScholarDigital Library
- Chow A, Kim D, Zeigler B. "Parallel DEVS: A parallel, hierarchical, modular modeling formalism" In Proceedings of Winter Simulation Conference, 1994, Orlando, Florida. Google ScholarDigital Library
- G. Christen, A. Dobniewski and G. Wainer, "Modeling State-Based DEVS Models in CD++". In Proceedings of MGA, Advanced Simulation Technologies Conference 2004 (ASTC'04). Arlington, VA. U.S.A.Google Scholar
- Detective Robot robot video 1 available online at: http://www.youtube.com/watch?v=w-bwwl4CP4cGoogle Scholar
- Detective Robot robot video 2 available online at: http://www.youtube.com/watch?v=61vXI9qujZIGoogle Scholar
Recommendations
Designing an interface for real-time and embedded DEVS
SpringSim '10: Proceedings of the 2010 Spring Simulation MulticonferenceIn this work, we are proposing a hardware-in-the-loop model-driven method to develop real-time and embedded applications based on DEVS (Discrete Event Systems Specification) formalism. This approach combines the advantages of a simulation-based approach ...
Introduction to parallel DEVS modelling and simulation
Mod4Sim '18: Proceedings of the Model-driven Approaches for Simulation Engineering SymposiumDEVS is a popular formalism for modelling complex dynamic systems using a discrete-event abstraction. Main advantages of DEVS are its rigorous formal definition, and its support for modularity: models can be hierarchically nested. Thanks to these ...
DEVS in DSOL: adding devs operational semantics to a generic event-scheduling simulation environment
SCSC '09: Proceedings of the 2009 Summer Computer Simulation ConferenceEvent Scheduling is by far the most commonly adopted worldview in Discrete Event Simulation (DES). Basic Event Scheduling modeling and simulation environments do not easily support modularity, hierarchy, and a clear separation of concerns between models ...
Comments