Citation
Patricia Derler, Edward A. Lee, Martin Torngren, Stavros Tripakis. "Cyber-Physical System Design Contracts". ICCPS '13: ACM/IEEE 4th International Conference on Cyber-Physical Systems, 10, April, 2013.

Abstract
This paper introduces design contracts between control and embedded software engineers for building Cyber-Physical Systems (CPS). CPS design involves a variety of disciplines mastered by teams of engineers with diverse backgrounds. Many system properties influence the design in more than one discipline. The lack of clearly defined interfaces between disciplines burdens the interaction and collaboration. We show how design contracts can facilitate interaction between 2 groups: control and software engineers. A design contract is an agreement on certain properties of the system. Every party specifies requirements and assumptions on the system and the environment. This contract is the central point of inter-domain communication and negotiation. Designs can evolve independently if all parties agree to a contract or designs can be modified iteratively in negotiation processes. The main challenge lies in the definition of a concise but sufficient contract. We discuss design contracts that specify timing and functionality, two important properties control and software engineers have to agree upon. Various design approaches have been established and implemented successfully to address timing and functionality. We formulate those approaches as design contracts and propose guidelines on how to choose, derive and employ them. Modeling and simulation support for the design contracts is discussed using an illustrative example.

Electronic downloads

• paper_cameraready_2_7_2013.pdf · application/pdf · 2803 kbytes
• http://dx.doi.org/10.1145/2502524.2502540. (In Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, pp 109-118.)

• HTML

  Patricia Derler, Edward A. Lee, Martin Torngren, Stavros
  Tripakis. <a
  href="http://chess.eecs.berkeley.edu/pubs/959.html"
  >Cyber-Physical System Design Contracts</a>, ICCPS
  '13: ACM/IEEE 4th International Conference on Cyber-Physical
  Systems, 10, April, 2013.

• Plain text

  Patricia Derler, Edward A. Lee, Martin Torngren, Stavros
  Tripakis. "Cyber-Physical System Design
  Contracts". ICCPS '13: ACM/IEEE 4th International
  Conference on Cyber-Physical Systems, 10, April, 2013.

• BibTeX

  @inproceedings{DerlerLeeTorngrenTripakis13_CyberPhysicalSystemDesignContracts,
      author = {Patricia Derler and Edward A. Lee and Martin
                Torngren and Stavros Tripakis},
      title = {Cyber-Physical System Design Contracts},
      booktitle = {ICCPS '13: ACM/IEEE 4th International Conference
                on Cyber-Physical Systems},
      day = {10},
      month = {April},
      year = {2013},
      abstract = {This paper introduces design contracts between
                control and embedded software engineers for
                building Cyber-Physical Systems (CPS). CPS design
                involves a variety of disciplines mastered by
                teams of engineers with diverse backgrounds. Many
                system properties influence the design in more
                than one discipline. The lack of clearly defined
                interfaces between disciplines burdens the
                interaction and collaboration. We show how design
                contracts can facilitate interaction between 2
                groups: control and software engineers. A design
                contract is an agreement on certain properties of
                the system. Every party specifies requirements and
                assumptions on the system and the environment.
                This contract is the central point of inter-domain
                communication and negotiation. Designs can evolve
                independently if all parties agree to a contract
                or designs can be modified iteratively in
                negotiation processes. The main challenge lies in
                the definition of a concise but sufficient
                contract. We discuss design contracts that specify
                timing and functionality, two important properties
                control and software engineers have to agree upon.
                Various design approaches have been established
                and implemented successfully to address timing and
                functionality. We formulate those approaches as
                design contracts and propose guidelines on how to
                choose, derive and employ them. Modeling and
                simulation support for the design contracts is
                discussed using an illustrative example. },
      URL = {http://chess.eecs.berkeley.edu/pubs/959.html}
  }
  

Posted by Patricia Derler on 7 Feb 2013.
Groups: actionwebs ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.