Change search
ReferencesLink to record
Permanent link

Direct link
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 (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
URN: urn:nbn:se:kth:diva-164159DOI: 10.1145/2508443.2508452ScopusID: 2-s2.0-84883027106ISBN: 978-1-4503-1805-1OAI: diva2:803896
6th International Workshop on Multi-Paradigm Modeling (MPM), Innsbruck, Austria, October, 2012

QC 20150521

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

Open Access in DiVA

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

Other links

Publisher's full textScopusProceedings at ACM Digital library

Search in DiVA

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

Search outside of DiVA

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

Altmetric score

Total: 34 hits
ReferencesLink to record
Permanent link

Direct link