Automated Sensor Firmware Development – Generation, Optimization, and Analysis

Konferenz: MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
08.04.2019 - 08.04.2019 in Kaiserslautern, Deutschland

Tagungsband: MBMV 2019

Seiten: 12Sprache: EnglischTyp: PDF

Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt

Rudolf, Jens; Haubelt, Christian (Institute of Applied Microelectronics and Computer Engineering, University of Rostock, 18051 Rostock, Germany)
Strobel, Manuel; Radetzki, Martin (Chair of Embedded Systems, University of Stuttgart, 70569 Stuttgart, Germany†)
Benz, Joscha; Bringmann, Oliver (Embedded Systems Department, University of Tübingen, 72076 Tübingen, Germany‡)

Embedded systems design has lately become particularly challenging due to fast increasing system complexities, realtime demands and reliability requirements. At the same time, designs are constrained by stringent power budgets, limited memory capacity and short time-to-markets. Recently, various methods to automatically generate, analyze, and optimize different stages of the design flow have been investigated. The evaluation of these methods, however, often focuses on a single associated field of research and thus may not consider the domain-crossing effects that stem from the interaction of different design methods. This paper presents a complete and fully automated workflow that covers model-based generation, analysis, and optimization aspects for embedded firmware and demonstrates it on a virtual system prototype of a typical inertial sensor node. We illustrate the integration of different design and evaluation methods on a realistic example and show potential opportunities for the application of gathered information in order to improve the design.