Abstract
Distributed Reconfigurable B approach for the specification and verification of B-based distributed reconfigurable control systems
Highlights
The development of distributed control system (DCS) is not an obvious task as a failure can influence the safety of human being, for example, railway and air traffic control
AtelierB, the number of operations corresponding to the current system’s configuration, the number of operations to be checked when the Check Reconfigurable B (R-B) tool is used to verify distributed reconfigurable control systems (DRCS), the number of operations to be checked without using the FESTO machine NoÀpcheckRÀB No+p AtelierB No+p checkRÀB
We propose a novel DReconf-B approach aiming to extend the B method to model and verify dynamic, automatic, and flexible DRCS
Summary
The development of distributed control system (DCS) is not an obvious task as a failure can influence the safety of human being, for example, railway and air traffic control. The reconfiguration of DCS is one of the most promising directions to address these issues.[5] Reconfiguration means the capacity of the system to change its behavior at run-time. We distinguish two types: (a) static (offline) is applied before the system cold starts[6] and (b) dynamic (online) is applied automatically at run-time.[7] It can be manually executed by users[8] or automatically performed by intelligent. Set theory and generalized substitution are the basis of the B method to model data and to describe state modification. A robust and useful tool named Atelier B is generated for the development of B formal models. The specification step consists in translating the Oueslati and Mosbahi
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
