Skip to main content
SpringerLink
Log in

Quantifying the impact of resource redundancy on smart city system dependability: a model-driven approach

  • Published:
Cluster Computing Aims and scope Submit manuscript

Abstract

Effective quality management plays a pivotal role in ensuring the smooth operation of smart city systems, which have significant implications for safety, accessibility, affordability, and maintainability. Dependability of autonomous systems is of utmost importance, as achieving satisfactory levels of availability and reliability poses considerable challenges. Smart cities are characterized by interconnected sub-architectures, encompassing vehicle monitoring, sidewalk monitoring, and building monitoring, all of which need to function efficiently. Analytical models such as Petri nets, Markov chains, and fault trees are well-suited for evaluating complex scenarios in the context of smart cities. This paper presents analytical models that utilize fault tree and Markov chain techniques to assess the availability and reliability of smart city monitoring systems. The model is divided into shared and non-shared components, with non-shared components being specific to certain contextual applications, while shared components, such as data processing and electrical power, are essential for all smart city monitoring and management systems. The study underscores the ease with which the fault tree model can enhance availability by modifying failure requirements and resources. Case studies provide concrete examples of how availability improved from 95.3 to 99.8% by varying a configuration known as "KooN" in multiple components. This paper takes a comprehensive approach to evaluating the dependability of smart city architectures and contributes advancements, such as hierarchical modeling, sequential sensitivity analysis, and the "KooN" analytic method. These contributions expand the existing knowledge and methodologies in smart city dependability analysis. Moreover, this work aims to serve as a practical tool to assist smart city managers in optimizing their proposals. All modeling aspects and parameters are detailed thoroughly to enable effective implementation of the proposed approach by anyone using it.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14

Similar content being viewed by others

Data availability

Data sharing not applicable.

Notes

  1. Stochastic refers to something which involves or contains a random variable or variables.

