Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
Volltext verfügbar? / Dokumentlieferung
doi:10.22028/D291-36431
Titel: | Modeling, Simulation and Verification of Probabilistic Reconfigurable Discrete-Event Systems Under Energy and Memory Constraints |
VerfasserIn: | Khlifi, Oussama Mosbahi, Olfa Khalgui, Mohamed Frey, Georg Li, Zhiwu |
Sprache: | Englisch |
Titel: | Iranian journal of science and technology : an international journal |
Bandnummer: | 43 |
Heft: | 2 |
Startseite: | 229 |
Endseite: | 243 |
Verlag/Plattform: | Springer Nature |
Erscheinungsjahr: | 2018 |
Freie Schlagwörter: | Reconfiguration Petri net Model checking Memory and energy control |
DDC-Sachgruppe: | 600 Technik |
Dokumenttyp: | Journalartikel / Zeitschriftenartikel |
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 der Erstveröffentlichung: | 10.1007/s40998-018-0091-3 |
URL der Erstveröffentlichung: | https://link.springer.com/article/10.1007/s40998-018-0091-3 |
Link zu diesem Datensatz: | 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 |
Datum des Eintrags: | 10-Jun-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.