Forum Funktionale Sicherheit 2014
17. Juli 2014, 19 Bilder
Dr. Daniel Kästner, AbsInt: "Laufzeitfehler im generierten C-Code, die durch fehlerhafte Modellspezifikationen entstehen, sind bei der modellbasierten Entwicklung, nicht auf dem ersten Blick erkennbar." Diese müssen aber sicher ausgeschlossen werden und ihr Nicht-Vorhandensein belegt werden.