Körtidskontroll (RV) är en pragmatisk och skalbar men ändå rigorös teknik för att bedöma korrektheten i komplexa system, inklusive it-fysiska system (CPS). Moderna RV-verktyg gör det också möjligt att mäta avståndet till ett CPS-beteende från ett givet formellt krav, alltså att kvantifiera robustheten hos ett CPS med avseende på störningar orsakade av den fysiska miljön. I detta dokument föreslår vi algebraisk RV (ARV), en allmän, semantisk ram för korrekthets- och robusthetsövervakning. ARV genomför ett abstrakt övervakningsförfarande, där specifikationsspråket (STL) kan omedelbareras med olika kvalitativa och kvantitativa semantik. Detta gör att vi kan exponera de centrala aspekterna av RV, genom att separera övervakningsalgoritmen från det konkreta valet av STL och dess semantik. Vi visar effektiviteten i vårt ramverk på två exempel från fordonsområdet.
En generalisering av robusthet presenteras i ett nyligen algebraiskt ramverk för körtidskontroll REF.
An Algebraic Framework for Runtime Verification
{'venue': 'IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems', 'journal': 'IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems', 'mag_field_of_study': ['Mathematics', 'Computer Science']}