References

  1. Abate, A., Budde, C.E., Cauchi, N., Hoque, K.A., Stoelinga, M.: Assessment of maintenance policies for smart buildings: application of formal methods to fault maintenance trees. In: European Conference of the Prognostics and Health Management Society (2018)

  2. Ahvenniemi, H., Huovila, A., Pinto-Seppä, I., Airaksinen, M.: What are the differences between sustainable and smart cities? Cities 60, 234–245 (2017)

    Article  Google Scholar 

  3. Andrade, E., Nogueira, B.: Dependability evaluation of a disaster recovery solution for iot infrastructures. J. Supercomput. 76(3), 1828–1849 (2020)

    Article  Google Scholar 

  4. Araujo, E., Dantas, J., Matos, R., Pereira, P., Maciel, P.: Dependability evaluation of an iot system: a hierarchical modelling approach. In: 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), pp. 2121–2126. IEEE (2019)

  5. Araújo, G., Rodrigues, L., Oliveira, K., Fé, I., Khan, R., Silva, F.A.: Vehicular cloud computing networks: availability modelling and sensitivity analysis. Int. J. Sens. Netw. 36(3), 125–138 (2021)

    Article  Google Scholar 

  6. Balamurugan, S., Ayyasamy, A., Joseph, K.S.: Enhanced petri nets for traceability of food management using internet of things. Peer-to-Peer Netw. Appl. 14(1), 30–43 (2021)

    Article  Google Scholar 

  7. Barlow, RE., Proschan, F.: Mathematical theory of reliability. SIAM (1996)

  8. Boano, C.A., Römer, K., Bloem, R., Witrisal, K., Baunach, M., Horn, M.: Dependability for the internet of things-from dependable networking in harsh environments to a holistic view on dependability. e i Elektrotech. Inf. Tech. 133(7), 304–309 (2016)

    Article  Google Scholar 

  9. Bolch, G., Greiner, S., De Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications. Wiley, New York (2006)

    Book  Google Scholar 

  10. Boreiko, O., Teslyuk, V.: Model of data collection controller of automated processing systems for passenger traffic public transport "smart" city based on petri nets. In: 2017 2nd International Conference on Advanced Information and Communication Technologies (AICT), pp. 62–65. IEEE (2017)

  11. Campolongo, F., Tarantola, S., Saltelli, A.: Tackling quantitatively large dimensionality problems. Comput. Phys. Commun. 117(1), 75–85 (1999)

    Article  ADS  CAS  Google Scholar 

  12. Campolongo, F., Tarantola, S., Saltelli, A., Ratto, M.: Sensitivity Analysis in Practice: A Guide to Assessing Scientific Models. Wiley, New York (2004)

    Google Scholar 

  13. Cardellini, V., Casalicchio, E., Branco, K.R.C., Estrella, J.C., Monaco, F.J.: Performance and Dependability in Service Computing: Concepts. Techniques and Research Directions. Information Science Reference, Hershey (2012)

    Book  Google Scholar 

  14. Cardullo, P., Kitchin, R.: Being a ‘citizen’ in the smart city: Up and down the scaffold of smart citizen participation in Dublin, Ireland. GeoJournal 84(1), 1–13 (2019)

    Article  Google Scholar 

  15. Cesario, E., Cicirelli, F., Mastroianni, C.: Distributed computation of mobility patterns in a smart city environment. In: European Conference on Parallel Processing, pp. 559–572. Springer, Berlin (2018)

    Google Scholar 

  16. de Souza Matos Júnior, R.: Identification of Availability and Performance Bottlenecks in Cloud Computing Systems: An Approach Based on Hierarchical Models and Sensitivity Analysis. PhD thesis, Federal University of Pernambuco, Center for Informatics, Graduate in Computer Science, Recife (2016)

  17. Desdemoustier, J., Crutzen, N., Giffinger, R.: Municipalities’ understanding of the smart city concept: an exploratory analysis in Belgium. Technol. Forecast. Soc. Chang. 142, 129–141 (2019)

    Article  Google Scholar 

  18. Earth Org. Top 7 Smart Cities in the World. https://tinyurl.com/2s3wkkcv (2022). Accessed 04 Sep 2022

  19. Gonçalves, I., Rodrigues, L., Silva, F.A., Nguyen, T.A., Min, D., Lee, J.-W.: Surveillance system in smart cities: a dependability evaluation based on stochastic models. Electronics 10(8), 876 (2021)

    Article  Google Scholar 

  20. Haverkort, B.R.: Markovian models for performance and dependability evaluation. In: School Organized by the European Educational Forum, pp. 38–83. Springer, Berlin (2000)

    Google Scholar 

  21. Haverkort, B.R., Meeuwissen, A.M.H.: Sensitivity and uncertainty analysis of Markov-reward models. IEEE Trans. Reliab. 44(1), 147–154 (1995)

    Article  Google Scholar 

  22. Hoffman, F., Gardner, R.: Evaluation of Uncertainties in Environmental Radiological Assessment Models. Radiological Assessments (1983)

  23. Kabir, S.: An overview of fault tree analysis and its application in model based dependability analysis. Expert Syst. Appl. 77, 114–135 (2017)

    Article  Google Scholar 

  24. Kharchenko, V., Ponochovnyi, Y., Abdulmunem, A.-S., Boyarchuk, A.: Security and availability models for smart building automation systems. Int. J. Comput. 16(4), 194–202 (2017)

    Article  Google Scholar 

  25. Kleinrock, L.: Queueing systems, vol. 1: Theory (1975)

  26. Kolmogoroff, A.: Über die analytischen methoden in der wahrscheinlichkeitsrechnung. Math. Ann. 104, 415–458 (1931)

    Article  MathSciNet  Google Scholar 

  27. Kroener, I.: ‘caught on camera’: the media representation of video surveillance in relation to the 2005 London underground bombings. Surv. Soc. 11(1/2), 121–133 (2013)

    Google Scholar 

  28. Kulkarni, P., Farnham, T.: Smart city wireless connectivity considerations and cost analysis: lessons learnt from smart water case studies. IEEE Access 4, 660–672 (2016)

    Article  Google Scholar 

  29. Li, X.-X., Zhu, Y.-W., Wang, J.: Efficient encrypted data comparison through a hybrid method. J. Inf. Sci. Eng. 33, 4 (2017)

    MathSciNet  Google Scholar 

  30. Lin, S., Kong, L., He, L., Guan, K., Ai, B., Zhong, Z., Briso-Rodríguez, C.: Finite-state Markov modeling for high-speed railway fading channels. IEEE Antennas Wirel. Propag. Lett. 14, 954–957 (2015)

    Article  ADS  Google Scholar 

  31. Liu, P., Yang, L., Gao, Z., Li, S., Gao, Y.: Fault tree analysis combined with quantitative analysis for high-speed railway accidents. Saf. Sci. 79, 344–357 (2015)

    Article  Google Scholar 

  32. Maciel, P.R., Trivedi, K.S., Matias, R., Kim, D.S.: Dependability modeling. In: Performance and dependability in service computing: concepts, techniques and research directions, pp. 53–97. IGI Global (2012)

  33. McCool, J.I.: Probability and statistics with reliability, queuing and computer science applications. Technometrics 45(1), 107 (2003)

    Article  Google Scholar 

  34. Melo, C., Dantas, J., Oliveira, A., Oliveira, D., Fé, I., Araujo, J., Matos, R., Maciel, P.: Availability models for hyper-converged cloud computing infrastructures. In 2018 Annual IEEE International Systems Conference (SysCon), pp. 1–7. IEEE (2018)

  35. Menasce, D.A., Almeida, V.A., Dowdy, L.W., Dowdy, L.: Performance by design: computer capacity planning by example. Prentice Hall Professional (2004)

  36. Nguyen, T.A., Fe, I., Brito, C., Kaliappan, V.K., Choi, E., Min, D., Lee, J.W., Silva, F.A.: Performability evaluation of load balancing and fail-over strategies for medical information systems with edge/fog computing using stochastic reward nets. Sensors 21(18), 6253 (2021)

    Article  ADS  PubMed  PubMed Central  Google Scholar 

  37. Ojie, E., Pereira, E.: Exploring dependability issues in iot applications. In: Proceedings of the Second International Conference on Internet of things, Data and Cloud Computing, pp. 1–5 (2017)

  38. Pianosi, F., Beven, K., Freer, J., Hall, J., Rougier, J., Stephenson, D., Wagener, T.: Sensitivity analysis of environmental models: a systematic review with practical workflow. Environ. Model. Softw. 79, 214–232 (2016)

    Article  Google Scholar 

  39. Qi, L., Zhou, M., Ding, Z.: Real-time traffic camera-light control systems for intersections subject to accidents: a petri net approach. In: 2013 IEEE International Conference on Systems, Man, and Cybernetics, pp. 1069–1074. IEEE (2013)

  40. Rodrigues, L., Gonçalves, I., Fé, I., Endo, P.T., Silva, F.A.: Performance and availability evaluation of an smart hospital architecture. Computing 103(10), 2401–2435 (2021)

    Article  MathSciNet  PubMed Central  Google Scholar 

  41. Rodrigues, L., Neto, F., Gonçalves, G., Soares, A., Silva, F.A.: Performance evaluation of smart cooperative traffic lights in vanets. Int. J. Comput. Sci. Eng. 24(3), 276–289 (2021)

    Google Scholar 

  42. Santos, B., Soares, A., Nguyen, T.-A., Min, D.-K., Lee, J.-W., Silva, F.-A.: Iot sensor networks in smart buildings: a performance assessment using queuing models. Sensors 21(16), 5660 (2021)

    Article  ADS  PubMed  PubMed Central  Google Scholar 

  43. Santos, G.L., Endo, P.T., da SilvaLisboaTigre, M.F.F., da Silva, L.G.F., Sadok, D., Kelner, J., Lynn, T.: Analyzing the availability and performance of an e-health system integrated with edge, fog and cloud infrastructures. J. Cloud Comput. 7(1), 1–22 (2018)

    Article  Google Scholar 

  44. Silva, B., Matos, R., Callou, G., Figueiredo, J., Oliveira, D., Ferreira, J., Dantas, J., Lobo, A., Alves, V., Maciel, P.: Mercury: an integrated environment for performance and dependability evaluation of general systems. In: Proceedings of Industrial Track at 45th Dependable Systems and Networks Conference, DSN (2015)

  45. Silva, F.A., Brito, C., Araújo, G., Fé, I., Tyan, M., Lee, J.-W., Nguyen, T.A., Maciel, P.R.M.: Model-driven impact quantification of energy resource redundancy and server rejuvenation on the dependability of medical sensor networks in smart hospitals. Sensors 22(4), 1595 (2022)

    Article  ADS  PubMed  PubMed Central  Google Scholar 

  46. Silva, F.A., Nguyen, T.A., Fé, I., Brito, C., Min, D., Lee, J.-W.: Performance evaluation of an internet of healthcare things for medical monitoring using m/m/c/k queuing models. IEEE Access 9, 55271–55283 (2021)

    Article  Google Scholar 

  47. Silva, I., Leandro, R., Macedo, D., Guedes, L.A.: A dependability evaluation tool for the internet of things. Comput. Electr. Eng. 39(7), 2005–2018 (2013)

    Article  Google Scholar 

  48. Singh, T., Solanki, A., Sharma, S.K., Nayyar, A., Paul, A.: A decade review on smart cities: paradigms, challenges and opportunities. IEEE Access (2022)

  49. Victor, C., Nguyen, T.A., Silva, L.A., Andrade, E., Santos, G.L., Min, D., Lee, J.W., Silva, F.A.: Performability assessment and sensitivity analysis of a home automation system. In: 2021 IEEE/ACM 25th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), pp. 1–4. IEEE (2021)

  50. Worldometers. Worldometers. World Population Forecast. https://www.worldometers.info 2022. Accessed 04 Sep 2022

Download references

Funding

No funding was received for conducting this study.

Author information

Authors and Affiliations

  1. Federal University of Piauí (UFPI), Picos, Piauí, Brazil

    Francisco Airton Silva & Iure Fé

  2. Federal University of Maranhão, São Luís, Brazil

    Francisco Silva

  3. Konkuk University, Seoul, South Korea

    Tuan Anh Nguyen

Authors
  1. Francisco Airton Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Iure Fé
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Francisco Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Tuan Anh Nguyen
    View author publications

    You can also search for this author in PubMed Google Scholar

Contributions

F.A.S. has managed the process as research leader. F.A.S. and I.F. executed the research and wrote the paper. F.S. and T.A.N. reviewed the manuscript.

Corresponding author

Correspondence to Iure Fé.

Ethics declarations

Conflict of interest

The authors have no relevant financial or non-financial interests to disclose.

Ethical approval

Not applicable.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Silva, F.A., Fé, I., Silva, F. et al. Quantifying the impact of resource redundancy on smart city system dependability: a model-driven approach. Cluster Comput (2024). https://doi.org/10.1007/s10586-023-04259-5

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10586-023-04259-5

Keywords

Search

Navigation