TY - GEN
T1 - Hierarchical specification of reactive system using state diagram matrix
AU - Murata, Tomohiro
AU - Kurihara, Kenzou
AU - Ashida, Ayako
PY - 1993/12/1
Y1 - 1993/12/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0027808196&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0027808196&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0027808196
SN - 0780308913
T3 - IECON Proceedings (Industrial Electronics Conference)
SP - 138
EP - 143
BT - Plenary Session, Emerging Technologies, and Factory Automation
A2 - Anon, null
PB - Publ by IEEE
T2 - Proceedings of the 19th International Conference on Industrial Electronics, Control and Instrumentation
Y2 - 15 November 1993 through 18 November 1993
ER -