September 19, 2013: Using contracts for the design and verification of complex embedded systems

  • Speaker: Sophie Quinton
  • Title: Using contracts for the design and verification of complex embedded systems
  • Abstract: Contracts are widely used for the conception of large component-based systems as a way to clearly identify responsibilities in order to separate the implementation work from the integration phase. In this talk, I will present an overview of some important concepts in contract theories, such as consistency, compatibility etc. and explain how these are used for the conception and verification of complex embedded systems. I will then describe one application of contracts to changing embedded systems, namely the EPOC project. Finally, in the last part of the talk, I will relate the state of the art to the CCC project and present some new directions that can be explored there.