Abstract-Monitoring temporal SystemC egenskaper är avgörande för valideringen av funktionella och transaktionsnivå modeller, men den nuvarande SystemC standard ger inget stöd för temporal specifikationer. I detta arbete beskriver vi en tidsövervakningsram för det systemC-specifikationsspråk som definieras av Tabakov m.fl. Vid FMCAD'08. Vårt ramverk använder en mycket minimal modifiering av SystemC-kärnan, och exponerar händelseaviseringar och simuleringsfaser. Användarkoden är instrumenterad för att möjliggöra observation av de relevanta delarna av modellens tillstånd. Som konceptbevis använder vi ramverket för att specificera och kontrollera egenskaper hos två SystemC-modeller. Vi visar att övervakning av SystemC fastigheter med hjälp av detta ramverk har rimliga omkostnader (0,01% -1%) och har minskande marginalkostnader. Slutligen visar vi att övervakningen på olika abstraktionsnivåer kräver mycket små ändringar av specifikationen och de övervakare som genereras. Baserat på våra empiriska resultat hävdar vi att de ytterligare expressiva befogenheterna och flexibiliteten i ramverket inte medför en allvarlig effekt.
Tabakov m.fl. I Ref föreslogs en ram för övervakning av tidsmässiga systemC-egenskaper.
Monitoring temporal SystemC properties
{'venue': 'Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)', 'journal': 'Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)', 'mag_field_of_study': ['Computer Science']}