Sammanfattning av denna webbsida: Att säkerställa att program är korrekta är en svår uppgift. När det gäller runtime-verifiering, som kombinerar metoder för formell verifiering och testning, erbjuder en praktisk men begränsad lösning som kan hjälpa till att hitta många fel i programvara. Kontroll av körtid bygger på verktyg för övervakning av programutförande. Det finns särskilda svårigheter när det gäller övervakning av inbyggda system. Bekymren för att anordna icke-inträngande övervakning av inbyggda system på ett sätt som är lämpligt att använda i körtidsverifieringsmetoder beaktas här. Ett antal befintliga verktyg för kontroll av körtid hänvisas till, och deras krav på övervakningslösningar framhävs. Etablerade och framväxande tillvägagångssätt för övervakning av programvaruutförande med hjälp av exekveringsövervakare ses över, med tonvikt på de tillvägagångssätt som är bäst lämpade för användning med inbyggda system. En föreslagen lösning för icke-inträngande övervakning av inbyggda system presenteras. I slutsatserna sammanfattas möjligheterna att anordna icke-inträngande övervakning av inbäddade system och möjligheten till körtidskontroll för att utnyttja sådana övervakningsmetoder.
På samma sätt diskuteras lämpligheten av kontroll- och övervakningsmetoder för inbyggda system i REF.
Runtime verification and monitoring of embedded systems
{'venue': 'IET Software', 'journal': 'IET Software', 'mag_field_of_study': ['Computer Science']}