Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
125 tokens/sec
GPT-4o
53 tokens/sec
Gemini 2.5 Pro Pro
42 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
47 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

A SysML-based language for evaluating digital twin software reusability in cyber-physical system structure (2303.09565v6)

Published 17 Mar 2023 in cs.SE, cs.AR, cs.MA, cs.RO, cs.SY, and eess.SY

Abstract: Evaluating early design concepts is crucial as it impacts quality and cost. This process is often hindered by vague and uncertain design information. This article introduces the SysML-based Simulated-Physical Systems Modeling Language (SPSysML). It is a Domain-Specification Language for evaluating component reusability in Cyber-Physical Systems incorporating Digital Twins and other simulated parts. The proposed factors assess the design quantitatively. SPSysML uses a requirement-based system structuring method to couple simulated and physical parts with requirements. SPSysML enables DTs to perceive exogenous actions in the simulated world. SPSysML validation is survey- and application-based. First, we develop a robotic system for an assisted living project. As a result of the SPSysML application, we observed an integrity improvement between the simulated and physical parts of the system. Thus, more system components are shared between the simulated and physical setups. The system was deployed on the physical robot and two simulators based on ROS and ROS2. Additionally, we share a questionnaire for SPSysML assessment. The feedback that we already received is published in this article.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (51)
  1. A. R. Plummer, “Model-in-the-loop testing,” Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering, vol. 220, no. 3, pp. 183–199, 2006. [Online]. Available: https://doi.org/10.1243/09596518JSCE207
  2. S. Demers, P. Gopalakrishnan, and L. Kant, “A generic solution to software-in-the-loop,” in MILCOM 2007 - IEEE Military Communications Conference, 2007, pp. 1–6.
  3. J. Millitzer, D. Mayer, C. Henke, T. Jersch, C. Tamm, J. Michael, and C. Ranisch, “Recent developments in hardware-in-the-loop testing,” in Model Validation and Uncertainty Quantification, Volume 3, R. Barthorpe, Ed.   Cham: Springer International Publishing, 2019, pp. 65–73.
  4. S. Mathur and S. Malik, “Advancements in the v-model,” International Journal of Computer Applications, vol. 1, no. 12, pp. 29–34, 2010.
  5. G. Lumer-Klabbers, J. O. Hausted, J. L. Kvistgaard, H. D. Macedo, M. Frasheri, and P. G. Larsen, “Towards a digital twin framework for autonomous robots,” in 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC), 2021, pp. 1254–1259.
  6. C. Pylianidis, S. Osinga, and I. N. Athanasiadis, “Introducing digital twins to agriculture,” Computers and Electronics in Agriculture, vol. 184, p. 105942, 2021. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S0168169920331471
  7. E. Negri, L. Fumagalli, and M. Macchi, “A review of the roles of digital twin in cps-based production systems,” Procedia Manufacturing, vol. 11, pp. 939–948, 2017, 27th International Conference on Flexible Automation and Intelligent Manufacturing, FAIM2017, 27-30 June 2017, Modena, Italy. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S2351978917304067
  8. M. Dalibor, N. Jansen, B. Rumpe, D. Schmalzing, L. Wachtmeister, M. Wimmer, and A. Wortmann, “A cross-domain systematic mapping study on software engineering for digital twins,” Journal of Systems and Software, p. 111361, 2022.
  9. C. Lo, C. Chen, and R. Y. Zhong, “A review of digital twin in product design and development,” Advanced Engineering Informatics, vol. 48, p. 101297, 2021. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S1474034621000513
  10. J. Pages, L. Marchionni, and F. Ferro, “TIAGo: the modular robot that adapts to different research needs.”
  11. M. Quigley, K. Conley, B. Gerkey, J. Faust, T. Foote, J. Leibs, R. Wheeler, and A. Y. Ng, “ROS: an open-source Robot Operating System,” in ICRA workshop on open source software, vol. 3, no. 3.2, 2009.
  12. S. Macenski, T. Foote, B. Gerkey, C. Lalancette, and W. Woodall, “Robot operating system 2: Design, architecture, and uses in the wild,” Science Robotics, vol. 7, no. 66, p. eabm6074, 2022. [Online]. Available: https://www.science.org/doi/abs/10.1126/scirobotics.abm6074
  13. Y. Maruyama, S. Kato, and T. Azumi, “Exploring the performance of ros2,” in Proceedings of the 13th International Conference on Embedded Software, 2016, pp. 1–10.
  14. H. Bruyninckx, “Open robot control software: The OROCOS project,” in International Conference on Robotics and Automation (ICRA), vol. 3.   IEEE, 2001, pp. 2523–2528.
  15. N. Koenig and A. Howard, “Design and use paradigms for gazebo, an open-source multi-robot simulator,” in 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)(IEEE Cat. No. 04CH37566), vol. 3.   IEEE, 2004, pp. 2149–2154.
  16. “Documentation of gazebo_ros_control package,” https://classic.gazebosim.org/tutorials?tut=ros_control&cat=connect_ros, accessed: 23-05-2022.
  17. “Open 3d engine contributors,” https://docs.o3de.org/, o3DE Documentation, Accessed: 2023-12-15.
  18. “Diagrams defining spsysml, spsysdp and incare system,” https://www.robotyka.ia.pw.edu.pl/images/projects/smit/spsysml/index.html, accessed: 2023-12-15.
  19. B. Miller, F. VahicK, and T. Givargis, “Application-specific codesign platform generation for digital mockups in cyber-physical systems,” in 2011 Electronic System Level Synthesis Conference (ESLsyn), 2011, pp. 1–6.
  20. K. M. Alam and A. El Saddik, “C2PS: A Digital Twin Architecture Reference Model for the Cloud-Based Cyber-Physical Systems,” IEEE Access, vol. 5, pp. 2050–2062, 2017.
  21. C. Gehrmann and M. Gunnarsson, “A digital twin based industrial automation and control system security architecture,” IEEE Transactions on Industrial Informatics, vol. 16, no. 1, pp. 669–680, 2020.
  22. D. Dolev and A. Yao, “On the security of public key protocols,” IEEE Transactions on Information Theory, vol. 29, no. 2, pp. 198–208, 1983.
  23. M. Moallemi and G. Wainer, “Modeling and simulation-driven development of embedded real-time systems,” Simulation Modelling Practice and Theory, vol. 38, pp. 115–131, 2013. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S1569190X13001196
  24. B. Bauml and G. Hirzinger, “Agile Robot Development (aRD): A Pragmatic Approach to Robotic Software,” in 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006, pp. 3741–3748.
  25. M. El-Shamouty, K. Kleeberger, A. Lämmle, and M. Huber, “Simulation-driven machine learning for robotics and automation,” tm - Technisches Messen, vol. 86, no. 11, pp. 673–684, 2019. [Online]. Available: https://doi.org/10.1515/teme-2019-0072
  26. M. Figat and C. Zieliński, “Parameterised robotic system meta-model expressed by Hierarchical Petri nets,” Robotics and Autonomous Systems, vol. 150, April 2022. [Online]. Available: https://doi.org/10.1016/j.robot.2021.103987
  27. A. Stocco, B. Pulfer, and P. Tonella, “Mind the gap! a study on the transferability of virtual vs physical-world testing of autonomous driving systems,” IEEE Transactions on Software Engineering, pp. 1–13, 2022.
  28. A. Bihlmaier and H. Wörn, “Robot unit testing,” in Simulation, Modeling, and Programming for Autonomous Robots, D. Brugali, J. F. Broenink, T. Kroeger, and B. A. MacDonald, Eds.   Cham: Springer International Publishing, 2014, pp. 255–266.
  29. A. M. Tiryaki, S. Öztuna, O. Dikenelli, and R. C. Erdur, “Sunit: A unit testing framework for test driven development of multi-agent systems,” in Agent-Oriented Software Engineering VII, L. Padgham and F. Zambonelli, Eds.   Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 156–173.
  30. M. Mossige, A. Gotlieb, and H. Meling, “Testing robot controllers using constraint programming and continuous integration,” Information and Software Technology, vol. 57, pp. 169–185, 2015.
  31. S. Teixeira, R. Arrais, and G. Veiga, “Cloud simulation for continuous integration and deployment in robotics,” in 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), 2021, pp. 1–8.
  32. S. K. Khaitan and J. D. McCalley, “Design techniques and applications of cyberphysical systems: A survey,” IEEE Systems Journal, vol. 9, no. 2, pp. 350–365, 2015.
  33. S. Wolny, A. Mazak, C. Carpella, V. Geist, and M. Wimmer, “Thirteen years of sysml: a systematic mapping study,” Software and Systems Modeling, vol. 19, pp. 111–169, 2020.
  34. E. de Araújo Silva, E. Valentin, J. R. H. Carvalho, and R. da Silva Barreto, “A survey of model driven engineering in robotics,” Journal of Computer Languages, vol. 62, p. 101021, 2021.
  35. T. Winiarski, M. Węgierek, D. Seredyński, W. Dudek, K. Banachowicz, and C. Zieliński, “EARL – Embodied Agent-Based Robot Control Systems Modelling Language,” Electronics, vol. 9, no. 2 - 379, 2020.
  36. T. Glock, B. Sillman, M. Kobold, S. Rebmann, and E. Sax, “Model-based validation and testing of industry 4.0 plants,” in 2018 Annual IEEE International Systems Conference (SysCon), 2018, pp. 1–8.
  37. G. Fortino and W. Russo, “Eldameth: An agent-oriented methodology for simulation-based prototyping of distributed agent systems,” Information and Software Technology, vol. 54, no. 6, pp. 608–624, 2012, special Section: Engineering Complex Software Systems through Multi-Agent Systems and Simulation. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S0950584911001960
  38. J. L. de la Vara, A. Ruiz, K. Attwood, H. Espinoza, R. K. Panesar-Walawege, Ángel López, I. del Río, and T. Kelly, “Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel,” Information and Software Technology, vol. 72, pp. 16–30, 2016.
  39. W. Dudek, “Prudent management of interruptible tasks executed by a service robot,” Ph.D. dissertation, Warsaw University of Technology, 2021, access: https://robotyka.ia.pw.edu.pl/papers/phd_thesis_wd.pdf.
  40. T. Winiarski, S. Jarocki, and D. Seredyński, “Grasped object weight compensation in reference to impedance controlled robots,” Energies, vol. 14, no. 20, 2021. [Online]. Available: https://www.mdpi.com/1996-1073/14/20/6693
  41. C. Zieliñski and T. Winiarski, “Motion generation in the mrroc++ robot programming framework,” The International Journal of Robotics Research, vol. 29, no. 4, pp. 386–413, 2010. [Online]. Available: https://doi.org/10.1177/0278364909348761
  42. T. Winiarski and A. Woźniak, “Indirect force control development procedure,” Robotica, vol. 31, no. 3, p. 465–478, 2013.
  43. P. Pałka, C. Zieliński, W. Dudek, D. Seredyński, and W. Szynkiewicz, “Communication-focused top-down design of robotic systems based on binary decomposition,” Energies, vol. 15, no. 21, 2022. [Online]. Available: https://www.mdpi.com/1996-1073/15/21/7983
  44. M. dos Santos Soares and J. L. Vrancken, “Model-driven user requirements specification using sysml.” J. Softw., vol. 3, no. 6, pp. 57–68, 2008.
  45. “EARL 1.3 documentation,” https://www.robotyka.ia.pw.edu.pl/projects/earl, accessed: 2023-03-06.
  46. J. Karwowski, W. Dudek, M. Węgierek, and T. Winiarski, “Hubero - a framework to simulate human behaviour in robot research,” Journal of Automation, Mobile Robotics and Intelligent Systems, vol. 15, no. 1, p. 31–38, Jul. 2021. [Online]. Available: https://www.jamris.org/index.php/JAMRIS/article/view/664
  47. J. Karwowski and W. Szynkiewicz, “Quantitative metrics for benchmarking human-aware robot navigation,” IEEE Access, vol. 11, pp. 79 941–79 953, 2023.
  48. T. Winiarski, “MeROS: SysML-based Metamodel for ROS-based Systems,” IEEE Access, vol. 11, pp. 82 802–82 815, 2023.
  49. W. Dudek, M. Węgierek, J. Karwowski, W. Szynkiewicz, and T. Winiarski, “Task harmonisation for a single–task robot controller,” in 12th International Workshop on Robot Motion and Control (RoMoCo), K. Kozłowski, Ed.   IEEE, 2019, pp. 86–91.
  50. W. Dudek and T. Winiarski, “Scheduling of a Robot’s Tasks With the TaskER Framework,” IEEE Access, vol. 8, pp. 161 449–161 471, 2020.
  51. T. Winiarski, W. Dudek, M. Stefanczyk, L. Zielinski, D. Gieldowski, and D. Seredynski, “An intent-based approach for creating assistive robots’ control systems,” CoRR, vol. abs/2005.12106, 2020. [Online]. Available: https://arxiv.org/abs/2005.12106
Citations (3)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now