Automatic transformation of abstract AUTOSAR architectures to timed automata.

Stefan Neumann Norman Kluge Sebastian Wätzoldt

Published in: ACES-MB@MoDELS (2012)

Keyphrases

timed automata
model checking
higher level
real time systems
reachability analysis
information retrieval
image processing
first order logic
database
data structure
data model
data driven
fully automatic
theorem proving
linear transformation