25/2007 : Abstraction Techniques for Extracted Automata Models

RR Number

25/2007

Conference

Proceedings of the Junior Researcher Workshop on Real-Time Computing 2007

Author(s)

Susanne Kandl

Abstract

In this paper we present the application of abstraction techniques for automata models. We give an overview on a state-of-the-art method to reduce the complexity of an automaton model without loosing essential information on the behavior of the modeled system (predicate abstraction). We focus on the applicability of the presented methods, especially on models that are directly extracted from the C source code of a system. We present the process for automated model extraction that yields an automaton model we can use for a verification and testing framework. We show how to apply different abstraction techniques on a case study from the automotive domain and evaluate the resulting state space reduction.

Bibtex

@InProceedings{ kandl:2007-25,
  author =       "Susanne Kandl",
  title =        "Abstraction Techniques for Extracted Automata Models",
  booktitle =      "Proceedings of the Junior Researcher Workshop on Real-Time Computing 2007",
  year =         "2007",
  month =        "Mar.",
  address =      {Nancy, France}
}

Download

Get kandl_nancy_final.pdf - Adobe PDF-format, (52.46 KB; posted at April 02 2007; )