DocumentCode :
2221176
Title :
Hierarchical specification of reactive system using state diagram matrix
Author :
Murata, Tomohiro ; Kurihara, Kenzou ; Ashida, Ayako
Author_Institution :
Syst. Dev. Lab., Hitachi Ltd., Kawasaki, Japan
fYear :
1993
fDate :
15-19 Nov 1993
Firstpage :
138
Abstract :
Reactive systems respond to internal or external stimuli and act in an event-driven manner. It is generally difficult to specify a complex reactive systems behavior. One reason is that actual reactive systems are usually formed by combining plural sequential machines that behave concurrently. This paper presents the state diagram matrix (SDM) which is a visual and hierarchical formalism of a reactive system´s behavior. SDM involves two concepts. The first is a matrix plane description, on which a 3-dimensional state space is projected. The second is state composition and state abstraction for hierarchical sequential machine definition. The Petri net model is used for the composition of parallel sequential machines. The understandability and reliability of control software is shown to be improved as a consequence of adopting SDM for specifying disk-subsystem control requirements. The development support functions of SDM using a workstation are also described
Keywords :
Petri nets; hierarchical systems; parallel machines; sequential machines; state-space methods; Petri net model; disk-subsystem control; external stimuli; hierarchical formalism; hierarchical sequential machine; hierarchical specification; internal stimuli; matrix plane description; parallel sequential machines; reactive system; state abstraction; state composition; state diagram matrix; state model; state space; Automatic control; Communication system control; Control systems; Electrooptic effects; Laboratories; Manufacturing automation; Operating systems; Samarium; State-space methods; Workstations;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Industrial Electronics, Control, and Instrumentation, 1993. Proceedings of the IECON '93., International Conference on
Conference_Location :
Maui, HI
Print_ISBN :
0-7803-0891-3
Type :
conf
DOI :
10.1109/IECON.1993.339092
Filename :
339092
Link To Document :
بازگشت