Title :
Hierarchical interface-based non-blocking verification
Author :
Leduc, Ryan J. ; Brandin, B.A. ; Wonham, W.M.
Author_Institution :
Dept. of Electr. & Comput. Eng., Toronto Univ., Ont., Canada
Abstract :
In this paper we present a hierarchical method that breaks up a plant into two subsystems, and restricts the interaction of the subsystems by means of an interface. We present a definition for an interface, and define a set of interface consistency properties that can be used to verify if a discrete-event system (DES) is non-blocking. Each clause of the definition can be verified using only one of the two subsystems; thus the complete system model never needs to be constructed
Keywords :
discrete event systems; discrete-event system; hierarchical interface-based nonblocking verification; interface consistency properties; subsystems; Chromium; Discrete event systems; Distributed control; Erbium; Large-scale systems; Master-slave; State-space methods; Terminology;
Conference_Titel :
Electrical and Computer Engineering, 2000 Canadian Conference on
Conference_Location :
Halifax, NS
Print_ISBN :
0-7803-5957-7
DOI :
10.1109/CCECE.2000.849658
