research-article

xCPS: a tool to explore cyber physical systems

Authors:

Shreya Adyanthaya,

Hadi Alizadeh Ara,

Amir Behrouzian,

Róbinson Medina Sánchez,

Joost van Pinxten,

Bram van der Sanden,

Henk Corporaal,

Raymond Frijns,

Martijn Hendriks,

Michel Reniers,

Jeroen VoetenAuthors Info & Claims

ACM SIGBED Review, Volume 14, Issue 1

Pages 81 - 95

https://doi.org/10.1145/3036686.3036696

Published: 05 January 2017 Publication History

Abstract

Cyber-Physical Systems (CPS) play an important role in the modern high-tech industry. Designing such systems is an especially challenging task due to the multi-disciplinary nature of these systems, and the range of abstraction levels involved. To facilitate hands-on experience with such systems, we develop a cyber-physical platform that aids in both research and education on CPS. This paper describes this platform, which contains all typical CPS components. The platform is used in various research and education projects for bachelor, master, and PhD students. We discuss the platform and illustrate its use with a number of projects and the educational opportunities they provide.

References

[1]

S. Adyanthaya, M. Geilen, T. Basten, R. Schiffelers, B. Theelen, and J. Voeten. Fast multiprocessor scheduling with fixed task binding of large scale industrial cyber physical systems. In Digital System Design (DSD), Euromicro Conf. on, pages 979--988, 2013.

Digital Library

[2]

S. Adyanthaya, Z. Zhang, M. Geilen, J. Voeten, T. Basten, and R. Schiffelers. Robustness analysis of multiprocessor schedules. In Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Int. Conf. on, pages 9--17, 2014.

[3]

J. Axelsson, A. Kobetski, Z. Ni, S. Zhang, and E. Johansson. Moped: A mobile open platform for experimental design of cyber-physical systems. In Software Engineering and Advanced Applications (SEAA), 40th EUROMICRO Conf. on, pages 423--430, 2014.

Digital Library

[4]

J. Baeten, J. van de Mortel-Fronczak, and J. Rooda. Integration of supervisory control synthesis in model-based systems engineering. Proc. of Special Int. Conf. on Complex Systems: Synergy, of Control, Communications and Computing, pages 167--178, 2011.

[5]

J. Bastos, S. Stuijk, J. Voeten, J. Jacobs, R. Schiffelers, and H. Corporaal. Modeling resource sharing using SADF. In Formal Methods and Models for Codesign (MEMOCODE), 13th IEEE/ACM Int. Conf. on, 2015.

Digital Library

[6]

I. Boussaïd, J. Lepagnot, and P. Siarry. A survey on optimization metaheuristics. Information Sciences, pages 82 -- 117, 2013.

Digital Library

[7]

L. Feng. Development and applications of a vision-based unmanned helicopter. PhD thesis, 2010.

[8]

R. Fransen. Modeling a flow shop workstation using CIF. Bachelor thesis, Eindhoven University of Technology, 2015. CST 2015.077.

[9]

D. Goldberg. Genetic Algorithms. Pearson Education, 2006.

[10]

P. Gonzalez-Nalda, I. Calvo, I. Etxeberria-Agiriano, A. Garcia-Ruiz, S. Martinez-Lesta, and D. Caballero-Martin. The challenge of building a cyber physical system as an educational experience. In Information Systems and Technologies (CISTI), 9th Iberian Conference on, pages 1--6, 2014.

[11]

J. C. Jensen, E. A. Lee, and S. A. Seshia. Virtualizing cyber-physical systems: Bringing CPS to online education. In Proc. First Workshop on CPS Education (CPS-Ed), 2013.

[12]

K. Jo, J. Kim, D. Kim, C. Jang, and M. Sunwoo. Development of Autonomous Car - Part II: A Case Study on the Implementation of an Autonomous Driving System Based on Distributed Architecture. IEEE Trans. on Industrial Electronics, 0046:1--1, 2015.

[13]

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

[14]

Y. Li., J. Voeten, and R. Frijns. A model-driven design approach for an industrial-scale mechatronic system. Master thesis, Eindhoven University of Technology, 2011.

[15]

J. Magee and J. Kramer. State models and Java programs. Wiley, 1999.

[16]

F. Mondada, M. Bonani, X. Raemy, J. Pugh, C. Cianci, A. Klaptocz, S. Magnenat, J.-C. Zufferey, D. Floreano, and A. Martinoli. The e-puck, a robot designed for education in engineering. In Proc. of the 9th conference on autonomous robot systems and competitions, pages 59--65, 2009.

