Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

Sönke Holthusen, Sophie Quinton, Ina Schaefer +2

In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal…