Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach

Résumé

Evolving distributed systems are made of several physical devices distributed through a network and a set of functionalities or ap-plications hosted by the physical devices. The configuration of the phys-ical components may be modified through the time, hence the continu-ous evolving of the whole system. This should affect neither the hosted software components nor the global functionning of the whole system. The components of the systems are software components or physical components but their abstract models are considered with the aim of modelling and reasoning. We show that an event-based approach can be benefically used to model and verify this kind of evolving control sys-tems. The proposed approach is first presented, then the CCTV case study is introduced and modelled. The resulting model is structured as a B abstract machine. The functional properties of the case study are captured, modelled and proved. The refinement technique of Event-B is used to introduce and prove some properties.
Fichier principal
Vignette du fichier
paper32-isola2014_jca.pdf (328.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01083188 , version 1 (15-11-2014)

Identifiants

Citer

Christian Attiogbé. Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach. ISoLA'2014 - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, B. Steffen & T. Margaria, Oct 2014, Corfu, Greece. pp.573 - 587, ⟨10.1007/978-3-662-45231-8_48⟩. ⟨hal-01083188⟩
81 Consultations
128 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More