Better Late Than Never Verification of Embedded Systems After Deployment

Beschreibung

This paper investigates the benefits of verifying embedded systems after deployment. We argue that one reason for the huge state spaces of contemporary embedded and cyberphysical systems is the large variety of operating contexts, which are unknown during design. Once the system is deployed, these contexts become observable, confining several variables. By this, the search space is dramatically reduced, making verification possible even on the limited resources of a deployed system. In this paper, we propose a design and verification flow which exploits this observation. We show how specifications are transferred to the deployed system and verified there. Evaluations on a number of case studies demonstrate the reduction of the search space, and we sketch how the proposed approach can be employed in practice.

Zeitraum	26 März 2019
Ereignistitel	Design, Automation and Test in Europe (DATE 2019)
Veranstaltungstyp	Konferenz
Ort	Florenz, ItalienAuf Karte anzeigen