Model Checking im Automotivbereich

Abstract
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.
  • Citation
  • 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 View/Open

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

More Info

ISBN: 3-88579-348-2
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2002
Language: de (de)
Content Type: Text/Conference Paper
Collections

Show full item record