Contract-based compositional synthesis of distributed controllers

Damm, Werner and Finkbeiner, Bernd and Rakow, Astrid
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.
June / 2016