Fig 5 - available via license: Creative Commons Attribution 4.0 International
Content may be subject to copyright.
A simplified example of contracts allocated to components (I), (i) and (ii). If the assumes of the components are fulfilled they can guarantee the output.
Source publication
p>In recent years, the enormous investments in Automated Driving Systems (ADSs) have distinctly advanced ADS technologies. Despite promises made by several high profile auto-makers, it has however become clear that the challenges involved for deploying ADS have been drastically underestimated. This paper focuses on the challenge of providing suffic...
Context in source publication
Context 1
... a failed assertion of the contract would result in an exception. In [71], Benveniste et al. provide a formalisation of Assume-Guarantee (A/G) contracts for system design, describing the preconditions (assumes) and postconditions (guarantees) for the system elements. A simple example of such contracts, allocated on component level, is depicted in Fig. ...
