loading
Papers

Research.Publish.Connect.

Paper

Authors: Oussama Khlifi 1 ; Olfa Mosbahi 2 ; Mohamed Khalgui 3 and Georg Frey 4

Affiliations: 1 Saarland University, University of Carthage and ZeMA – Zentrum fur Mechatronik und Automatisierungstechnik gemeinnützige GmbH, Germany ; 2 University of Carthage, Tunisia ; 3 University of Carthage and Xidian University, Tunisia ; 4 Saarland University and ZeMA – Zentrum fur Mechatronik und Automatisierungstechnik gemeinnützige GmbH, Germany

ISBN: 978-989-758-262-2

Keyword(s): Formal verification, Model checking, Adaptive distributed systems.

Related Ontology Subjects/Areas/Topics: Distributed and Mobile Software Systems ; Distributed Architectures ; Formal Methods ; Requirements Elicitation and Specification ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

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 reconfigurabl e properties. It consists of two verification steps: design time and run-time verification. A railway case study will be also presented. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.237.51.159

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.