Sökning: "Assume-Guarantee Contracts"

Hittade 1 avhandling innehållade orden Assume-Guarantee Contracts.

1. 1. Designing Trustworthy Autonomous Systems

   Författare :Piergiuseppe Mallozzi; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; System Trustworthiness; Reactive Synthesis; Monitoring and enforcement; Assume-Guarantee Contracts; Runtime verification; Autonomous Systems; Formal Verification; Reinforcement Learning;

   Sammanfattning : The design of autonomous systems is challenging and ensuring their trustworthiness can have different meanings, such as i) ensuring consistency and completeness of the requirements by a correct elicitation and formalization process; ii) ensuring that requirements are correctly mapped to system implementations so that any system behaviors never violate its requirements; iii) maximizing the reuse of available components and subsystems in order to cope with the design complexity; and iv) ensuring correct coordination of the system with its environment. Several techniques have been proposed over the years to cope with specific problems. LÄS MER