Automatic transformation of abstract AUTOSAR architectures to timed automata

Authors:
Stefan Neumann;Norman Kluge;Sebastian Wätzoldt
Affiliations:
Hasso-Plattner Institute at the University of Potsdam, Germany;Hasso-Plattner Institute at the University of Potsdam, Germany;Hasso-Plattner Institute at the University of Potsdam, Germany
Venue:
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Year:
2012

Citing 4
Cited 0

A theory of timed automata

Theoretical Computer Science
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications

Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Testing Enbredded Software

Testing Enbredded Software
Timing simulation of interconnected AUTOSAR software-components

Proceedings of the conference on Design, automation and test in Europe

Quantified Score

Hi-index	0.00

Visualization

Abstract

The AUTomotive Open System ARchitecture (AUTOSAR) is the emerging standard for the development of real-time embedded automotive systems. Several tools exist that support the development as well as the analysis of AUTOSAR systems. Simulation environments use models or generated source code for testing and scenario-based simulation purposes. Unfortunately, there is a lack of methods and tools supporting the early timing analysis of AUTOSAR systems. In this work, we show how to automatically transform a given AUTOSAR architecture to an interconnected set of timed automata that represents the state-based timing behavior of the system. The derived timed automata models are used for analyzing the timing behavior in an early development stage. Furthermore, we show how to analyze the resulting timing behavior supporting abstract and incomplete AUTOSAR systems using the tool UPPAAL.