[Back]


Talks and Poster Presentations (with Proceedings-Entry):

S. Kandl:
"Abstraction Techniques for Extracted Automata Models";
Talk: International Conference on Real-Time and Network Systems (RTNS), Nancy; 2007-03-29 - 2007-03-30; in: "Junior Researcher Workshop on Real-Time Computing 2007 (JRWRTC´07)", (2007), 35 - 38.



English 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.

Keywords:
Modeling, Abstraction, Predicate Abstraction, Model Checking, Test Case Generation

Created from the Publication Database of the Vienna University of Technology.