Designing an interface for real-time and embedded DEVS

Spring Simulation Multiconference 2010, SpringSim'10

Volumn , Issue , 2010, Pages

  Moallemi, Mohammad ^a   Wainer, Gabriel ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

DEVS; Discrete event simulation; Embedded Systems; Model based approach; Real time simulation and control

Indexed keywords

ABSTRACT SIMULATORS; DEVS; DISCRETE EVENT SYSTEMS SPECIFICATIONS; EMBEDDED APPLICATION; HARD-WARE-IN-THE-LOOP; HARDWARE COMPONENTS; HARDWARE CONTROL; HARDWARE DEVICES; MODEL BASED APPROACH; MODEL CONTINUITY; MODEL DESIGN; REAL TIME SIMULATIONS; SIMULATION MODEL; SIMULATION-BASED; STRUCTURAL MODIFICATIONS;

DISCRETE EVENT SIMULATION; EMBEDDED SYSTEMS; FORMAL LOGIC; REAL TIME SYSTEMS; TRANSIENTS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 78650595487     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1878537.1878680     Document Type: Conference Paper

References (11)

1. B. Alpern; F. Schneider, "Verifying Temporal Properties without Temporal Logic," ACM Trans. Programming Lang. and Systems, Vol. 11, No. 1, 1989, pp.147-167.
2. A. Alfonso., V. Braberman, D. Garbervetsky, N. Kicillof, A. Olivero, F. Schapachnik. "VInTiMe: Combining High-Level Finesse with Low-Level Muscle to Verify Real-Time Systems". In Proc. of the First International Conference on Principles of Software Engineering, PRISE 2004.
3. B. Zeigler, T. Kim, H. Praehofer. "Theory of Modeling and Simulation". Academic Press 2000, ISBN-10: 0127784551.
4. Chow A, Kim D, Zeigler B. "Parallel DEVS: A parallel, hierarchical, modular modeling formalism" In Proceedings of Winter Simulation Conference, 1994, Orlando, Florida.
5. Hong J. S, Song H. H, Kim T. G. and Park K. H "A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development" 1997, Springer Netherlands.
6. Hu, X.; Zeigler, B.P. "Model Continuity in the Design of Dynamic Distributed Real-Time Systems", IEEE Transactions on Systems, Man And Cybernetics - Part A: Systems And Humans, 35: 6, pp. 867-878, November, 2005.
7. Cho, Y. K.; Hu, X.; Zeigler, B.P. "The RTDEVS/CORBA Environment for Simulation-Based Design of Distributed Real-Time Systems", SIMULATION: Transactions of the Society for Modeling and Simulation International, Volume 79, Number 4, 2003.
8. Cho S. M. and Kim T. G. "Real-Time DEVS Simulation: Concurrent, Time-Selective Execution of Combined RT-DEVS Model and Interactive Environment" In Proceeding of 1998 Summer Simulation Conference, Reno, Nevada.
9. Wainer, G. "CD++: a toolkit to define discrete-event models". Software, Practice and Experience. Wiley. Vol. 32, No.3. pp. 1261-1306. November 2002.
10. 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.
11. 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.