Abstract
As technology evolves, software systems become more and more voluminous and complex. Being currently unable to produce programs free of errors, and in order to ensure that program behaviors comply with their specifications, formal verification of their essential properties is paramount. To this end, model-checking verification approach has been widely used and continues to be. However, if these properties have been verified on a system model, would they still true during any real system execution? So, modeled behavior of a system would be exactly the same in real executions when interacting with its environment? That is why verification during current system execution is essential stage even as a complementary way to other verification approaches. In this paper, we are concerned by runtime verification optimization of component-based systems in Behavior Interactions Priority (BIP) framework in order to significantly reduce time overhead. Our contribution in this paper is to consider only component states involved in the property being verified. The required states imply their associated components to be activated and those useless are disabled. Also, when a steady state is reached during monitoring process, the monitor is stopped which reduces system consumption resources. Our experiment results showed that a non negligible amount of space-time overhead was avoided.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.H., Sifakis, J.: Rigorous component-based system design using the bip framework. IEEE Softw. 28, 41–48 (2011)
Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Logic Algebr. Programm. 78, 293–303 (2009)
Falcone, Y., Jaber, M., Nguyen, T.H., Bozga, M., Bensalem, S.: Runtime verification of component-based systems in the bip framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14, 173–199 (2015)
Zhou, G., Dong, W., Liu, W., Shi, H., Hu, C., Yin, L.: Optimizing monitor code based on patterns in runtime verification. In: 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp. 348–354. IEEE (2017)
Bonakdarpour, B., Navabpour, S., Fischmeister, S.: Sampling-based runtime verification. In: International Symposium on Formal Methods, pp. 88–102. Springer (2011)
Huang, X., Seyster, J., Callanan, S., Dixit, K., Grosu, R., Smolka, S.A., Stoller, S.D., Zadok, E.: Software monitoring with controllable overhead. Int. J. Softw. Tools Technol. Transf. 14, 327–347 (2012)
Nazarpour, H., Falcone, Y., Bensalem, S., Bozga, M., Combaz, J.: Monitoring multi-threaded component-based systems. Technical Report TR-2015-5, Verimag Research Report (2015)
Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. J. Logic Comput. 20, 651–674 (2010)
Falcone, Y., Fernandez, J.C., Mounier, L.: What Can You Verify and Enforce at Runtime?, vol. 14, pp. 349–382. Springer, Berlin (2012)
Bauer, A., Leucker, M., Schallhart, C.: The Good, the Bad, and the Ugly, But How Ugly is Ugly?, pp. 126–138. Springer, Berlin (2007)
Falcone, Y., Fernandez, J.C., Mounier, L.: Runtime verification of safety-progress properties. International Workshop on Runtime Verification, pp. 40–59. Springer, Berlin (2009)
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
Aliouat, L., Aliouat, M. (2019). Optimization of Component-Based Systems Run Time Verification. In: Chikhi, S., Amine, A., Chaoui, A., Saidouni, D.E. (eds) Modelling and Implementation of Complex Systems. MISC 2018. Lecture Notes in Networks and Systems, vol 64. Springer, Cham. https://doi.org/10.1007/978-3-030-05481-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-030-05481-6_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-05480-9
Online ISBN: 978-3-030-05481-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)