Stepwise Refinement of Discrete Event Systems

Xiaohua HU, Akihiro KANESHIGE, Katsuaki ONOGI, Yoshiyuki NISHIMURA
1992 Transactions of the Society of Instrument and Control Engineers  
There is a growing need for the top-down design methodology for Discrete Event Systems (DES). Establishing a firm foundation of such methodology is the central topic of this paper. In a top-down design of a discrete event system, one starts with a high-level model of the system and refines it stepwise until a sufficient low-level model has been reached. Therefore, in this paper, we study the following two things to make the top-down design useful: The first is a theory of formal models of DES
more » ... ich are suited to refinement, and the second is an adequate notion of refinement relation between the models. Firstly, in order to get a new DES's model, we extend the state machines, a well-known DES's model, by introducing
doi:10.9746/sicetr1965.28.733 fatcat:llhx34fupfaubgpbh3v3rscpii