Hierarchical specification of reactive system using state diagram matrix

Tomohiro Murata, Kenzou Kurihara, Ayako Ashida

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationPlenary Session, Emerging Technologies, and Factory Automation
Editors Anon
PublisherPubl by IEEE
Pages138-143
Number of pages6
ISBN (Print)0780308913
Publication statusPublished - 1993 Dec 1
Externally publishedYes
EventProceedings of the 19th International Conference on Industrial Electronics, Control and Instrumentation - Maui, Hawaii, USA
Duration: 1993 Nov 151993 Nov 18

Publication series

NameIECON Proceedings (Industrial Electronics Conference)
Volume1

Other

OtherProceedings of the 19th International Conference on Industrial Electronics, Control and Instrumentation
CityMaui, Hawaii, USA
Period93/11/1593/11/18

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Hierarchical specification of reactive system using state diagram matrix'. Together they form a unique fingerprint.

Cite this