### Democar Example

The so called Democar model presented in the AMALTHEA example files describe a simple engine management system.

#### Origin

The Democar example is loosely based on the publicly available information taken from

> A Timing Model for Real-Time Control-Systems and its Application
> on Simulation and Monitoring of AUTOSAR Systems
> Author: Patrick Frey

A version of the dissertation can be downloaded from University of Ulm: pdf.

#### Files

democar.amxmi
contains the complete model, consisting of a hardware model, a model of the operating system, a stimulation model and a model that describes the software system.

trace-example.atdb
is an AMALTHEA Trace Database and it contains a trace that is the result of a simulation of this example.