Zobrazeno 1 - 10
of 3 740
pro vyhledávání: '"runtime verification"'
Autor:
Rezvani, Behnaz
Embedded systems have become pervasive and increasingly complex, especially in modern applications such as self-driving vehicles, where safety requires both accurate functionality and real-time guarantees. However, the complexity and the integration
Externí odkaz:
https://hdl.handle.net/10919/121169
Publikováno v:
Cybernetics and Information Technologies, Vol 24, Iss 1, Pp 82-97 (2024)
As a kind of software system, the Event-Based Systems (EBS) respond to events rather than executing a predefined sequence of instructions. Events usually occur in real time, so it is crucial that they are processed in the correct order and within tem
Externí odkaz:
https://doaj.org/article/715323db5fe44ba9913cff531781d7c2
Autor:
Luis Miguel Danielsson, Cesar Sanchez
Publikováno v:
IEEE Access, Vol 11, Pp 84091-84112 (2023)
Problem: We study the problem of monitoring distributed systems such as smart buildings, ambient living, wide area networks and other distributed systems that get monitored periodically in human scale times. In these systems computers communicate usi
Externí odkaz:
https://doaj.org/article/62383b7c98064dfd96a4bb4c78eca047
Autor:
Yang Liu, Jiankun Li
Publikováno v:
Big Data and Cognitive Computing, Vol 8, Iss 5, p 49 (2024)
The intelligent warehouse is a modern logistics management system that uses technologies like the Internet of Things, robots, and artificial intelligence to realize automated management and optimize warehousing operations. The multi-robot system (MRS
Externí odkaz:
https://doaj.org/article/95f7b9b51f194aa79a901c85982dd5a2
Publikováno v:
IEEE Access, Vol 11, Pp 57349-57364 (2023)
In several domains, systems generate continuous streams of data during their execution, including meaningful telemetry information, that can be used to perform tasks like preemptive failure detection. Deep learning models have been exploited for thes
Externí odkaz:
https://doaj.org/article/5e835e530bc94be7bfa3d6c02478e50d
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.
Publikováno v:
Mathematical Biosciences and Engineering, Vol 19, Iss 12, Pp 13607-13627 (2022)
Runtime verification (RV) is a lightweight approach to detecting temporal errors of system at runtime. It confines the verification on observed trajectory which avoids state explosion problem. To predict the future violation, some work proposed the p
Externí odkaz:
https://doaj.org/article/574e0b2d6f8943db83e8e8bdd4453d6b
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.