Abstract
Term greenware capitalizes the energy efficiency, performance of processes and durability of hardware. Online monitoring/testing is a measure to support these features in autonomous mission critical systems (AMCS). The amount of time needed for sampling AMCS service quality modes has direct impact to energy consumption. We propose an efficient online testing method of AMCS service modes where the Multi-Fragment Markov Models (MFMM) are used for specifying the system reliability and quality related behavior on high level of abstraction, and the more concrete state and timing constraints are specified explicitly using Uppaal Probabilistic Timed Automata (UPTA). To interrelate these models we demonstrate how the MFMM is mapped to UPTA. Second contribution is the test case selection mechanism for online identification of AMCS service modes by model-based conformance testing. The efficiency of active mode sampling is achieved by serializing the test cases for each sampling session using hypotheses provided by MFMM. The hypotheses are tested using UPTA for online conformance. The approach is illustrated with the Bonfire Multi-Processor System-on-Chip (MPSoC).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Veanes, M., et al.: Formal methods and testing. Chap. Model-based Testing of Object-oriented Reactive Systems with Spec Explorer, pp. 39–76. Springer, Berlin, Heidelberg (2008)
Kharchenko, V., Illiashenko, O.: Concepts of Green IT Engineering: Taxonomy, Principles and Implementation, pp. 3–19. Springer International Publishing, Cham (2017). https://doi.org/10.1007/978-3-319-44162-7_1
Miyase, K., Sauer, M., Becker, B., Wen, X., Kajihara, S.: Search space reduction for low-power test generation. In: Proceedings of the 22nd Asian Test Symposium (ATS), 2013. IEEE (2013)
Vain, J., Tsiopoulos, L., Kharchenko, V., Kaur, A., Jenihhin, M., Raik, J.: Multi-fragment Markov model guided online test generation for MPSoC. In: Ermolayev, V., Bassiliades, N., Fill, H.G., Yakovyna, V., Mayr, H.C., Kharchenko, V., Peschanenko, V., Shyshkina, M., Nikitchenko, M., Spivakovsky, A. (eds.) ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer: Proceedings of the 13th International Conference, ICTERI 2017, pp. 594–607. CEUR Workshop Proceedings RWTH Aachen University (2017)
Trivedi, K.S., Kim, D.S., Roy, A., Medhi, D.: Dependability and security models. In: Proceedings of 7th International Workshop on Design of Reliable Communication Networks, 2009. DRCN 2009. IEEE (2009)
Bulychev, P.E., et al.: UPPAAL-SMC: statistical model checking for priced timed automata. In: Wiklicky, H., Massink, M. (eds.) Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems (2012)
Bonfire project wiki: URL https://github.com/Project-Bonfire/Bonfire/wiki (2017)
Kemeny, J.G., Snell, J.L.: Finite Markov chains. Springer, New York (1976)
Aupperle, B., Meyer, J.: State space generation for degradable multiprocessor systems. In: Fault-Tolerant Computing, 1991. FTCS-21. Digest of Papers, Twenty-First International Symposium. IEEE (1991)
Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. Comput. 42(11), 1343–1360 (1993). https://doi.org/10.1109/12.247838
Fesenko, H., Kharchenko, V., Brezhnev, E., Zaitseva, E., Levashenko, V.: Markov Models of Smart Grid Digital Substations Availability: Multi-Level Degradation and Recovery of Power Resources Issues, pp. 339–355. Springer International Publishing, Cham (2017). https://doi.org/10.1007/978-3-319-55595-9_16
Socci, D., Poplavko, P., Bensalem, S., Bozga, M.: Modeling Mixed-Critical Systems in Real-time BIP. In: 1st Workshop on Real-Time Mixed Criticality Systems. Taipei, Taiwan (2013). URL: https://hal.archives-ouvertes.fr/hal-00867465
Negrean, M., Klawitter, S., Ernst, R.: Timing analysis of multi-mode applications on AUTOSAR conform multi-core systems. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE’13, pp. 302–307. EDA Consortium, San Jose, CA, USA (2013)
Whittaker, J.A., Thomason, M.G.: A markov chain model for statistical software testing. IEEE Trans. Softw. Eng. 20(10), 812–824 (1994). https://doi.org/10.1109/32.328991
Kashyap, A., Holzer, T., Sarkani, S., Eveleigh, T.: Model based testing for software systems: an application of markov modulated markov process. Int. J. Comput. Appl. 46(14), 13–20 (2012)
Siegl, S., Dulz, W., German, R., Kiffe, G.: Model-driven testing based on markov chain usage models in the automotive domain. In: Waeselynck, H. (ed.) 12th European Workshop on Dependable Computing, EWDC 2009, Toulouse, France (2009)
Haghbayan, M.H., Rahmani, A.M., Miele, A., Fattah, M., Plosila, J., Liljeberg, P., Tenhunen, H.: A power-aware approach for online test scheduling in many-core architectures. IEEE Trans. Comput. 65(3), 730–743 (2016)
Tretmans, J.: Testing concurrent systems: a formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, 1999 Proceedings, pp. 46–65. Springer, Berlin, Heidelberg (1999)
Brinksma, E., Tretmans, J.: Testing transition systems: an annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Ryan, M.D. (eds.) Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, France, 2000 Revised Tutorial Lectures, pp. 187–195. Springer, Berlin, Heidelberg (2001)
Li, H., Lam, C.P.: Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams, pp. 69–80. Springer, Berlin, Heidelberg (2005)
Veanes, M., Roy, P., Campbell, C.: Online testing with reinforcement learning. In: Havelund, K., Núñez, M., Rou, G., Wolff, B. (eds.) Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15–16, 2006. Revised Selected Papers, pp. 240–253. Springer, Berlin, Heidelberg (2006)
Vain, J., Kaaramees, M., Markvardt, M.: Online testing of nondeterministic systems with the reactive planning tester. In: Petre, L., Sere, K., Troubitsyna, E. (eds.) Dependability and Computer Engineering: Concepts for Software-Intensive Systems, pp. 113–150. IGI Global, Hershey, PA (2012). https://doi.org/10.4018/978-1-60960-747-0.ch007
Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A.: Availability Assessment of Information and Control Systems with Online Software Update and Verification. Springer International Publishing (2014)
Guimaraes, A.P., Oliveira, H.M.N., Barros, R., Maciel, P.R.: Availability analysis of redundant computer networks: a strategy based on reliability importance. In: IEEE 3rd International Conference on Communication Software and Networks (ICCSN), 2011. IEEE (2011)
Kharchenko, V., Odarushchenko, O., Odarushchenko, V., Popov, P.: Selecting mathematical software for dependability assessment of computer systems described by stiff markov chains. In: Proceedings of 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (ICTERI 2013), vol. 1000, pp. 146–162. CEUR-WS (2013)
Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–237. Springer, Berlin (2004)
Modelsim ASIC and FPGA Design—Mentor Graphics: URL https://www.mentor.com/products/fv/modelsim/ (2017)
Uppaal Tron: URL http://people.cs.aau.dk/marius/tron/
dTron: URL https://cs.ttu.ee/dtron/
Patrick Girard Nicola Nicolici, X.W. (ed.): Power-Aware Testing and Test Strategies for Low Power Devices. Springer, US (2010)
Acknowledgements
This research was supported by the Estonian Ministry of Education and Research institutional research grant no. IUT33-13, in part by project H2020 RIA IMMORTAL, and by European Union through the European Structural and Regional Development Funds.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Vain, J. et al. (2019). Energy-Efficient Multi-fragment Markov Model Guided Online Model-Based Testing for MPSoC. In: Kharchenko, V., Kondratenko, Y., Kacprzyk, J. (eds) Green IT Engineering: Social, Business and Industrial Applications. Studies in Systems, Decision and Control, vol 171. Springer, Cham. https://doi.org/10.1007/978-3-030-00253-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-00253-4_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-00252-7
Online ISBN: 978-3-030-00253-4
eBook Packages: EngineeringEngineering (R0)