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 publicationIECON Proceedings (Industrial Electronics Conference)
Editors Anon
Place of PublicationLos Alamitos, CA, United States
PublisherPubl by IEEE
Pages138-143
Number of pages6
Volume1
ISBN (Print)0780308913
Publication statusPublished - 1993
Externally publishedYes
EventProceedings of the 19th International Conference on Industrial Electronics, Control and Instrumentation - Maui, Hawaii, USA
Duration: 1993 Nov 151993 Nov 18

Other

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

Fingerprint

Sequential machines
Specifications
Chemical analysis
Petri nets

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Cite this

Murata, T., Kurihara, K., & Ashida, A. (1993). Hierarchical specification of reactive system using state diagram matrix. In Anon (Ed.), IECON Proceedings (Industrial Electronics Conference) (Vol. 1, pp. 138-143). Los Alamitos, CA, United States: Publ by IEEE.

Hierarchical specification of reactive system using state diagram matrix. / Murata, Tomohiro; Kurihara, Kenzou; Ashida, Ayako.

IECON Proceedings (Industrial Electronics Conference). ed. / Anon. Vol. 1 Los Alamitos, CA, United States : Publ by IEEE, 1993. p. 138-143.

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

Murata, T, Kurihara, K & Ashida, A 1993, Hierarchical specification of reactive system using state diagram matrix. in Anon (ed.), IECON Proceedings (Industrial Electronics Conference). vol. 1, Publ by IEEE, Los Alamitos, CA, United States, pp. 138-143, Proceedings of the 19th International Conference on Industrial Electronics, Control and Instrumentation, Maui, Hawaii, USA, 93/11/15.
Murata T, Kurihara K, Ashida A. Hierarchical specification of reactive system using state diagram matrix. In Anon, editor, IECON Proceedings (Industrial Electronics Conference). Vol. 1. Los Alamitos, CA, United States: Publ by IEEE. 1993. p. 138-143
Murata, Tomohiro ; Kurihara, Kenzou ; Ashida, Ayako. / Hierarchical specification of reactive system using state diagram matrix. IECON Proceedings (Industrial Electronics Conference). editor / Anon. Vol. 1 Los Alamitos, CA, United States : Publ by IEEE, 1993. pp. 138-143
@inproceedings{397724b2a1b64924ab4ff6aec2f2ea37,
title = "Hierarchical specification of reactive system using state diagram matrix",
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.",
author = "Tomohiro Murata and Kenzou Kurihara and Ayako Ashida",
year = "1993",
language = "English",
isbn = "0780308913",
volume = "1",
pages = "138--143",
editor = "Anon",
booktitle = "IECON Proceedings (Industrial Electronics Conference)",
publisher = "Publ by IEEE",

}

TY - GEN

T1 - Hierarchical specification of reactive system using state diagram matrix

AU - Murata, Tomohiro

AU - Kurihara, Kenzou

AU - Ashida, Ayako

PY - 1993

Y1 - 1993

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

VL - 1

SP - 138

EP - 143

BT - IECON Proceedings (Industrial Electronics Conference)

A2 - Anon, null

PB - Publ by IEEE

CY - Los Alamitos, CA, United States

ER -