Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
Volltext verfügbar? / Dokumentlieferung
doi:10.22028/D291-36622
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.