Change search
ReferencesLink to record
Permanent link

Direct link
Cyber-physical system design contracts
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0002-4300-885X
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)
Abstract [en]

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.
Keyword [en]
Central point, Cyber physical systems (CPSs), Cyber-physical systems (CPS), Design approaches, Interdomain communication, Model and simulation, Negotiation process, System property
National Category
Engineering and Technology
URN: urn:nbn:se:kth:diva-136120DOI: 10.1145/2502524.2502540ScopusID: 2-s2.0-84883096881ISBN: 978-145031996-6OAI: diva2:675619
4th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013; Philadelphia, PA, United States, 8-11 April 2013

QC 20131204

Available from: 2013-12-04 Created: 2013-12-03 Last updated: 2013-12-06Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Törngren, Martin
By organisation
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 131 hits
ReferencesLink to record
Permanent link

Direct link