Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download
Contributor : Christian Attiogbe Connect in order to contact the contributor
Submitted on : Saturday, November 15, 2014 - 8:13:56 PM
Last modification on : Wednesday, April 27, 2022 - 3:50:46 AM
Long-term archiving on: : Monday, February 16, 2015 - 4:06:00 PM


Files produced by the author(s)



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⟩



Record views


Files downloads