A master thesis from Aalborg University
Runtime Validation for Embedded Real-Time Systems
Author(s)
Term
4. term
Education
Publication year
2003
Submitted on
2012-02-14
Abstract
With the increasing use of computer systems for controlling processes and activities in our everyday surroundings, the correctness of these systems becomes increasingly important. The functionality of such control systems often relies on tasks being performed at the correct time, not to soon and not to late. In this report we investigate the contemporary practices for ensuring correct behaviour of such real-time systems. We identify the quality and applicability measures of current practices as well as their limitations. Based on the contemporary methods, we propose a method for validating embedded real-time systems The proposed method allows real-time systems to be validated in simulated environments. The simulation performed is based on formal descriptions (models) of the environments. During simulation, the structure of the model is used by a guiding algorithm to achieve an interesting exploration of the possible behaviour. Furthermore, validation is performed in terms of the states of the environment. A prototype of the proposed method has been implemented. Based on this prototype we carry out a case study illustrating the process of describing and formalising the environment as well as validating programs controlling it.
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.