poster

Viewpoints, formalisms, languages, and tools for cyber-physical systems

Authors:

Stavros Tripakis,

Martin TörngrenAuthors Info & Claims

MPM '12: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling

Pages 49 - 54

https://doi.org/10.1145/2508443.2508452

Published: 01 October 2012 Publication History

Abstract

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.

References

[1]

Accellera Organization. Verilog-AMS Language Reference Manual - Analog & Mixed-Signal Extensions to Verilog HDL Version 2.3.1, 2009.

[2]

R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.

Digital Library

[3]

R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, 1994.

Digital Library

[4]

D. Broman and J. G. Siek. Modelyze: a gradually typed host language for embedding equation-based modeling languages. Technical Report UCB/EECS-2012-173, EECS Dept., University of California, Berkeley, June 2012.

[5]

M. Broy, M. Feilkas, M. Herrmannsdoerfer, S. Merenda, and D. Ratiu. Seamless model-based development: From isolated tools to integrated model engineering environments. Proc. of the IEEE, 98(4):526--545, 2010.

[6]

L. P. Carloni, R. Passerone, A. Pinto, and A. L. Angiovanni-Vincentelli. Languages and tools for hybrid systems design. Found. Trends Electron. Des. Autom., 1:1--193, January 2006.

Digital Library

[7]

F. E. Cellier. Continuous System Modeling. Springer-Verlag, New York, USA, 1991.

Digital Library

[8]

A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In CAV '02, 2002.

Digital Library

[9]

C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The Tool KRONOS. In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control, volume 1066 of LNCS, pages 208--219. Springer, 1996.

Digital Library

[10]

J. de Lara and H. Vangheluwe. AToM 3: A Tool for Multi-formalism and Meta-modelling. In Fundamental approaches to software engineering, volume 2306 of LNCS, pages 174--188. Springer-Verlag, 2002.

Digital Library

[11]

P. Derler, E. A. Lee, and A. Sangiovanni-Vincentelli. Modeling cyber-physical systems. Proc. of the IEEE, 100(1):13--28, January 2012.

[12]

J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. Taming heterogeneity -- the Ptolemy approach. Proc. of the IEEE, 91(1):127--144, Jan. 2003.

[13]

J. El-khoury, D. Chen, and M. Törngren. A survey of modeling approaches for embedded computer control systems. Technical Report 2003:36, KTH, 2003.

[14]

M. Geilen, S. Tripakis, and M. Wiggers. The earlier the better: A theory of timed actor interfaces. In Hybrid Systems: Computation and Control. ACM, 2011.

Digital Library

[15]

E. Hairer, S. P. Nørsett, and G. Wanner. Solving ordinary differential equations: Nonstiff problems. Springer, 1993.

Digital Library

[16]

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data flow programming language LUSTRE. Proc. of the IEEE, 79(9):1305--1320, 1991.

[17]

D. Harel. Statecharts: A visual formalism for complex systems. Sci. Comput. Program., 8:231--274, 1987.

Digital Library

[18]

D. Henriksson, O. Redell, J. El-Khoury, M. Törngren, and K. Arzén. Tools for real-time control systems co-design -- a survey. ISRN LUTFD2/TFRT-7612-SE, Dept. of Automatic Control, Lund Institute of Technology, 2005.

[19]

T. Henzinger, B. Horowitz, and C. Kirsch. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE, 91(1):84--99, 2003.

Digital Library

[20]

G. J. Holzmann. The SPIN Model Checker. Addison-Wesley, 2003.

[21]

IEEE 1706.1 Working Group. IEEE Std 1076.1-1999, IEEE Standard VHDL Analog and Mixed-Signal Extensions. IEEE Press, New York, USA, 1999.

[22]

ISO/IEC/IEEE 42010:2011. Systems and software engineering - Architecture description, the latest edition of the original IEEE Std 1471:2000, Recommended Practice for Architectural Description of Software-intensive Systems. IEEE and ISO, 2011.

