Title :
Formal specification and analysis of a control system based on computer networks
Author :
Blum, I. ; Juanole, Guy
Author_Institution :
Lab. d´Autom. et d´Anal. des Syst., CNRS, Toulouse
Abstract :
The control architecture for a distributed application (elevator system) is at first specified in terms of functionalities, networks and exchanges on networks. This architecture is based on two types of local area network (CANs and one network with a centralized control). Second, this architecture is modelled with stochastic timed Petri nets which allow one to express the main mechanisms of real time distributed systems and to do qualitative and quantitative analyses. Properties and performances of the elevator system are verified and evaluated
Keywords :
Petri nets; computerised control; formal specification; lifts; local area networks; real-time systems; stochastic processes; telecommunication computing; CANs; centralized control; computer networks; control architecture; control system; distributed application; elevator system; formal specification; local area network; quantitative analysis; real time distributed systems; stochastic timed Petri nets; Centralized control; Control system analysis; Control systems; Elevators; Formal specifications; Local area networks; Performance evaluation; Petri nets; Real time systems; Stochastic systems;
Conference_Titel :
Factory Communication Systems, 1997. Proceedings. 1997 IEEE International Workshop on
Conference_Location :
Barcelona
Print_ISBN :
0-7803-4182-1
DOI :
10.1109/WFCS.1997.634312
