Hierarchical specification of reactive system using state diagram matrix

Tomohiro Murata, Kenzou Kurihara, Ayako Ashida

研究成果: Conference contribution

抄録

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.

本文言語English
ホスト出版物のタイトルPlenary Session, Emerging Technologies, and Factory Automation
編集者 Anon
出版社Publ by IEEE
ページ138-143
ページ数6
ISBN(印刷版)0780308913
出版ステータスPublished - 1993 12 1
外部発表はい
イベントProceedings of the 19th International Conference on Industrial Electronics, Control and Instrumentation - Maui, Hawaii, USA
継続期間: 1993 11 151993 11 18

出版物シリーズ

名前IECON Proceedings (Industrial Electronics Conference)
1

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

フィンガープリント 「Hierarchical specification of reactive system using state diagram matrix」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル