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
fDate :
Aug. 31 1999-Sept. 3 1999
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;
Conference_Titel :
Control Conference (ECC), 1999 European
Conference_Location :
Karlsruhe
Print_ISBN :
978-3-9524173-5-5
