15 citations · 21 across the 12 of their papers we have counts for
Showing 2016 · cs.SEShow all
2 papers · 2 filters
cs.SE2016
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…
cs.SE2016
Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems
Matthias Kowal, Ina Schaefer
Automation systems exist in many variants and may evolve over time in order to deal with different environment contexts or to fulfill changing customer requirements. This induces a…