Abstract
Probabilistic Model Checking is a Formal Verification method which is able to guarantee, according to a specified probability, the correctness of a system that presents stochastic behavior. It is an approach which has been applied to several different application domains such as biology, communication and network protocols, security, dependability, just to name a few. In this paper, we realize about the feasibility of Probabilistic Model Checking to analyze power supply systems. We modelled and evaluated two types of systems: a solar power system and batteries of artificial satellites. Our findings show that Probabilistic Model Checking provides accurate results and can be used as a complementary approach to traditional simulation tools for Model-Driven Development of complex industrial applications.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220–270. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72522-0_6
Safie, F.M.: Probabilistic modeling of solar power systems. In: Annual Reliability and Maintainability Symposium, 1989. Proceedings, pp. 425–430. IEEE (1989)
de Magalhães, R.O.: Esudo de avalanche térmica em um sistema de carga e descarga de baterias em satélites artificiais. Ph.D. thesis, INPE (2012)
Grunske, L.: Specification patterns for probabilistic quality properties. In: ACM/IEEE 30th International Conference on Software Engineering, ICSE 2008, pp. 31–40. IEEE (2008)
Benini, L., Castelli, G., Macii, A., Macii, E., Poncino, M., Scarsi, R.: A discrete-time battery model for high-level power estimation. In: Proceedings of the Conference on Design, Automation and Test in Europe, pp. 35–41. ACM (2000)
Zhou, W., Yang, H., Fang, Z.: Battery behavior prediction and battery working states analysis of a hybrid solar–wind power generation system. Renew. Energy 33(6), 1413–1423 (2008)
Rodrigues, I.P., Rego, L.F.M., Coimbra, T.d.S., Gruppelli, G.P., Ambrósio, A.M.: Identification and control techniques applied to an operational satellite simulator. Congresso Brasileiro de Automática, 22. (CBA) (2018)
Farid, H., El-Koosy, M., El-Shater, T., El-Koshairy, A., Mahmoud, A.: Simulation of a LEO satellite electrical power supply subsystem in-orbit operation. In: Proceedings of the 23rd European Photovoltaic Solar Energy Conference and Exhibition, Valencia, Spain (2008)
Jiang, Z., Dougal, R.A., Liu, S.: Application of VTB in design and testing of satellite electrical power systems. J. Power Sources 122(1), 95–108 (2003)
Acknowledgments
The authors would like to thank ITEMM for the help in carrying out this work and CNPq for the financial support on the process number 130878/2018-9.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Dioto, M., Eras, E.R., de Santiago Júnior, V.A. (2019). On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems. In: Misra, S., et al. Computational Science and Its Applications – ICCSA 2019. ICCSA 2019. Lecture Notes in Computer Science(), vol 11620. Springer, Cham. https://doi.org/10.1007/978-3-030-24296-1_59
Download citation
DOI: https://doi.org/10.1007/978-3-030-24296-1_59
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-24295-4
Online ISBN: 978-3-030-24296-1
eBook Packages: Computer ScienceComputer Science (R0)