Runtime Validation for Embedded Real-Time Systems
Author
Christensen, Anders Bo
Term
4. term
Education
Publication year
2003
Abstract
I takt med at flere hverdagsgenstande styres af computere, bliver det afgørende, at de fungerer korrekt—især for realtidssystemer, hvor handlinger hverken må ske for tidligt eller for sent. Denne afhandling gennemgår de nuværende metoder til at sikre korrekt adfærd i sådanne systemer, vurderer deres kvalitet, anvendelighed og begrænsninger. På den baggrund foreslår vi en metode til at validere indlejrede realtidssystemer i et simuleret miljø. Simulationen bygger på formelle modeller—præcise, matematiske beskrivelser—af miljøet. En vejledende algoritme udnytter modellernes struktur til at udforske meningsfulde og varierede mulige forløb. Valideringen fokuserer på, hvordan systemet reagerer på forskellige tilstande i miljøet. Vi har implementeret en prototype af metoden og anvendt den i et casestudie, der viser, hvordan man modellerer miljøet og validerer de styrende programmer.
As more everyday devices are controlled by computers, ensuring they work correctly becomes critical—especially for real-time systems, where actions must happen neither too early nor too late. This thesis reviews current practices for assuring the correct behavior of such systems, evaluating their quality, applicability, and limitations. Building on these insights, we propose a method to validate embedded real-time systems in a simulated environment. The simulation is driven by formal models—precise, mathematical descriptions—of the environment. A guiding algorithm uses the structure of these models to explore meaningful and diverse possible behaviors. Validation focuses on how the system responds to different states of the environment. We implemented a prototype of the method and used it in a case study that shows how to model the environment and validate the control programs.
[This abstract was generated with the help of AI]
Documents