Methodischer Beitrag zum neuen Einsatz von Techniken der formalen Verifikation bei seriellen Busprotokollen im automobilen Umfeld
Abstract:
Mit Hilfe der Formalen Verifikation kann die Protokollkonformität bei der Verifikation garantiert werden. Eine Herausforderung stellen serielle Protokolle mit ihren großen zu betrachtenden Zeitfenstern dar. Diese Arbeit beschreibt eine Methodik, die die Verifikation von seriellen Protokollen verbessert. Dazu wird eine Aufteilung des Prozesses in mehrere Schichten propagiert, was eine Abstraktion von der Implementierung und eine Erhöhung der Qualität und der Widerverwendbarkeit ermöglicht.
| Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Hochschulschrift |
| Publikationsjahr | 2014 |
| Sprache | Deutsch |
| Identifikator | urn:nbn:de:swb:90-505081 KITopen-ID: 1000050508 |
| Verlag | Karlsruher Institut für Technologie (KIT) |
| Art der Arbeit | Dissertation |
| Fakultät | Fakultät für Elektrotechnik und Informationstechnik (ETIT) |
| Institut | Institut für Technik der Informationsverarbeitung (ITIV) |
| Prüfungsdaten | 25.11.2014 |
| Schlagwörter | Formale Verifikation, LIN, serielle Protokolle, Automobil |
| Referent/Betreuer | Becker, J. |