DocumentCode
707020
Title
A formal approach to reconfigurability analysis application to the three tank benchmark
Author
Gehin, A.L. ; Staroswiecki, M.
Author_Institution
Lab. d´Autom. et d´Inf. Ind. de Lille, Univ. des Sci. et Technol. de Lille, Villeneuve-d´Ascq, France
fYear
1999
fDate
Aug. 31 1999-Sept. 3 1999
Firstpage
4041
Lastpage
4046
Abstract
In this paper, a formal approach to analyze system reconfigurability is proposed. The model we use to describe a system is based on the notions of services provided by the system components and their organization into USOM (User Operating Modes). Fault tolerance results from the possibility to run a given service under several different versions. Each version is characterized by a different set of the resources it needs. The system reconfigurability directly results from the existence of several service versions.
Keywords
control system analysis; fault tolerant control; interconnected systems; USOM; fault tolerance; formal approach; system reconfigurability analysis approach; three tank benchmark; user operating mode; Algorithm design and analysis; Fault tolerant systems; Hypercubes; Redundancy; Sensors; Valves; distributed architecture; fault-tolerant control; formal model; user operating modes;
fLanguage
English
Publisher
ieee
Conference_Titel
Control Conference (ECC), 1999 European
Conference_Location
Karlsruhe
Print_ISBN
978-3-9524173-5-5
Type
conf
Filename
7099965
Link To Document