ABSTRACT Internet of Things (IoT) system lovar en sömlös uppkopplad värld med maskiner som integrerar sina tjänster utan mänsklig inblandning. Det är högst troligt att de enheter som deltar i en sådan autonom maskin till maskininteraktioner ska tillhandahållas av olika tillverkare. Därför komplicerar integrering av sådana heterogena enheter från många leverantörer design och verifiering av IoT-system i en aldrig tidigare skådad skala. I detta dokument föreslår vi en ny runtime-verifieringsmetod för IoT-system. Bidragen från vår föreslagna lösning inkluderar: utnyttja interaktioner i meddelandesekvensdiagram (MSC) för att specificera meddelandeutbyten av begränsade program protokollbaserade IoT-system i termer av händelser, en ny händelsekalkyl för formellt beskriva IoT-system begränsningar som anges med hjälp av MSC, och en händelse bearbetning algebra som använder komplexa-event bearbetningstekniker för att upptäcka fel i systemet genom att övervaka runtime händelser händelser med avseende på de systembegränsningar som definieras av händelsekalkyl. Vi visar vidare på genomförbarheten av den föreslagna lösningen med fallstudier. Internet of Things, runtime verifiering, händelsekalkyl, komplexa-event bearbetning, meddelanden sekvens diagram.
Författarna i REF presenterar en ny körtidskontroll och tillhörande prototypimplementeringar för att visa att den föreslagna lösningen är användbar och effektiv.
A Novel Runtime Verification Solution for IoT Systems
{'venue': 'IEEE Access', 'journal': 'IEEE Access', 'mag_field_of_study': ['Computer Science']}