 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Literatur |
|
Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Der Artikel gibt einen Überblick über die momentanen Methoden zur Entwicklung eingebetteter Systeme im Kfz-Bereich, gibt Motivationen zum Einsatz formaler Methoden, stellt den Einsatz formaler Methoden aus Anwendersicht am Beispiel einer Zentralverriegelung vor, geht dabei konkret auf die Statemate Verifikationsumgebung des OFFIS (Statemate Modelle, Symbolic Timing Diagrams zur Spezifikation und Siemens-Model Checking) ein und ordnet die Verifikation in den Entwurfsprozeß bei BMW ein. | |||||||||
| |||||||||
| Autoren | |||||||||
| |||||||||
| Werner Damm Michael Eckrich Udo Brockmeyer Gunnar Wittich Hans J. Holberg | |||||||||
| |||||||||
| Publikationstyp | |||||||||
| |||||||||
| Bericht | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Downloads | |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren
| ||||||||||||||
|
