Timing Verifikation von AUTOSAR Softwarearchitekturen / vorgelegt von M. Sc. Steffen Beringer. Paderborn, 2022
Content
- Zusammenfassung
- Abstract
- Inhaltsverzeichnis
- Einleitung
- Grundlagen
- Automotive Softwareentwicklung
- Anforderungsmodelle und Anforderungsqualität
- Formale Analyse
- Zusammenfassung
- Frühzeitige Verifikation von AUTOSAR Timing Anforderungen
- Konsistenzprüfung und Timing Verifikation
- Zeitaspekte innerhalb einer AUTOSAR Softwarearchitektur
- Integration der Methode in bestehende Entwicklungsprozesse
- Zusammenfassung
- Konsistenzanalyse von AUTOSAR Timing Anforderungen
- Transformation der AUTOSAR Timing Anforderungen nach SMT
- Verfahren zur Korrektur inkonsistenter Anforderungsmengen
- Stand der Technik
- Zusammenfassung
- Timing Verifikation von AUTOSAR Softwarearchitekturen
- Transformation des AUTOSAR Architekturmodells nach Timed Automata
- Transformation der Timing Anforderungen nach Timed Automata
- Stand der Technik
- Zusammenfassung
- Fallstudie: Fault-Tolerant Fuel-Rate Controller
- Werkzeugunterstützung und Evaluierung
- Prototypische Werkzeugunterstützung
- Realisierung der Modelltransformationen
- Evaluierung
- Zusammenfassung
- Zusammenfassung und Ausblick
- References