[23]

G. Kahn. The semantics of a simple language for parallel programming. In Information Processing 74, Proceedings of IFIP Congress 74. North-Holland, 1974.

[24]

Z. Kohavi. Switching and finite automata theory, 2nd ed. McGraw-Hill, 1978.

Digital Library

[25]

P. Kunkel and V. Mehrmann. Differential-Algebraic Equations Analysis and Numerical Solution. European Mathematical Society, 2006.

[26]

K. Larsen, P. Pettersson, and W. Yi. Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer (STTT), 1(1):134--152, 1997.

[27]

E. Lee and D. Messerschmitt. Synchronous data flow. Proc. of the IEEE, 75(9):1235--1245, 1987.

[28]

J. Lygeros. Lecture notes on hybrid systems, 2004.

[29]

H. Nilsson, J. Peterson, and P. Hudak. Functional Hybrid Modeling. In Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, volume 2562 of LNCS, pages 376--390, Jan. 2003.

Digital Library

[30]

C.-J. Sjöstedt. Modeling and Simulation of Physical Systems in a Mechatronic Context. PhD thesis, KTH School of Industrial Engineering and Management, 2009.

[31]

S. Stuijk, M. Geilen, and T. Basten. Throughput-buffering trade-off exploration for cyclo-static and synchronous dataflow graphs. Computers, IEEE Transactions on, 57(10):1331--1345, Oct. 2008.

Digital Library

[32]

N. Trcka, M. Hendriks, T. Basten, M. Geilen, and L. J. Somers. Integrated model-driven design-space exploration for embedded systems. In ICSAMOS, pages 339--346, 2011.

[33]

R. K. Yates. Networks of real-time processes. In E. Best, editor, Proc. of the 4th Int. Conf. on Concurrency Theory (CONCUR), volume LNCS 715. Springer-Verlag, 1993.

Digital Library

[34]

B. P. Zeigler, H. Praehofer, and T. G. Kim. Theory of Modeling and Simulation. Academic Press, 2 edition, 2000.

Digital Library

Cited By

Broman DWoodcock J(2023)What are the fundamental software abstractions for designing reliable cyber-physical systems operating in uncertain environments?Research Directions: Cyber-Physical Systems10.1017/cbp.2023.41Online publication date: 24-Jul-2023
https://doi.org/10.1017/cbp.2023.4
Liao YAdegbija TLysecky R(2022)A high-level synthesis approach for precisely-timed, energy-efficient embedded systemsSustainable Computing: Informatics and Systems10.1016/j.suscom.2022.10074135(100741)Online publication date: Sep-2022
https://doi.org/10.1016/j.suscom.2022.100741
Schaffeld MWeis T(2021)Towards Robust Models of Cyber-Physical SystemsAdjunct Proceedings of the 2021 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2021 ACM International Symposium on Wearable Computers10.1145/3460418.3479314(104-107)Online publication date: 21-Sep-2021
https://dl.acm.org/doi/10.1145/3460418.3479314
Show More Cited By

Index Terms

Viewpoints, formalisms, languages, and tools for cyber-physical systems
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Theory of computation
  1. Models of computation

Recommendations

Towards a theory for cyber-physical systems modeling
CyPhy '14: Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems

Modeling the heterogeneous composition of physical, computational and communication systems is an important challenge in engineering Cyber-Physical Systems (CPS), where the major sources of heterogeneity are causality, time semantics, and different ...
Cyber-Physical Systems: Integrated Computing and Engineering Design
Modeling Automotive Cyber Physical Systems
DCABES '13: Proceedings of the 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science

Automotive cyber physical systems (CPSs) involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans. However, automotive cyber ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

MPM '12: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling

October 2012

78 pages

ISBN:9781450318051

DOI:10.1145/2508443

