Interoperability Analysis of Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Interoperability Analysis of Systems

Résumé

Our work deals with the analysis of the behavioural interoperability of systems in a designing context. Systems to be analysed are modelled as UML architectures in terms of assembly of components, the behaviour of which are defined by State Machines. We identify two interoperability levels: the absence of deadlock, and the fact that the required services and usage protocols are preserved. Our analysis consists in automatically transforming the behaviour of an architecture into a Labelled Transition System. The analysis of deadlock can be then performed through model checking tools. We identify relations enabling us to substitute components without analysing again the whole system, which leads us to define a notion of compatibility between components. This analysis technique checks if the interoperability of the new system is altered, preserved or improved: (i) the new system exhibits deadlocks: it is not interoperable any more (ii) it is deadlock free; (iii) it is deadlock free and moreover conforms to the previous one. Results are illustrated through a case study.
Fichier principal
Vignette du fichier
IFAC_2011.pdf (341.34 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00756112 , version 1 (23-11-2012)

Identifiants

Citer

Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan. Interoperability Analysis of Systems. 18th World Congress of the International Federation of Automatic Control (IFAC 2011), Aug 2011, Milan, Italy. pp.7879-7884, ⟨10.3182/20110828-6-IT-1002.03523⟩. ⟨hal-00756112⟩
77 Consultations
310 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More