Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-36622
Volltext verfügbar? / Dokumentlieferung
Titel: New Verification Approach for Reconfigurable Distributed Systems
VerfasserIn: Frey, Georg
Khalgui, Mohamed
Mosbahi, Olfa
Khlifi, Oussama
HerausgeberIn: Cardoso, Jorge
Sprache: Englisch
Titel: ICSOFT 2017 : proceedings of the 12th International Conference on Software Technologies : Madrid, Spain, 24-26 July 2017
Startseite: 355
Endseite: 362
Verlag/Plattform: SCITEPRESS - Science and Technology Publications, Lda.
Erscheinungsjahr: 2017
Erscheinungsort: [Setúbal]
Konferenzort: Madrid, Spain
Freie Schlagwörter: Formal verification
Model checking
Adaptive distributed systems
DDC-Sachgruppe: 600 Technik
Dokumenttyp: Konferenzbeitrag (in einem Konferenzband / InProceedings erschienener Beitrag)
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.
DOI der Erstveröffentlichung: 10.5220/0006434003550362
URL der Erstveröffentlichung: https://www.scitepress.org/Link.aspx?doi=10.5220/0006434003550362
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-366229
hdl:20.500.11880/33266
http://dx.doi.org/10.22028/D291-36622
ISBN: 978-989-758-262-2
Datum des Eintrags: 5-Jul-2022
Fakultät: NT - Naturwissenschaftlich- Technische Fakultät
Fachrichtung: NT - Systems Engineering
Professur: NT - Prof. Dr. Georg Frey
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Es gibt keine Dateien zu dieser Ressource.


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.