*banner
 

Cyber-Physical System Design Contracts
Patricia Derler, Edward A. Lee, Martin Torngren, Stavros Tripakis

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

You are not logged in 
©2002-2017 Chess