Model Checking im Automotivbereich

Zusammenfassung
Um die hohen Qualitätsansprüche an Software im Fahrzeug zu sichern, wird der Einsatz eines Model Checkers empfohlen. Es werden Erfahrungen aus der Evaluation heute verfügbarer Werkzeuge präsentiert. Der Einsatz dieser Technologie wird durch die inhärente Schwierigkeit, die geforderten Eigenschaften an das Modell mathematisch zu präzisieren, erschwert. Um den Benutzer darin zu unterstützen wird eine Klassifikation geeigneter Mustereigenschaften zusammen mit einem Konzept eines Pattern Wizard vorgestellt, so dass der Anwender nach konkreten Handlungsanweisungen zur geeigneten Formulierung seiner Abfragen kommt.
  • Vollständige Referenz
  • BibTeX
Wiesbrock, H.-W., Dörr, H. & Holberg, H. J., (2002). Model Checking im Automotivbereich. In: Schubert, S. E., Reusch, B. & Jesse, N. (Hrsg.), Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI). Bonn: Gesellschaft für Informatik e.V.. (S. 819-823).
@inproceedings{mci/Wiesbrock2002,
author = {Wiesbrock, Hans-Werner AND Dörr, Heiko AND Holberg, Hans Jürgen},
title = {Model Checking im Automotivbereich},
booktitle = {Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI)},
year = {2002},
editor = {Schubert, Sigrid E. AND Reusch, Bernd AND Jesse, Norbert} ,
pages = { 819-823 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings.19-131.pdf367.4Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 3-88579-348-2
ISSN: 1617-5468
Datum: 2002
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige