Babin, Guillaume A formal approach for correct-by-construction system substitution. (2014) In: European Dependable Computing Conference - EDCC 2014, 13 May 2014 - 16 May 2014 (Newcastle, United Kingdom).
![[img]](https://oatao.univ-toulouse.fr/style/images/fileicons/application_pdf.png) |
(Document in English)
PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 262kB |
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Audience (conference): | International conference proceedings |
| Uncontrolled Keywords: | |
| Institution: | Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE) Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) |
| Laboratory name: | |
| Statistics: | download |
| Deposited By: | IRIT IRIT |
| Deposited On: | 30 Mar 2015 13:02 |
Repository Staff Only: item control page
