Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI), 30. September - 3.Oktober 2002 in Dortmund. P-19, 819-823 (2002).

GI, Gesellschaft für Informatik, Bonn
2002


Editors

Sigrid E. Schubert (ed.), Bernd Reusch (ed.), Norbert Jesse (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Model Checking im Automotivbereich

Hans-Werner Wiesbrock , Heiko Dörr and Hans Jürgen Holberg

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.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-348-2


Last changed 04.10.2013 17:55:49