Den underliggande egendomen, dess definition och representation spelar en viktig roll vid övervakningen av ett system. Att ha en lämplig och bekväm ram för att uttrycka egenskaper är därför ett bekymmer. En sådan ram bör göra det möjligt att representera egenskaper som kan verifieras under drifttiden för ett system. Det är önskvärt att inom denna ram avgränsa de utrymmen för egenskaper för vilka körtidskontrollmetoder kan tillämpas. Vi ser över säkerhets-progress klassificering av fastigheter i ett körtidsverifiering sammanhang. För det första karakteriserar vi den uppsättning egenskaper som kan verifieras (monitorerbara egenskaper) och påtvingas (verkställbara egenskaper) vid körtid. För det andra, när det gäller de avgränsade utrymmena för fastigheter, får vi specialiserade övervakare både för övervakning och tillsyn.
Falcone m.fl. i REF presentera en formell ram för att definiera klass av utrymmen med övervakande och verkställbara egenskaper.
Runtime Verification of Safety-Progress Properties
{'venue': 'RV', 'journal': None, 'mag_field_of_study': ['Computer Science']}