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

fYear

1997

fDate

1-3 Oct 1997

Firstpage

297

Lastpage

305

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Factory Communication Systems, 1997. Proceedings. 1997 IEEE International Workshop on

Conference_Location

Barcelona

Print_ISBN

0-7803-4182-1

Type

conf

DOI

10.1109/WFCS.1997.634312

Filename

634312