Vi föreslår en teoretisk runtime-ram för komponentbaserade system (CBS) där vi avgränsar en hierarki av verkställbara egenskaper (dvs. egenskaper som kan verkställas) enligt antalet observationssteg ett system tillåts avvika från egendomen (dvs. begreppet k-steg verkställbarhet). För att säkerställa den observationsmässiga ekvivalensen mellan korrekt utförande av det ursprungliga systemet och det övervakade systemet, visar vi att i) endast stammar-invarianta egenskaper bör verkställas på CBS med våra monitorer, ii) säkerhetsegenskaper är 1-stegs verkställbara. Med tanke på en abstrakt kontroll av efterlevnaden av vissa 1-stegs verkställbar egendom, instrumenterar vi formellt (på relevanta platser) ett system för att integrera monitorn. Vid runtime, övervakar och automatiskt undviker eventuella fel i beteendet hos systemet w.r.t. egendomen.
När en egendomsintrång är oundviklig, skölden tillåter att avvika från fastigheten för k på varandra följande steg (som i REF ).
Runtime enforcement for component-based systems
{'venue': 'SAC', 'journal': None, 'mag_field_of_study': ['Computer Science']}