Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems
University of California, Berkeley and Linköping University.ORCID iD: 0000-0001-8457-4105
University of California, Berkeley.
University of California, Berkeley.
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0002-4300-885X
2012 (English)In: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (MPM), Association for Computing Machinery (ACM), 2012, 49-54 p.Conference paper, Published paper (Refereed)
Abstract [en]

Cyber-physical systems (CPS) are becoming indispensable in our modern way of life. As an application domain CPS is not new. As an intellectual discipline, however, it is. This paper focuses on CPS modeling, which is an essential activity in CPS design, with multiple challenges. In particular, stakeholders lack a systematic framework and guidelines to help them choose among the many available modeling languages and tools. We propose such a framework in this paper. Our framework consists of three elements: viewpoints, which capture the stakeholders’ interests and concerns; concrete languages and tools, among which the stakeholders must make a selection when defining their CPS design environments; and abstract, mathematical formalisms, which are the “semantic glue” linking the two worlds. As part of the framework, we survey various formalisms, languages, and tools and explain how they are related. We also provide examples of viewpoints and discuss how they are related to formalisms.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2012. 49-54 p.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-164159DOI: 10.1145/2508443.2508452Scopus ID: 2-s2.0-84883027106ISBN: 978-1-4503-1805-1 (print)OAI: oai:DiVA.org:kth-164159DiVA: diva2:803896
Conference
6th International Workshop on Multi-Paradigm Modeling (MPM), Innsbruck, Austria, October, 2012
Note

QC 20150521

Available from: 2015-04-14 Created: 2015-04-14 Last updated: 2015-06-16Bibliographically approved

Open Access in DiVA

fulltext(547 kB)44 downloads
File information
File name FULLTEXT01.pdfFile size 547 kBChecksum SHA-512
443a0fbd926064d94960b34e2e71b70fcda4827324b6a3a4702178ba8859287fc4d9ab1b0c15a0fe0d2c0083250e615141495976cb7fe229a755b67a71fe9b55
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopusProceedings at ACM Digital library

Authority records BETA

Broman, DavidTörngren, Martin

Search in DiVA

By author/editor
Broman, DavidTörngren, Martin
By organisation
Mechatronics
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 44 downloads
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

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • 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