Zobrazeno 1 - 10
of 273
pro vyhledávání: '"state explosion"'
Publikováno v:
Journal of Information and Telecommunication, Pp 1-19 (2022)
Model checking is a formal and automated verification technique to show that a software system behaves in accordance with the given specification. Traditional model checking uses exhaustive search techniques for finding violative behaviours of the sp
Externí odkaz:
https://doaj.org/article/b2821519d0514485b8045b5623148126
Autor:
Younes Rouabah, Zhiwu Li
Publikováno v:
Mathematics, Vol 11, Iss 1, p 47 (2022)
This article aims to provide a perspective on the foundations and developments of the net unfolding techniques and their applications to discrete event systems. The numerous methods applied to concurrency presented in the literature can be roughly di
Externí odkaz:
https://doaj.org/article/dd262f815a004c8eafa0b8b6993f7703
Publikováno v:
Sensors, Vol 22, Iss 20, p 7781 (2022)
With the exponential growth of cyber–physical systems (CPSs), security challenges have emerged; attacks on critical infrastructure could result in catastrophic consequences. Intrusion detection is the foundation for CPS security protection, and dee
Externí odkaz:
https://doaj.org/article/c7fb83116829441cae75df9e15837816
Publikováno v:
IEEE Access, Vol 7, Pp 155805-155817 (2019)
This paper proposes an effective method based on the two main partial order techniques which are persistent sets and covering step graph techniques, to deal with the state explosion problem. First, we introduce a new definition of sound steps, the fi
Externí odkaz:
https://doaj.org/article/6f20682130ea4d6cb80538198bc4b4ad
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Oussama Karoui, Zhiwu Li, Naiqi Wu, Mohamed Khalgui, Emad Abouel Nasr, Abdulaziz Mohammed El-Tamimi
Publikováno v:
IEEE Access, Vol 6, Pp 34307-34323 (2018)
This paper focuses on establishing a Petri net (PN)-based deadlock prevention policy for large-scale systems whose state spaces are prone to the explosion problem phenomenon. When using the reachability analysis technique, the main burden is that the
Externí odkaz:
https://doaj.org/article/500880de4f7746daa9e2f94bfa36fb37
Publikováno v:
Cybernetics and Information Technologies, Vol 16, Iss 1, Pp 3-18 (2016)
In this article, we are interested in the exploration part of model checking which consists in traversing all the possible states of a system. We propose two approaches to exploration, parallel and sequential. We present a comparison between our para
Externí odkaz:
https://doaj.org/article/6cebb44fb8dd41ca86c14261613acfb9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.