Title: Quellsprachenorientierte Diagnose und Korrektur von Softwarefehlern durch überwachte Ausführung unter Echtzeitbedingungen