Application of real-time DEVS to analysis of safety-critical embedded control systems: Railroad crossing control example

Simulation

Volumn 81, Issue 2, 2005, Pages 119-136

  Song, Hae Sang ^a   Kim, Tag Gon ^b  

^a Seowon University   (South Korea)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Controllability; Real time DEVS; Real time embedded discrete event control systems; Safety analysis

Indexed keywords

CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; DISCRETE TIME CONTROL SYSTEMS; EMBEDDED SYSTEMS; RAILROAD CROSSINGS; REAL TIME SYSTEMS;

DISCRETE EVENT SYSTEM SPECIFICATION; REAL TIME EMBEDDED DISCRETE EVENT CONTROL SYSTEMS; SAFETY ANALYSIS;

COMPUTER SIMULATION;

EID: 20444401132     PISSN: 00375497     EISSN: None     Source Type: Journal    
DOI: 10.1177/0037549705052229     Document Type: Article

References (21)

1. Ostroff, J. S. 1992. Formal methods for the specification and design of real-time safety critical systems. Journal of Systems Software 18:18-33.
2. Hong, J. S., H. S. Song, T. G. Kim, and K. H. Park. 1997. A real-time Discrete Event System Specification formalism for seamless real-time software development. Discrete Event Dynamic Systems 7 (4): 355-75.
3. Ramadge, R. J., and W. M. Wonham. 1987. Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization 25 (1): 206-30.
4. Heymann, M., and F. Lin. 1998. Discrete event control of nondeterministic systems. IEEE Transactions on Automatic Control 43 (1): 3-17.
5. Heymann, M. 1990. Concurrency and discrete event control. IEEE Control Systems Magazine 10 (4): 103-12.
6. Shayman, M. A., and R. Kumar. 1995. Supervisory control of nondeterministic systems with driven events via prioritized synchronization and state path models. SIAM Journal of Control and Optimization 33 (2): 469-97.
7. Brandin, B. A., and W. M. Wonham. 1994. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39 (2): 329-42.
8. Ostroff, J. S. 1990. Deciding properties of timed transition models. IEEE Transactions on Parallel and Distributed Systems 1 (2): 206-30.
9. Alur, R., and D. L. Dill. 1994. A theory of timed automata. Theoretical Computer Science 126:183-235.
10. Kang, I., Lee, andY. S. Kim. 2000. An efficient state space generation for the analysis of real-time systems. IEEE Transactions on Software Engineering 26 (5): 453-77.
11. Sifakis, J., S. Tripakis, and S. Yovine. 2003. Building models of real-time systems from application software. Proceedings of the IEEE 91 (1): 100-11.
12. Kim, T. G. 1994. DEVSim++ user's manual. Taejon, Korea: SMSLab, Department of EECS, KAIST http://smslab.kaist.ac.kr
13. Cho, S. M., and T. G. Kim. 2001. Real time simulation framework for RT-DEVS models. Transactions of the Society for Modeling and Simulation International 18 (4): 178-90.
14. Hong, G. P., and T. G. Kim. 1996. A framework for verifying discrete event models within a DEVS-based system development methodology. Transactions of the Society for Computer Simulation International 13 (1): 19-34.
15. Zeigler, B. P., H. S. Song, T. G. Kim, and H. Praehofer. 1995. DEVS framework for modelling, simulation, analysis, and design of hybrid systems. In Hybrid systems, LNCS 999, edited by Pano Antsaklis et al., 529-55. Berlin: Springer Verlag.
16. Song, H. S., and T. G. Kim. 1994. The DEVS framework for discrete event systems control. In Proceedings of AI, Simulation and Planning in High Autonomy Systems, Gainesville, FL, pp. 228-34.
17. Hoare, C. A. R. 1985. Communicating sequential processes. Englewood Cliffs, NJ: Prentice Hall.
18. Song, H. S., and T. G. Kim. Timed reachability analysis of real-time DEVS models using clock matrix. In preparation.
19. Alefeld, G., and J. Herzberger. 1983. Introduction to interval computations. New York: Academic Press.
20. Song, H. S. 2000. A DEVS framework for analysis and design of discrete event systems control. Ph.D. diss., KAIST, Taejon, Korea.
21. Zeigler, B. P., and S. Chi. 1992. Symbolic Discrete Event System Specification. IEEE Systems, Man, and Cybernetics 22 (6): 1428-39.