Contracting challenges for system design and integration
Mischa Möstl, Rolf Ernst · ACM SIGBED Review · 2017
In this paper we highlight challenges of the applicability of contracting (based on assumptions and guarantees) for cyber-physical systems design. We illustrate in an example the limitations of an entirely composability-centered contracting approach. An alternative approach is subsequently proposed and applied to the presented example to illustrate that it is capable of handling the limitations demonstrated for the composable approach.