Please use this identifier to cite or link to this item: doi:10.22028/D291-36431
Volltext verfügbar? / Dokumentlieferung
Title: Modeling, Simulation and Verification of Probabilistic Reconfigurable Discrete-Event Systems Under Energy and Memory Constraints
Author(s): Khlifi, Oussama
Mosbahi, Olfa
Khalgui, Mohamed
Frey, Georg
Li, Zhiwu
Language: English
Title: Iranian journal of science and technology : an international journal
Volume: 43
Issue: 2
Startpage: 229
Endpage: 243
Publisher/Platform: Springer Nature
Year of Publication: 2018
Free key words: Reconfiguration
Petri net
Model checking
Memory and energy control
DDC notations: 500 Science
Publikation type: Journal Article
Abstract: Adaptive probabilistic systems have ability to modify their behaviors to cope with unpredictable significant changes at run-time such as component failures or resources depletion. Reconfiguration is often a major task for systems, i.e., it may violate the memory usage, the required energy and the concerned real-time constraints. It might also make the system’s functions unavailable for some time and make potential harm to human life or large financial investments. Thus, updating a system with any new configuration requires that the post-reconfigurable system fully satisfies the related constraints. Formal modeling and verification could avoid the resources and constraints violation. Thus, the paper proposes a new formalism to specify such systems. We also develop a new visual environment named ZIZO which helps in modeling, constructive simulation and CTL-based verification of adaptive probabilistic systems. The contributions are used to guarantee the resources and correctness of an IPv4 ZeroConf protocol.
DOI of the first publication: 10.1007/s40998-018-0091-3
URL of the first publication:
Link to this record: urn:nbn:de:bsz:291--ds-364316
ISSN: 2364-1827
Date of registration: 10-Jun-2022
Faculty: NT - Naturwissenschaftlich- Technische Fakultät
Department: NT - Systems Engineering
Professorship: NT - Prof. Dr. Georg Frey
Collections:Die Universitätsbibliographie

Files for this record:
There are no files associated with this item.

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.