Title :
DES technology: Toward dependable embedded control systems
Author :
Hiraishi, Kunihiko
Author_Institution :
Sch. of Inf. Sci., Japan Adv. Inst. of Sci. of Technol., Ishikawa, Japan
Abstract :
DES (Discrete Event Systems) are a class of systems in which occurrence of events drive systems. Each event occurs at an instant in time and marks a change of state in the system. Theory of DES provides basis for design and analysis of software/hardware systems with discrete states. In this paper, we describe how the theory and algorithms on DES can contribute to design of highly-dependable embedded systems.
Keywords :
discrete event systems; embedded systems; DES technology; dependable embedded control systems; discrete event systems; discrete states; highly-dependable embedded systems; software/hardware systems; Control systems; discrete event systems; embedded control systems;
Conference_Titel :
ICCAS-SICE, 2009
Conference_Location :
Fukuoka
Print_ISBN :
978-4-907764-34-0
Electronic_ISBN :
978-4-907764-33-3
