Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool Support

A Cyber-Physical System (CPS) comprises the integration of computation, software, networking, and physical processes. Consequently, CPS models extend traditional embedded system models with an increased support for hybrid and heterogeneous models, networking, time synchronization, and especially interoperability. To assist engineers in designing CPSs, we have developed aDSL, a Domain-Specific Language (DSL) that comes with fully-automated tool support and is tailored to interoperability of CPS. The aDSL tool support includes: (i) interactive model description with input validation; (ii) the computation of possible operation modes of subsystems and parts; and, (iii) checking the adherence to requirements for various design alternatives and finding the Pareto optimal designs given these requirements. Moreover, aDSL generates intuitive visualizations throughout the toolchain which help design engineers to better understand the implications of design decisions and communicate them to stakeholders. aDSL has been applied to an agricultural tractor-trailer system case study in which aDSL quickly evaluated 48 designs and rendered all the visualizations of the results.

[1]  Jozef Hooman,et al.  Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques , 2016 .

[2]  Stan Karanasios,et al.  Information sharing and interoperability: the case of major incident management , 2014, Eur. J. Inf. Syst..

[3]  Leigh R. Power.  Post-facto integration technology: new discipline for an old practice , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[4]  Jeffrey S. Racine,et al.  gnuplot 4.0: a portable interactive plotting utility , 2006 .

[5]  Peter Fritzson.  Modelica — A cyber-physical modeling language and the OpenModelica environment , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[6]  Joseph Y.-T. Leung,et al.  Handbook of Real-Time and Embedded Systems , 2007 .

[7]  Boudewijn R. Haverkort,et al.  A Domain Specific Language for Performance Evaluation of Medical Imaging Systems , 2014, MCPS.

[8]  Svein G. Johnsen,et al.  The ATHENA Interoperability Framework , 2007, IESA.

[9]  Ravishankar K. Iyer,et al.  Analysis of Safety-Critical Computer Failures in Medical Devices , 2013, IEEE Security & Privacy.

[10]  Heiko Koziolek,et al.  An industrial case study of performance and cost design space exploration , 2012, ICPE '12.

[11]  Jozef Hooman,et al.  iDSL: Automated Performance Evaluation of Service-Oriented Systems , 2017, ModelEd, TestEd, TrustEd.

[12]  Reiner Anderl,et al.  Potentials of the Asset Administration Shell of Industrie 4.0 for Service-Oriented Business Models , 2017 .

[13]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[14]  Paul C. Miller,et al.  Interoperability: What is it and why should I want it? Ariadne 24 , 2000 .

[15]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[16]  Siddhartha Kumar Khaitan,et al.  Design Techniques and Applications of Cyberphysical Systems: A Survey , 2015, IEEE Systems Journal.

[17]  António Grilo,et al.  Factories of the future: challenges and leading innovations in intelligent manufacturing , 2017, Int. J. Comput. Integr. Manuf..

[18]  Valeriy Vyatkin,et al.  Knowledge-driven service orchestration engine for flexible information acquisition in industrial cyber-physical systems , 2016, 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE).

[19]  Thomas A. Henzinger,et al.  The Embedded Systems Design Challenge , 2006, FM.

[20]  David E. Culler,et al.  System architecture directions for networked sensors , 2000, SIGP.

[21]  Iveta Zolotová,et al.  Industrial IoT Gateway with Machine Learning for Smart Manufacturing , 2016, APMS.

[22]  Panganamala Ramana Kumar,et al.  Abstractions, Architecture, Mechanisms, and a Middleware for Networked Control , 2009, IEEE Transactions on Automatic Control.

[23]  Jozef Hooman,et al.  Gaining Industrial Confidence for the Introduction of Domain-Specific Languages , 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops.

[24]  John Brennan,et al.  General Interoperability Concepts , 2006 .

[25]  Richard C. Gronback.  Eclipse Modeling Project: A Domain-Specific Language Toolkit , 2009 .

[26]  Sarmen Keshishzadeh,et al.  Early Fault Detection in DSLs Using SMT Solving and Automated Debugging , 2013, SEFM.

[27]  Nengcheng Chen,et al.  Integrated open geospatial web service enabled cyber-physical information infrastructure for precision agriculture monitoring , 2015, Comput. Electron. Agric..

[28]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[29]  W. H. Berninger,et al.  Medical imaging systems , 1981 .

[30]  Steven P. Haveman,et al.  Requirements for High Level Models Supporting Design Space Exploration in Model-based Systems Engineering , 2013, CSER.

[31]  Boudewijn R. Haverkort,et al.  iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems , 2015, EPEW.

[32]  Boudewijn R. Haverkort,et al.  Performance Evaluation for Collision Prevention Based on a Domain Specific Language , 2013, EPEW.

[33]  Emden R. Gansner,et al.  Graphviz - Open Source Graph Drawing Tools , 2001, GD.

[34]  Brian J. Sauser,et al.  System of Systems - the meaning of of , 2006, 2006 IEEE/SMC International Conference on System of Systems Engineering.

[35]  Edward A. Lee,et al.  Industrial Cyber-Physical Systems - iCyPhy , 2013, CSDM.

[36]  Andreas Tolk,et al.  The levels of conceptual interoperability model: applying systems engineering principles to M&S , 2009, SpringSim '09.

[37]  Capers Jones,et al.  Embedded Software: Facts, Figures, and Future , 2009, Computer.

[38]  Edward A. Lee.  Cyber-physical Systems -are Computing Foundations Adequate? Position Paper for Nsf Workshop on Cyber-physical Systems: Research Motivation, Techniques and Roadmap , 1998 .

[39]  Holger Hermanns,et al.  mctau: Bridging the Gap between Modest and UPPAAL , 2012, SPIN.

[40]  Richard C. Gronback.  Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit , 2009 .

[41]  Maria Spichkova,et al.  From abstract modelling to remote cyber-physical integration/interoperability testing , 2014, ArXiv.

[42]  Nikil D. Dutt,et al.  Models, abstractions, and architectures: The missing links in cyber-physical systems , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[43]  Jay Lee,et al.  A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems , 2015 .

[44]  Jozef Hooman,et al.  Computing Response Time Distributions Using Iterative Probabilistic Model Checking , 2015, EPEW.