New Verification Approach for Reconfigurable Distributed Systems

Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey

2017

Abstract

Adaptive systems are able to modify their behaviors to cope with unpredictable significant changes at run-time such as component failures. These systems are critical for future project and other intelligent systems. Reconfiguration is often a major undertaking for systems: it might make its functions unavailable for some time and make potential harm to human life or large financial investments. Thus, updating a system with a new configuration requires the assurance that the new configuration will fully satisfy the expected requirements. Formal verification has been widely used to guarantee that a system specification satisfies a set of properties. However, applying verification techniques at run time for any potential change can be very expensive and sometimes unfeasible. In this paper, we propose a new verification approach to deal with the formal verification of these reconfiguration scenarios. New reconfigurable CTL semantics is introduced to cover the verification of reconfigurable properties. It consists of two verification steps: design time and run-time verification. A railway case study will be also presented.

Paper Citation

in Harvard Style

Khlifi O., Mosbahi O., Khalgui M. and Frey G. (2017). New Verification Approach for Reconfigurable Distributed Systems . In Proceedings of the 12th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-262-2, pages 355-362. DOI: 10.5220/0006434003550362

in Bibtex Style

@conference{icsoft17,
author={Oussama Khlifi and Olfa Mosbahi and Mohamed Khalgui and Georg Frey},
title={New Verification Approach for Reconfigurable Distributed Systems},
booktitle={Proceedings of the 12th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2017},
pages={355-362},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006434003550362},
isbn={978-989-758-262-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - New Verification Approach for Reconfigurable Distributed Systems
SN - 978-989-758-262-2
AU - Khlifi O.
AU - Mosbahi O.
AU - Khalgui M.
AU - Frey G.
PY - 2017
SP - 355
EP - 362
DO - 10.5220/0006434003550362