DocumentCode
504819
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
fYear
2009
fDate
18-21 Aug. 2009
Firstpage
470
Lastpage
473
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;
fLanguage
English
Publisher
ieee
Conference_Titel
ICCAS-SICE, 2009
Conference_Location
Fukuoka
Print_ISBN
978-4-907764-34-0
Electronic_ISBN
978-4-907764-33-3
Type
conf
Filename
5334744
Link To Document