Modeling and Simulation of a Smart Street Lighting System
Smart cities comprise highly dynamic, complex and softwareintensive systems planned and created to cope with problems inherent to the increasing world population, such as need for life quality in cities, intense traffic, and sustainability. Owing to such complexity and dynamics, static notations, such as Unified Modeling Language (UML) and Systems Modeling Language (SysML), are often unable to support a precise conception, planning and design of those smart cities. In turn, the combination of traditional modeling and simulation (M&S) could leverage the design of such systems by enabling the analysis of both structure and behavior aspects still at design-time. The main contribution of this paper is offering evidence to support the premise of M&S be a promising paradigm for software engineering, including in smart cities domain. We report findings on a study carried out for assessing, via M&S, two architectures for a Public Street Lighting System (PSLS) of a smart city. The first architecture uses a hub as intermediator between luminaries and PSLS. The second architecture uses software-intensive luminaries connected to the PSLS using publish/subscribe architectural style. Preliminary results show that the publish/subscribe architecture delivers a greater degree of correctness than the former. Additionally, we conjecture that the adoption of M&S can foster the identification of smart cities behaviors and the identification of, at design-time, properties that could be noticed only after the system has been already deployed.
da Silva, W. M., Alvaro, A., Tomas, G. H., Afonso, R. A., Dias, K. L., and Garcia, V. C. (2013). Smart cities software architectures: a survey. In SAC, pages 1722–1727. ACM.
de França, B. B. N. and Travassos, G. H. (2016). Experimentation with dynamic simulation models in software engineering: planning and reporting guidelines. Empirical Software Engineering, 21(3):1302–1345.
Debbabi, M., Hassaine, F., Jarraya, Y., Soeanu, A., and Alawneh, L. (2010). Verification and validation in systems engineering: assessing UML/SysML design models. Springer Science & Business Media.
França, B. B. N. d. and Travassos, G. H. (2013). Are we prepared for simulation based studies in software engineering yet? CLEI electronic journal, 16(1):9–9.
ISO/IEC (2010). ISO/IEC 25010 System and software quality models. Technical report.
Khatoun, R. and Zeadally, S. (2016). Smart cities: concepts, architectures, research opportunities. Commun. Acm, 59(8):46–57.
Kumar, N. M., Goel, S., and Mallick, P. K. (2018). Smart cities in india: Features, policies, current status, and challenges. In 2018 ICSESP, pages 1–4. IEEE.
Manzano, W., Graciano Neto, V. V., and Nakagawa, E. Y. (2019). Dynamic-sos: An approach for the simulation of systems-of-systems dynamic architectures. The Computer Journal.
Picone, M., Amoretti, M., and Zanichelli, F. (2012). Simulating smart cities with deus. In Proceedings of the 5th International ICST, pages 172–177. ICST.
Pla-Castells, M., Martinez-Durá, J. J., Samper-Zapater, J. J., and Cirilo-Gimeno, R. V. (2015). Use of ict in smart cities. a practical case applied to traffic management in the city of valencia. In 2015 SCSP, pages 1–4. IEEE.
Selic, B. (2003). The pragmatics of model-driven development. IEEE software, 20(5):19–25.
Yin, C., Xiong, Z., Chen, H., Wang, J., Cooper, D., and David, B. (2015). A literature survey on smart cities. Science China Information Sciences, 58(10):1–18.