Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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
Identifiers
URN: urn:nbn:se:kth:diva-136120DOI: 10.1145/2502524.2502540Scopus ID: 2-s2.0-84883096881ISBN: 978-145031996-6 (print)OAI: oai:DiVA.org:kth-136120DiVA: diva2:675619
Conference
4th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013; Philadelphia, PA, United States, 8-11 April 2013
Note

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

Authority records BETA

Törngren, Martin

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 150 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf