Cyber-physical system design contracts
2013 (English)In: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013, IEEE , 2013, 109-118 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
IEEE , 2013. 109-118 p.
Central point, Cyber physical systems (CPSs), Cyber-physical systems (CPS), Design approaches, Interdomain communication, Model and simulation, Negotiation process, System property
Engineering and Technology
IdentifiersURN: urn:nbn:se:kth:diva-136120DOI: 10.1145/2502524.2502540ScopusID: 2-s2.0-84883096881ISBN: 978-145031996-6OAI: oai:DiVA.org:kth-136120DiVA: diva2:675619
4th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013; Philadelphia, PA, United States, 8-11 April 2013
QC 201312042013-12-042013-12-032013-12-06Bibliographically approved