15th of November, 2016: Contract-Based Deployment of Monitoring Mechanisms for Mixed-Critical Real-Time Applications

  • Speaker: Joscha-Joel Benz, TU Braunschweig
  • Title: Contract-Based Deployment of Monitoring Mechanisms for Mixed-Critical Real-Time Applications
  • Abstract: Today, mixed-critical embedded systems are increasing in their functionality and complexity, such as cars and mobile phones. Consequently, the complexity of software rises as well. Thus, already deployed software often needs to be adapted to correct faults. These changes usually demand a great deal of testing and verification to make sure that requirements inherent in embedded systems can be met. Among these are real-time requirements that are often closely related to safety needs. Additionally, these requirements become harder to verify in-lab, due to the growing complexity and the large variety of systems. In the scope of this thesis an appropriate timing analysis method is chosen and implemented as part of a run-time timing analysis component. In addition, this component is evaluated with regard to correctness. Furthermore, a monitoring framework is designed and implemented along with a selection of analysis component using that framework. The performance of the latter along with the impact of instrumentation on monitored software is evaluated on a commercial embedded system. Results of both evaluations are discussed and presented together with indications on future work.