[17]

P. Mosterman, J. Zander, and Z. Han. The towers of hanoi as a cyber-physical system education case study. Proc. of the First Workshop on Cyber-Physical Systems Education at CPSWeek, 2013.

[18]

N. Nethercote, P. Stuckey, R. Becket, S. Brand, G. Duck, and G. Tack. MiniZinc: Towards a standard CP modelling language. In Principles and Practice of Constraint Programming, volume 4741 of Lecture Notes in Computer Science, pages 529--543. Springer Berlin Heidelberg, 2007.

Digital Library

[19]

A. Pnueli. The temporal logic of programs. In Foundations of Computer Science, 1977., 18th Annual Symposium on, pages 46--57. IEEE, 1977.

Digital Library

[20]

P. J. G. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1):206--230, 1987.

Digital Library

[21]

P. J. G. Ramadge and W. M. Wonham. The control of discrete event systems. Proc. of the IEEE, 77(1):81--98, 1989.

[22]

F. Sha and F. Pereira. Shallow parsing with conditional random fields. In Proc. of the Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology, pages 134--141, 2003.

Digital Library

[23]

M. Skoldstam, K. Åkesson, and M. Fabian. Modeling of discrete event systems using finite automata with variables. In Decision and Control, 46th IEEE Conf. on, pages 3387--3392, 2007.

[24]

S. Stuijk, M. Geilen, and T. Basten. SDF³: SDF For Free. In Application of Concurrency to System Design, 6th International Conference Proceedings, pages 276--278. IEEE, 2006.

[25]

P. Tabuada. Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media, 2009.

[26]

B. Theelen, O. Florescu, M. Geilen, J. Huang, P. van der Putten, and J. Voeten. Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. Formal Methods and Models for Codesign (MEMOCODE), 5th IEEE/ACM Int. Conf. on, pages 139--148, 2007.

[27]

B. D. Theelen, M. Geilen, T. Basten, J. Voeten, S. V. Gheorghita, and S. Stuijk. A scenario-aware data flow model for combined long-run average and worst-case performance analysis. In Formal Methods and Models for Codesign (MEMOCODE), 4th IEEE/ACM Int. Conf. on, pages 185--194, 2006.

[28]

D. A. van Beek, W. J. Fokkink, D. Hendriks, A. Hofkamp, J. Markovski, J. M. van de Mortel-Fronczak, and M. A. Reniers. CIF 3: Model-based engineering of supervisory controllers. In Tools and Algorithms for the Construction and Analysis of Systems, volume 8413 of Lecture Notes in Computer Science, pages 575--580. Springer Berlin Heidelberg, 2014.

[29]

B. van der Sanden, M. Reniers, M. Geilen, T. Basten, J. Jacobs, J. Voeten, and R. Schiffelers. Modular model-based supervisory controller design for wafer logistics in lithography machines. In Proc. of MODELS, 2015.

[30]

S. Vegt. A Fast and Robust Algorithm for the Detection of Circular Pieces in a Cyber Physical System. Bachelor thesis, Eindhoven University of Technology, 2015. available at www.es.ele.tue.nl/esreports/esr-2015-02.pdf.

[31]

U. Waqas, M. Geilen, J. Kandelaars, L. Somers, T. Basten, S. Stuijk, P. Vestjens, and H. Corporaal. A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer. In DATE, Proc. of the, pages 573--578, San Jose, CA, USA, 2015. EDA Consortium.

Cited By

Mohamadkhani AGeilen MVoeten JBasten T(2023)Modeling and analysis of switching max-plus linear systems with discrete-event feedbackDiscrete Event Dynamic Systems10.1007/s10626-023-00382-y33:3(341-372)Online publication date: 1-Sep-2023
https://dl.acm.org/doi/10.1007/s10626-023-00382-y
Kahraman GCleophas LMousavi MSchobbens P(2021)Automated derivation of variants in manufacturing systems designProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B10.1145/3461002.3473942(45-50)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461002.3473942
Sanchez RNikkhah SGoswami DHeemels MStuijk SBasten T(2021)Reconfigurable Pipelined Control SystemsIEEE Design & Test10.1109/MDAT.2020.300680338:5(17-24)Online publication date: Oct-2021
https://doi.org/10.1109/MDAT.2020.3006803
Show More Cited By

Recommendations

xCPS: A tool to eXplore Cyber Physical Systems
WESE'15: Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems Education

