Logo PTI Logo FedCSIS

Proceedings of the 19th Conference on Computer Science and Intelligence Systems (FedCSIS)

Annals of Computer Science and Information Systems, Volume 39

Using a Textual DSL With Live Graphical Feedback to Improve the CPS’ Design Workflow of Hardware Engineers

, ,

DOI: http://dx.doi.org/10.15439/2024F3931

Citation: Proceedings of the 19th Conference on Computer Science and Intelligence Systems (FedCSIS), M. Bolanowski, M. Ganzha, L. Maciaszek, M. Paprzycki, D. Ślęzak (eds). ACSIS, Vol. 39, pages 301–312 ()

Full text

Abstract. Cyber-Physical Systems (CPSs) are designed and developed using multi-disciplinary teams. Handovers from one discipline to another often occur using text documents written in natural language, which can be imprecise, ambiguous, and lead to errors. To improve this situation, we created a textual Domain Specific Language (DSL) with live graphical feedback to enhance the handover between mechanical and mechatronic engineers at Philips IGT. The DSL formalizes the system description and provides immediate live graphical feedback to prevent mistakes from being made, such as editing the wrong physical parts and by visualizing the differences of two versions of a system. In addition, our approach leverages multiple industry standards and it enables bi-directional navigation between languages.

References

  1. L. Addazi, F. Ciccozzi, P. Langer, and E. Posse, “Towards seamless hybrid graphical–textual modelling for UML and profiles,” in Modelling Foundations and Applications, ser. Lecture Notes in Computer Science, A. Anjorin and H. Espinoza, Eds. Springer International Publishing, 2017, pp. 20–33.
  2. N. Albergo, V. Rathi, and J.-P. Ore, “Understanding xacro misunderstandings,” in 2022 International Conference on Robotics and Automation (ICRA). IEEE, 2022, pp. 6247–6252.
  3. D. Alique and M. Linares, “The importance of rapid and meaningful feedback on computer-aided graphic expression learning,” vol. 27, pp. 54–60, 04 2019. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S1749772818300435
  4. R. Alur, Principles of cyber-physical systems. MIT press, 2015.
  5. M. Ben-Ari, Principles of the Spin model checker. Springer Science & Business Media, 2008.
  6. T. Bolwerk, “Improving the workflow for hardware engineers at philips with a domain-specific language and graphical feedback,” 2023. [Online]. Available: https://www.cs.ru.nl/masters-theses/2023/T_Bolwerk___Improving_the_workflow_for_hardware_engineers_at_Philips_with_a_domain-specific_language_and_graphical_feedback.pdf
  7. T. Bray, J. Paoli, C. M. Sperberg-McQueen, E. Maler, and F. Yergeau, “Extensible markup language (xml) 1.0,” 1998.
  8. W. Cazzola and L. Favalli, “Scrambled features for breakfast: Concepts of agile language development,” Communications of the ACM, vol. 66, no. 11, pp. 50–60, 2023.
  9. C. Cook, M. Burnett, and D. Boom, “A bug’s eye view of immediate visual feedback in direct-manipulation programming systems,” in Papers presented at the seventh workshop on Empirical studies of programmers, ser. ESP ’97. Association for Computing Machinery, 10 1997, pp. 20–41. [Online]. Available: https://doi.org/10.1145/266399.266403
  10. J. Cooper and D. Kolovos, “Engineering hybrid graphical-textual languages with sirius and xtext: Requirements and challenges,” in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 09 2019, pp. 322–325.
  11. M. Fowler, Domain-specific languages. Pearson Education, 2010.
  12. J. Gray, S. Neema, J.-P. Tolvanen, A. S. Gokhale, S. Kelly, and J. Sprinkle, “Domain-specific modeling.” Handbook of dynamic system modeling, vol. 7, pp. 7–1, 2007.
  13. T. R. G. Green and M. Petre, “Usability analysis of visual programming environments: A ‘cognitive dimensions’ framework,” vol. 7, no. 2, pp. 131–174, 06 1996. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S1045926X96900099
  14. J. Horowitz and J. Heer, Live, Rich, and Composable: Qualities for Programming Beyond Static Text, 03 2023.
  15. P. Inostroza, T. van Der Storm, and S. Erdweg, “Tracing program transformations with string origins,” in International Conference on Theory and Practice of Model Transformations. Springer, 2014, pp. 154–169.
  16. P. Klint, T. Van der Storm, and J. Vinju, “RASCAL: A domain specific language for source code analysis and manipulation,” ser. Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. IEEE, 2009, pp. 168–177.
  17. L. Kunze, T. Roehm, and M. Beetz, “Towards semantic robot description languages,” in 2011 IEEE International Conference on Robotics and Automation, 05 2011, pp. 5589–5595, ISSN: 1050-4729.
  18. A. Lozano, K. Mens, and A. Kellens, “Usage contracts: Offering immediate feedback on violations of structural source-code regularities,” vol. 105, pp. 73–91, 07 2015. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S016764231500012X
  19. T. Munzner, Visualization Analysis and Design. CRC Press, 12 2014, google-Books-ID: NfkYCwAAQBAJ.
  20. NDC Conferences, “Real-time prototyping using visual programming languages - rui martins,” 10 2018. [Online]. Available: https://www.youtube.com/watch?v=cAiFJEcqwm4
  21. G. Onwubolu, Mechatronics: principles and applications. Elsevier, 2005.
  22. F. Pérez Andrés, J. de Lara, and E. Guerra, “Domain specific languages with graphical and textual views,” in Applications of Graph Transformations with Industrial Relevance, ser. Lecture Notes in Computer Science, A. Schürr, M. Nagl, and A. Zündorf, Eds. Springer, 2008, pp. 82–97.
  23. M. Schuts, R. Aarssen, P. Tielemans, and J. Vinju, “Large-scale semi-automated migration of legacy c/c++ test code,” Software: Practice and Experience, vol. 52, no. 7, pp. 1543–1580, 2022.
  24. M. Schuts, M. Alonso, and J. Hooman, “Industrial experiences with the evolution of a dsl,” in Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021, pp. 21–30.
  25. G. B. Shelly and M. E. Vermaat, Microsoft Office 2010: Introductory. Course Technology Press, 2012.
  26. L. Shen, X. Chen, R. Liu, H. Wang, and G. Ji, “Domain-specific language techniques for visual computing: A comprehensive study,” vol. 28, no. 4, pp. 3113–3134, 06 2021. [Online]. Available: https://doi.org/10.1007/s11831-020-09492-4
  27. R. H. Shih, Parametric Modeling with Creo Parametric 2.0. Sdc Publications, 2013.
  28. T. van der Storm, “Semantics engineering with concrete syntax,” in Eelco Visser Commemorative Symposium (EVCS 2023). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2023.
  29. van Rozen, “Live game programming with micro-machinations and rascal,” 11 2014. [Online]. Available: https://www.youtube.com/watch?v=YzsKaJEX4D4
  30. R. van Rozen and J. Dormans, “Adapting game mechanics with micromachinations: International conference on the foundations of digital games,” 03 2014, publisher: Society for the Advancement of the Science of Digital Games.
  31. R. van Rozen and T. van der Storm, “Origin tracking + text differencing = textual model differencing: International conference on model transformation,” pp. 18–33, 07 2015, place: New York Publisher: Springer.
  32. R. van Rozen, “Cascade: A meta-language for change, cause and effect,” 11 2022. [Online]. Available: https://ir.cwi.nl/pub/32568
  33. R. van Rozen, Y. Reijne, C. Julia, and G. Samaritaki, “First-person realtime collaborative metaprogramming adventures,” 12 2021. [Online]. Available: https://ir.cwi.nl/pub/31301/
  34. R. van Rozen and T. van der Storm, “Toward live domain-specific languages: From text differencing to adapting models at run time,” vol. 18, no. 1, pp. 195–212, 02 2019. [Online]. Available: http://link.springer.com/10.1007/s10270-017-0608-7
  35. T. Witte and M. Tichy, “A hybrid editor for fast robot mission prototyping,” in 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 11 2019, pp. 41–44, ISSN: 2151-0830.
  36. D. Xue and Y. Chen, System simulation techniques with MATLAB and Simulink. John Wiley & Sons, 2013.