Abstract
Smart environments can be built by connecting smart devices and control systems, which coexist as an integrated system that supports everyday activities. A digital thread gives the necessary support to introduce smartness in socio-technological systems. Digital threads are not only useful in the development of these systems, but also to facilitate the development of rich digital models or digital twins, bringing even more smartness to these systems. This chapter discusses how Model-Based System Engineering (MBSE) can be applied to design a digital thread of a Traffic Monitoring System (TMS) for a smart city. A TMS aims at increasing traffic safety by monitoring vehicles and pedestrians using road infrastructure, with potential impact on the reduction of environmental pollution and foster economic development. Designing a digital thread for a smart TMS is a challenging task that requires a consistent conceptual modelling approach and an appropriate design methodology supported by integrated tools. SysML (Systems Modeling Language) has been designed to support the specification of socio-technological (cyber-physical) systems like a TMS and gives integrated support to apply MBSE. This chapter shows how SysML can be applied to create a digital thread that defines the traceability between requirements, design, analysis, and testing. This digital thread represents both the physical and virtual entities of the system, enabling the development of digital twins for simulating, testing, monitoring, and/or maintaining the system. SysML is currently being redesigned, and the new SysML v2 aims to offer precise and expressive language capabilities to improve support to system specification, analysis, design, verification, and validation. This chapter also discusses how SysML v2 is expected to facilitate the development of digital threads for socio-technological systems like a TMS.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
References
Fuller, A., Fan, Z., Day, C., Barlow, C.: digital twin: enabling technologies, challenges and open research. IEEE Access 8, 108952–108971 (2020). https://doi.org/10.1109/ACCESS.2020.2998358
Kritzinger, W., Karner, M., Traar, G., Henjes, J., Sihn, W.: Digital twin in manufacturing: a categorical literature review and classification. IFAC-PapersOnLine 51(11), 1016–1022 (2018, January 1). https://doi.org/10.1016/j.ifacol.2018.08.474
Oakes, B., et al.: Improving digital twin experience reports. In: Presented at the Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development—MODELSWARD (2021)
Global Horizons: United States Air Force Global science and technology vision, appendix. United States Air Force Chief Scientist's Office (2013). [Online]. Available https://purl.fdlp.gov/GPO/gpo126317
Bickford, J., Van Bossuyt, D.L., Beery, P., Pollman, A.: Operationalizing digital twins through model-based systems engineering methods. Syst. Eng. 23(6), 724–750 (2020). https://doi.org/10.1002/sys.21559
Tao, F., Zhang, M., Nee, A.Y.C.: Digital Twin Driven Smart Manufacturing. Academic Press (2019)
Wu, C., Zhou, Y., Pereira Pessoa, M.V., Peng, Q., Tan, R.: Conceptual digital twin modeling based on an integrated five-dimensional framework and TRIZ function model. J. Manuf. Syst. 58, 79–93 (2021, January 1). https://doi.org/10.1016/j.jmsy.2020.07.006
Systems Engineering Vision 2020, INCOSE-TP-2004-004-02, International Council on Systems Engineering (2007)
Madni, A.M., Madni, C.C., Lucero, S.D.: Leveraging digital twin technology in model-based systems engineering. Systems 7(1), 7 (2019). [Online]. Available https://www.mdpi.com/2079-8954/7/1/7
OMG System Modeling Language (OMG SysML) Version 1.6, formal/19–11–01, Object Management Group (2019). [Online]. Available https://www.omg.org/spec/SysML/1.6/
Chabibi, B., Douche, A., Anwar, A., Nassar, M.: Integrating SysML with simulation environments (Simulink) by model transformation approach. In: 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 148–150 (2016, June 13–15). https://doi.org/10.1109/WETICE.2016.39.
Wang, R., Dagli, C. H.: An Executable system architecture approach to discrete events system modeling using SysML in conjunction with colored Petri Net. In: 2008 2nd Annual IEEE Systems Conference (2008, April 7–10), pp. 1–8. https://doi.org/10.1109/SYSTEMS.2008.4518997
Pietrusewicz, K.: Metamodelling for design of mechatronic and cyber-physical systems. Appl. Sci. 9(3), 376 (2019). [Online]. Available https://www.mdpi.com/2076-3417/9/3/376
Wright, L., Davidson, S.: How to tell the difference between a model and a digital twin. Adv. Model. Simul. Eng. Sci. 7(1), 13 (2020, March 11). https://doi.org/10.1186/s40323-020-00147-4
Combemale, B., et al.: A Hitchhiker’s guide to model-driven engineering for data-centric systems. IEEE Softw. 38(4), 71–84 (2021). https://doi.org/10.1109/MS.2020.2995125
Mavris, D.N., Balchanos, M.G., Pinon-Fischer, O.J., Sung, W.J.: Towards a digital thread-enabled framework for the analysis and design of intelligent systems. In: 2018 AIAA Information Systems-AIAA Infotech @ Aerospace (2018)
Spaccapietra, S., Parent, C., Zimányi, E.: Spatio-temporal and Multi-representation modeling: a contribution to active conceptual modeling. In: Active conceptual modeling of learning, Berlin, Heidelberg, Springer, Berlin, Heidelberg, pp. 194–205 (2007)
Won, M.: Intelligent traffic monitoring systems for vehicle classification: a survey. IEEE Access 8, 73340–73358 (2020). https://doi.org/10.1109/ACCESS.2020.2987634
Sharif, A., Li, J., Khalil, M., Kumar, R., Sharif, M.I., Sharif, A.: Internet of things—smart traffic management system for smart cities using big data analytics. In: 2017 14th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP), pp. 281–284 (2017, December 15–17). https://doi.org/10.1109/ICCWAMTIP.2017.8301496
Späth, P., Knieling, J.: How EU-funded smart city experiments influence modes of planning for mobility: observations from Hamburg. Urban Transf. 2(1), 2 (2020, December 31). https://doi.org/10.1186/s42854-020-0006-2
Akabane, A.T., Immich, R., Bittencourt, L.F., Madeira, E.R.M., Villas, L.A.: Towards a distributed and infrastructure-less vehicular traffic management system. Comput. Commun. 151, 306–319 (2020, February 1). https://doi.org/10.1016/j.comcom.2020.01.002
Rudskoy, A., Ilin, I., Prokhorov, A.: Digital twins in the intelligent transport systems. Transp. Res. Procedia 54, 927–935 (2021, January 1). https://doi.org/10.1016/j.trpro.2021.02.152
Wismans, L., de Romph, E., Friso, K., Zantema, K.: Real time traffic models, decision support for traffic management. Procedia Environ. Sci. 22, 220–235 (2014, January 1). https://doi.org/10.1016/j.proenv.2014.11.022.
Shokravi, H., Shokravi, H., Bakhary, N., Heidarrezaei, M., Rahimian Koloor, S.S., Petrů, M.: A review on vehicle classification and potential use of smart vehicle-assisted techniques. Sensors 20(11), 3274 (2020). [Online]. Available https://www.mdpi.com/1424-8220/20/11/3274
Systems Modeling Language (SysML) v2—Request For Proposal (RFP), ad/2017–12–02, Object Management Group (2017)
Nigischer, C., Bougain, S., Riegler, R., Stanek, H. P., Grafinger, M.: Multi-domain simulation utilizing SysML: state of the art and future perspectives. Procedia CIRP 100, 319–324 (2021, January 1). https://doi.org/10.1016/j.procir.2021.05.073.
Colletti, R.A., Qamar, A., Nuesch, S.P., Paredis, C.J.J.: Best practice patterns for variant modeling of activities in model-based systems engineering. IEEE Syst. J. 14(3), 4165–4175 (2020). https://doi.org/10.1109/JSYST.2019.2939246
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Pessoa, M.V.P., Pires, L.F., Moreira, J.L.R., Wu, C. (2022). Model-Based Digital Threads for Socio-Technical Systems. In: Marques, G., González-Briones, A., Molina López, J.M. (eds) Machine Learning for Smart Environments/Cities. Intelligent Systems Reference Library, vol 121. Springer, Cham. https://doi.org/10.1007/978-3-030-97516-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-97516-6_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-97515-9
Online ISBN: 978-3-030-97516-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)