Export

BIB

All authors

Damm, Werner and Finkbeiner, Bernd and Rakow, Astrid

Abstract

We present methods build on recent foundational results on compositional synthesis automating three design steps in contract-based system design, and illustrate these for an Advanced Driver Assistance System combining Automatic Cruise Control and Automatic Lane keeping. The design steps we consider are (i) the characterization of library elements, (ii) incremental system design, and (iii) supporting the OEM/supplier interface by synthesizing contracts for subsystems to be developed independently by suppliers.

Publishing date

June / 2016

Type of Publication

techreport

Series

ATR