A formal approach for correct-by-construction system substitution - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

A formal approach for correct-by-construction system substitution

Abstract

The substitution of a system with another one may occur in several situations like system adaptation, system failure management, system resilience, system reconfiguration, etc. It consists in replacing a running system by another one when given conditions hold. This contribution summarizes our proposal to define a formal setting for proving the correctness of system substitution. It relies on refinement and on the Event-B method.
Fichier principal
Vignette du fichier
Babin_13147.pdf (256.61 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04080728 , version 1 (25-04-2023)

Identifiers

Cite

Guillaume Babin. A formal approach for correct-by-construction system substitution. European Dependable Computing Conference (EDCC 2014), May 2014, Newcastle, United Kingdom. pp.1-3, ⟨10.48550/arXiv.1404.7513⟩. ⟨hal-04080728⟩
18 View
8 Download

Altmetric

Share

Gmail Facebook X LinkedIn More