Export

BIB

Alle Autoren

Philipp Ittershagen and Kim Grüttner and Wolfgang Nebel

Buchtitel

Workshop on Software and Compilers for Embedded Systems (SCOPES'16)

Zusammenfassung

In this paper, a monitoring framework for observing properties of tasks running on a multi-processor platform is proposed. We describe the implementation of the framework on a TLM-based virtual platform containing an ARM Cortex A9 multi-core instruction-set simulator and shared memory modules. An application model consisting of periodic tasks and communication channels is used to demonstrate the applicability of the monitoring framework. Based on the application model, we describe a method for deriving a monitor implementation at design time that is able to check theexecution order and the platform mapping during run-time. The model is implemented on top of a POSIX-compatible real-time operating system and the monitor is instantiated as a TLM component in the virtual platform. The monitor implementation is then able to check the execution order and the platform mapping of the application against the specification at run-time. Finally, we discuss the monitoring capability and its contribution to a safety concept for fail-safe systems.

Erscheinungsdatum

5 / 2016

Publikationstyp

inproceedings

Projekte

EMC²
Embedded Multi-Core systems for Mixed criticality applications in dynamic and changeable real-time environments (nur in Englisch verfügbar)