Conference Chairs:
Cécile Hardebolle
Supelec E3S, Gif-sur-Yvette, France
,
Eugene Syriani
University of Alabama, Tuscaloosa AL
,
Jonathan Sprinkle
University of Arizona, Tucson AZ
,
Tamás Mészáros
Budapest University of Technology and Economics, Budapest, Hungary

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Poster

Funding Sources

Conference

MODELS '12

Sponsor:

SIGSOFT

MODELS '12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems

October 1, 2012

Innsbruck, Austria

Acceptance Rates

MPM '12 Paper Acceptance Rate 6 of 20 submissions, 30%;

Overall Acceptance Rate 6 of 20 submissions, 30%

Upcoming Conference

EuroSys '25

Sponsor:
sigops

Twentieth European Conference on Computer Systems

March 30 - April 3, 2025

Rotterdam , Netherlands

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

57
Total Citations
View Citations
477
Total Downloads

Downloads (Last 12 months)34
Downloads (Last 6 weeks)2

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Broman DWoodcock J(2023)What are the fundamental software abstractions for designing reliable cyber-physical systems operating in uncertain environments?Research Directions: Cyber-Physical Systems10.1017/cbp.2023.41Online publication date: 24-Jul-2023
https://doi.org/10.1017/cbp.2023.4
Liao YAdegbija TLysecky R(2022)A high-level synthesis approach for precisely-timed, energy-efficient embedded systemsSustainable Computing: Informatics and Systems10.1016/j.suscom.2022.10074135(100741)Online publication date: Sep-2022
https://doi.org/10.1016/j.suscom.2022.100741
Schaffeld MWeis T(2021)Towards Robust Models of Cyber-Physical SystemsAdjunct Proceedings of the 2021 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2021 ACM International Symposium on Wearable Computers10.1145/3460418.3479314(104-107)Online publication date: 21-Sep-2021
https://dl.acm.org/doi/10.1145/3460418.3479314
Aniculaesei AVorwald AZhang MRausch A(2021)Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C)10.1109/ICSA-C52384.2021.00036(1-10)Online publication date: Mar-2021
https://doi.org/10.1109/ICSA-C52384.2021.00036
Gaiardelli SSpellini SLora MFummi F(2021)Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.02021 Forum on specification & Design Languages (FDL)10.1109/FDL53530.2021.9568371(01-08)Online publication date: 8-Sep-2021
https://doi.org/10.1109/FDL53530.2021.9568371
Rahatulain AQureshi TMaffei AOnori M(2021)Relationship and dependencies between factors affecting new product development process: an industrial case studyProcedia CIRP10.1016/j.procir.2021.05.086100(367-372)Online publication date: 2021
https://doi.org/10.1016/j.procir.2021.05.086
Liu BZhang YCao XLiu YGu BWang T(2020)A survey of model-driven techniques and tools for cyber-physical systemsFrontiers of Information Technology & Electronic Engineering10.1631/FITEE.200031121:11(1567-1590)Online publication date: 20-Nov-2020
https://doi.org/10.1631/FITEE.2000311
Saez MMaturana FBarton KTilbury D(2020)Context-Sensitive Modeling and Analysis of Cyber-Physical Manufacturing Systems for Anomaly Detection and DiagnosisIEEE Transactions on Automation Science and Engineering10.1109/TASE.2019.291856217:1(29-40)Online publication date: Jan-2020
https://doi.org/10.1109/TASE.2019.2918562
Klikovits SBuchs D(2020)Pragmatic reuse for DSML developmentSoftware and Systems Modeling10.1007/s10270-020-00831-4Online publication date: 14-Oct-2020
https://doi.org/10.1007/s10270-020-00831-4
Xu MWang L(2020)Formal Verification, Testing, and Inspection for Intelligent ServicesIntelligent Mobile Service Computing10.1007/978-3-030-50184-6_3(33-53)Online publication date: 25-Sep-2020
https://doi.org/10.1007/978-3-030-50184-6_3
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents