Abstract
The concept of Phased Mission Systems (PMS) can be used to describe maintenance procedures made of sequential actions that use a set of resources and may severely affect them, for instance operations that require outage of hardware and/or software components to recover from a failure or to perform upgrades, tests, and configuration changes. We propose an approach for modeling and evaluation of this class of maintenance procedures, notably addressing the case of actions with non-exponential and firmly bounded duration. This yields stochastic models that underlie a Markov Regenerative Process (MRP) with multiple concurrent timed events having a general (GEN) distribution over a bounded support, which can be effectively analyzed through the method of stochastic state classes. The approach allows evaluation of transient availability measures, which can be exploited to support the selection of a rejuvenation plan of system resources and the choice among different feasible orderings of actions. The experiments were performed through a new release of the Oris tool based on the Sirio framework.
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
Preview
Unable to display preview. Download preview PDF.
References
Ciardo, G., German, R., Lindemann, C.: A characterization of the stochastic process underlying a stochastic Petri net. IEEE Trans. SW Eng. 20(7), 506–515 (1994)
Bobbio, A., Telek, M.: Markov regenerative SPN with non-overlapping activity cycles. In: Int. Comp. Perf. and Dependability Symp. - IPDS 1995, pp. 124–133 (1995)
Bernardi, S., Campos, J., Merseguer, J.: Timing-failure risk assessment of UML design using time Petri net bound techniques. IEEE Transactions on Industrial Informatics 7(1), 90–104 (2011)
Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. on SW Eng. 17(3), 259–273 (1991)
Bobbio, A., Puliafito, A., Scarpa, M., Telek, M.: WebSPN: a web-accessible Petri net tool. In: Proc. Conf on Web-based Modeling and Simulation (1998)
Bruneo, D., Distefano, S., Longo, F., Scarpa, M.: Stochastic evaluation of QoS in service-based systems. IEEE Trans. on Parallel and Distributed Systems (2012)
Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. Int. Journal of SW Tools for Technology Transfer 12(5), 391–403 (2010)
Burdick, L., Fussell, J.B., Rasmuson, D., Wilson, J.: Phased mission analysis: a review of new developments and an application. IEEE Trans. on Rel. 26(1), 43–49 (1977)
Carnevali, L., Grassi, L., Vicario, E.: State-density functions over DBM domains in the analysis of non-Markovian models. IEEE Trans. on SW Eng. 35(2), 178–194 (2009)
Carnevali, L., Ridi, L., Vicario, E.: A framework for simulation and symbolic state space analysis of non-Markovian models. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 409–422. Springer, Heidelberg (2011)
Carnevali, L., Ridi, L., Vicario, E.: Putting preemptive time Petri nets to work in a V-model SW life cycle. IEEE Trans. on SW Eng. 37(6) (November/December 2011)
Carnevali, L., Ridi, L., Vicario, E.: Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models. In: 8th Int. Conf. on Quantitative Evaluation of Systems (QEST 2011), pp. 153–154 (2011)
Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic Petri nets. Perform. Eval. 20(1-3), 337–357 (1994)
Combacau, M., Berruet, P., Zamai, E., Charbonnaud, P., Khatab, A.: Supervision and monitoring of production systems. In: Proc. IFAC Conf. on Management and Control of Production and Logistics (2000)
Dugan, J.B.: Automated analysis of phased-mission reliability. IEEE Trans. on Reliability 40(1), 45–52 (1991)
Dugan, J.B.: Galileo: A tool for dynamic fault tree analysis. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 328–331. Springer, Heidelberg (2000)
Horváth, A., Paolieri, M., Ridi, L., Vicario, E.: Transient analysis of non-Markovian models using stochastic state classes. Perf. Eval. 69(7-8), 315–335 (2012)
Mura, I., Bondavalli, A.: Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability. IEEE Trans. Comput. 50(12), 1337–1351 (2001)
Ou, Y., Dugan, J.B.: Modular solution of dynamic multi-phase systems. IEEE Transactions on Reliability 53(4), 499–508 (2004)
Glynn, P.W.: A GSMP formalism for discrete-event systems. Proceedings of the IEEE 77, 14–23 (1989)
Shrestha, A., Xing, L., Dai, Y.: Reliability analysis of multistate phased-mission systems with unordered and ordered states. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 41(4), 625–636 (2011)
Tadano, K., Xiang, J., Kawato, M., Maeno, Y.: Automatic synthesis of SRN models from system operation templates for availability analysis. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 296–309. Springer, Heidelberg (2011)
Trivedi, K.S.: Probability and statistics with reliability, queuing, and computer science applications. John Wiley and Sons, New York (2001)
Vicario, E.: Static analysis and dynamic steering of time dependent systems using time Petri nets. IEEE Trans. on SW Eng. 27(1), 728–748 (2001)
Vicario, E., Sassoli, L., Carnevali, L.: Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. on SW Eng. 35(5), 703–719 (2009)
Wang, D., Trivedi, K.S.: Reliability analysis of phased-mission system with independent component repairs. IEEE Trans. on Reliability 56(3), 540–551 (2007)
Weiss, K.A., Leveson, N., Lundqvist, K., Farid, N., Stringfellow, M.: An analysis of causation in aerospace accidents. In: Digital Avionics Systems Conference (DASC), vol. 1, pp. 4A3–4A1. IEEE (2001)
Xing, L., Dugan, J.B.: Analysis of generalized phased-mission system reliability, performance, and sensitivity. IEEE Trans. on Reliability 51(2), 199–211 (2002)
Xing, L., Dugan, J.B.: A separable ternary decision diagram based analysis of generalized phased-mission reliability. IEEE Trans. on Rel. 53(2), 174–184 (2004)
Yam, R., Tse, P., Li, L., Tu, P.: Intelligent predictive decision support system for condition-based maintenance. Int. Journal of Advanced Manufacturing Technology 17(5), 383–391 (2001)
Zang, X., Sun, N., Trivedi, K.S.: A BDD-based algorithm for reliability analysis of phased-mission systems. IEEE Transactions on Reliability 48(1), 50–60 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Carnevali, L., Paolieri, M., Tadano, K., Vicario, E. (2013). Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds) Computer Performance Engineering. EPEW 2013. Lecture Notes in Computer Science, vol 8168. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40725-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-40725-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40724-6
Online ISBN: 978-3-642-40725-3
eBook Packages: Computer ScienceComputer Science (R0)