MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
All proceedings of this conference

Model-based Analysis of Sensor-Subsystems Using Scenario-Aware Dataflow Graphs

Conference: MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
03/19/2020 - 03/20/2020 at Stuttgart, Deutschland

Proceedings: GMM-Fb. 96: MBMV 2020

Pages: 9Language: englishTyp: PDF

Authors:
Rudolf, Jens; Gruetzmacher, Florian; Haubelt, Christian (University of Rostock, Rostock, Germany)

Abstract:
The increasing use of sensor subsystems in modern embedded systems as well as the increasing complexity of their firmware requires a model-based design approach to meet the stringent requirements of timing behavior, power consumption, and time-to-market in development. This paper proposes a firmware model based on Scenario-Aware Data Flow (SADF) graphs and shows its suitability for obtaining estimates of critical properties such as timing, jitter, and energy consumption early in the design process.