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

Konferenz: MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
19.03.2020 - 20.03.2020 in Stuttgart, Deutschland

Tagungsband: GMM-Fb. 96: MBMV 2020

Seiten: 9Sprache: EnglischTyp: PDF

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

Inhalt:
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.