Abstract Verifiering av komponentbaserade system lider fortfarande av begränsningar som tillståndsrymdexplosion eftersom ett stort antal olika komponenter kan interagera i en heterogen miljö. Dessa begränsningar innebär att det behövs kompletterande kontrollmetoder, t.ex. kontroll av körtid. Körtidskontroll är en dynamisk analysteknik och är benägen att skalbarhet. I detta dokument integrerar vi körtidsverifiering i BIP-ramverket (Behavior, Interaction and Priority). BIP är en kraftfull och uttrycksfull komponentbaserad ram för den formella konstruktionen av heterogena system. Vår metod utökar BIP-system med monitorer för att kontrollera specifikationer vid körning. Denna metod har implementerats i RV-BIP, ett prototypverktyg som vi använde för att validera hela tillvägagångssättet på en robotapplikation.
I REF föreslog vi en första metod för körtidskontroll av CBS.
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
{'venue': 'Software & Systems Modeling', 'journal': 'Software & Systems Modeling', 'mag_field_of_study': ['Computer Science']}