Cyber-Physical Systems (CPS) play an important role in the modern high-tech industry. Designing such systems is a challenging task due to the multi-disciplinary nature of these systems, and the range of abstraction levels involved. To facilitate hands-...
CPS foundations
DAC '10: Proceedings of the 47th Design Automation Conference

This paper argues that cyber-physical systems present a sub-stantial intellectual challenge that requires changes in both theories of computation and dynamical systems theory. The CPS problem is not the union of cyber and physical problems, but rather ...
Special Session TET-DEC (Teaching, Education and Training for Dependable Embedded and Cyber-Physical Systems) An E&T Use Case in a European Project
SEAA '15: Proceedings of the 2015 41st Euromicro Conference on Software Engineering and Advanced Applications

This paper is a short introduction to the TET-DEC (Teaching, Education and Training for Dependable Embedded Cyber-physical Systems) Special Session at Euro micro SEAA 2015. It provides some views from European research projects' perspectives on the role ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGBED Review

ACM SIGBED Review Volume 14, Issue 1

Special Issue on Embedded and Cyber-Physical Systems Education

October 2016

88 pages

EISSN:1551-3688

DOI:10.1145/3036686

Editors:
Martin Edin Grimheden
KTH, Sweden
,
Martin Törngren
KTH, Sweden

Issue’s Table of Contents

Copyright © 2017 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 January 2017

Published in SIGBED Volume 14, Issue 1

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
164
Total Downloads

Downloads (Last 12 months)18
Downloads (Last 6 weeks)1

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Mohamadkhani AGeilen MVoeten JBasten T(2023)Modeling and analysis of switching max-plus linear systems with discrete-event feedbackDiscrete Event Dynamic Systems10.1007/s10626-023-00382-y33:3(341-372)Online publication date: 1-Sep-2023
https://dl.acm.org/doi/10.1007/s10626-023-00382-y
Kahraman GCleophas LMousavi MSchobbens P(2021)Automated derivation of variants in manufacturing systems designProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B10.1145/3461002.3473942(45-50)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461002.3473942
Sanchez RNikkhah SGoswami DHeemels MStuijk SBasten T(2021)Reconfigurable Pipelined Control SystemsIEEE Design & Test10.1109/MDAT.2020.300680338:5(17-24)Online publication date: Oct-2021
https://doi.org/10.1109/MDAT.2020.3006803
Matheus CFilho N(2021)Uma Contribuição para o Estabelecimento de um Catálogo de Requisitos para os Sistemas Ciber-Físicos no Contexto da Indústria 4.02021 14th IEEE International Conference on Industry Applications (INDUSCON)10.1109/INDUSCON51756.2021.9529672(300-307)Online publication date: 15-Aug-2021
https://doi.org/10.1109/INDUSCON51756.2021.9529672
van der Sanden BBlankenstein YSchiffelers RVoeten J(2021)LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)10.1109/CASE49439.2021.9551412(1-8)Online publication date: 23-Aug-2021
https://doi.org/10.1109/CASE49439.2021.9551412
Priyadarshini IKumar RTuan LSon LLong HSharma RRai S(2021)A new enhanced cyber security framework for medical cyber physical systemsSICS Software-Intensive Cyber-Physical Systems10.1007/s00450-021-00427-335:3-4(159-183)Online publication date: 23-Mar-2021
https://doi.org/10.1007/s00450-021-00427-3
Nair BRam DPanda MBalaji AKumar TMohan V(2020)Future Engineering Curricula: Balancing Domain Competence with CPS ReadinessIEEE Design & Test10.1109/MDAT.2020.301211037:6(16-23)Online publication date: Dec-2020
https://doi.org/10.1109/MDAT.2020.3012110
Medina RStuijk SGoswami DBasten T(2019)Implementation-aware design of image-based control with on-line measurable variable-delay2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE.2019.8714840(240-245)Online publication date: Mar-2019
https://doi.org/10.23919/DATE.2019.8714840
Medina RValencia JStuijk SGoswami DBasten T(2019)Designing a Controller with Image-based Pipelined Sensing and Additive UncertaintiesACM Transactions on Cyber-Physical Systems10.1145/33260673:3(1-26)Online publication date: 12-Sep-2019
https://dl.acm.org/doi/10.1145/3326067
Lieu Tran TTörngren MNguyen HPaulen RGleason NDuong T(2019)Trends in preparing cyber-physical systems engineersCyber-Physical Systems10.1080/23335777.2019.1600034(1-27)Online publication date: 12-Apr-2019
https://doi.org/10.1080/23335777.2019.1600034
Show More Cited By

View Options

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 Issue’s Table of Contents