skip to main content
10.1145/2832920.2832923acmconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
research-article

xCPS: A tool to eXplore Cyber Physical Systems

Published: 04 October 2015 Publication History

Abstract

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-on experience with such systems, we develop a cyber-physical platform that aids in 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 a number of projects and the educational opportunities they provide.

References

[1]
S. Adyanthaya et al. Robustness analysis of multiprocessor schedules. In Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), 2014 Int. Conf. on, pages 9--17, 2014.
[2]
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), 2013 Euromicro Conf. on, pages 979--988, Sept 2013.
[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), 2014 40th EUROMICRO Conf. on, pages 423--430, Aug 2014.
[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]
L. Feng. Development and applications of a vision-based unmanned helicopter. National University of Singapure, 2010.
[6]
R. Fransen. Modeling a flow shop workstation using CIF. Bachelor thesis, 2015. CST 2015.077.
[7]
D. Goldberg. Genetic Algorithms. Pearson Education, 2006.
[8]
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), 2014 9th Iberian Conference on, pages 1--6, June 2014.
[9]
J. C. Jensen, E. A. Lee, and S. A. Seshia. Virtualizing cyber-physical systems: Bringing CPS to online education. 2013.
[10]
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.
[11]
E. Lee, D. G. Messerschmitt, et al. Synchronous data flow. Proc. of the IEEE, 75(9):1235--1245, 1987.
[12]
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.
[13]
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.
[14]
M. Skoldstam, K. Åkesson, and M. Fabian. Modeling of discrete event systems using finite automata with variables. In Decision and Control, 2007 46th IEEE Conf. on, pages 3387--3392, Dec 2007.
[15]
S. Stuijk, M. Geilen, and T. Basten. SDF3: SDF For Free. In Application of Concurrency to System Design, 6th International Conference Proceedings, pages 276--278. IEEE Computer Society Press, Los Alamitos, CA, USA, June 2006.
[16]
P. Tabuada. Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media, 2009.
[17]
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), 2007 5th IEEE/ACM Int. Conf. on, pages 139--148, May 2007.
[18]
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), 2006 4th IEEE/ACM Int. Conf. on, pages 185--194, 2006.
[19]
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.
[20]
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, 2015. Accepted for publication.
[21]
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.
[22]
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 Design, Automation & Test in Europe Conference & Exhibition, Proc. of the 2015, DATE '15, pages 573--578, San Jose, CA, USA, 2015. EDA Consortium.

Cited By

View all
  • (2021)Network Attacks on Cyber–Physical Systems Project-Based Learning ActivityIEEE Transactions on Education10.1109/TE.2020.301426864:2(110-116)Online publication date: May-2021
  • (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
  • (2020)Survey on Education for Cyber-Physical SystemsIEEE Design & Test10.1109/MDAT.2020.300961337:6(56-70)Online publication date: Dec-2020
  • Show More Cited By
  1. xCPS: A tool to eXplore Cyber Physical Systems

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    WESE'15: Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems Education
    October 2015
    73 pages
    ISBN:9781450338974
    DOI:10.1145/2832920
    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: 04 October 2015

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Cyber-Physical Systems
    2. education
    3. embedded systems

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Funding Sources

    Conference

    ESWEEK'15
    ESWEEK'15: ELEVENTH EMBEDDED SYSTEM WEEK
    October 4 - 9, 2015
    Amsterdam, Netherlands

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 20 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2021)Network Attacks on Cyber–Physical Systems Project-Based Learning ActivityIEEE Transactions on Education10.1109/TE.2020.301426864:2(110-116)Online publication date: May-2021
    • (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
    • (2020)Survey on Education for Cyber-Physical SystemsIEEE Design & Test10.1109/MDAT.2020.300961337:6(56-70)Online publication date: Dec-2020
    • (2018)A joint optimization method for NoC topology generationThe Journal of Supercomputing10.1007/s11227-018-2339-074:7(2916-2934)Online publication date: 1-Jul-2018
    • (2016)Reconfigurable pipelined sensing for image-based control2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)10.1109/SIES.2016.7509406(1-8)Online publication date: May-2016

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media