Better Late Than Never Verification of Embedded Systems After Deployment
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
Design, Automation and Test in Europe (DATE)
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
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.