Edge-Based Runtime Verification for the Internet of Things
| Autor: | Pantelis A. Frangoudis, Christos Tsigkanos, Schahram Dustdar, Marcello M. Bersani |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
Information Systems and Management
Computer Networks and Communications business.industry Computer science Runtime verification Computer security computer.software_genre Computer Science Applications Hardware and Architecture Edge based State (computer science) Software architecture Internet of Things business computer Computer network |
| Zdroj: | SERVICES |
| DOI: | 10.1109/services51467.2021.00027 |
| Popis: | Complex distributed systems such as the ones induced by Internet of Things (IoT) deployments, are expected to operate in compliance to their requirements. This can be checked by inspecting events flowing throughout the system, typically originating from end-devices and reflecting arbitrary actions, changes in state or sensing. Such events typically reflect the behavior of the overall IoT system – they may indicate executions which satisfy or violate its requirements. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|