A formal approach for correct-by-construction system substitution
Software Engineering
2014-05-09 v2
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.
Cite
@article{arxiv.1404.7513,
title = {A formal approach for correct-by-construction system substitution},
author = {Guillaume Babin},
journal= {arXiv preprint arXiv:1404.7513},
year = {2014}
}
Comments
EDCC-2014, Student-Forum, System Substitution, state rRecovery, correct-bycorrection, Event-B, refinement