Bachelor and Master Theses

Title: Evaluating What Should Be Logged in a Real-Time System Using Log-Selection Strategies
Subject: Computer Science
Level: Advanced
Description: The failure of embedded, hard-real-time, safety-critical systems can lead to injury or loss of life. Engineers aim to produce systems with no dangerous faults, but no practical engineering process can guarantee the absence of such faults. When errors arise in such systems, engineers must examine the system and the log data it produces to determine whether the error was caused by a previously-unknown fault. Log space is finite, raising a question: what should engineers design a system to log so as to maximise the chance that log data will reveal any faults that lead to dangerous errors? This thesis will propose several alternative strategies for selecting what to log and evaluate these by experiment using a simulated hard-real-time system.
Company: University of York, kontaktperson: Iain Bate
Prel. end date: 2014-02-01
Presentation date: 2014-01-30
Student: Niklas Gillström
IDT supervisor: Patrick Graydon, 021101421
Examinator: Sasikumar Punnekkat
Sasikumar Punnekkat, +46-21-107324

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2018.05.24