de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Timing Verifikation von AUTOSAR Softwarearchitekturen / vorgelegt von M. Sc. Steffen Beringer. Paderborn, 2022
Inhalt
Zusammenfassung
Abstract
Inhaltsverzeichnis
Einleitung
Motivation
Problemstellung
Beitrag der Arbeit
Struktur der Arbeit
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
Aufbau des Modells
Ergebnisse
Diskussion
Zusammenfassung
Werkzeugunterstützung und Evaluierung
Prototypische Werkzeugunterstützung
Realisierung der Modelltransformationen
Evaluierung
Zusammenfassung
Zusammenfassung und Ausblick
Zusammenfassung
Diskussion
Ausblick
Schlussbemerkung
References
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.