Please use this identifier to cite or link to this item:
Volltext verfügbar? / Dokumentlieferung
doi:10.22028/D291-36431
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: | 600 Technology |
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: | https://link.springer.com/article/10.1007/s40998-018-0091-3 |
Link to this record: | urn:nbn:de:bsz:291--ds-364316 hdl:20.500.11880/33077 http://dx.doi.org/10.22028/D291-36431 |
ISSN: | 2364-1827 2228-6179 |
Date of registration: | 10-Jun-2022 |
Faculty: | NT - Naturwissenschaftlich- Technische Fakultät |
Department: | NT - Systems Engineering |
Professorship: | NT - Prof. Dr. Georg Frey |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
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.