Abstract
HiP-HOPS is a model-based approach for assessing the dependability of safety-critical systems. The method combines models, logic, probabilities and nature-inspired algorithms to provide advanced capabilities for design optimisation, requirement allocation and safety argument generation. To deal with dynamic systems, HiP-HOPS has introduced temporal operators and a temporal logic to represent and assess event sequences in component failure modelling. Although this approach has been shown to work, it is not entirely consistent with the way designers tend to express operational dynamics in models which show mode and state sequences. To align HiP-HOPS better with typical design techniques, in this paper, we extend the method with the ability to explicitly consider different modes of operation. With this added capability HiP-HOPS can create and analyse temporal fault trees from architectural models of a system which are augmented with mode information.
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
Similar content being viewed by others
References
Vesely, W.E., Stamatelatos, M., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA office of safety and mission assurance, Washington D.C. (2002)
Joshi, A., Heimdahl, M.P.E., Miller, S.P., Whalen, M.W.: Model-based safety analysis. NASA Technical report, Hampton, VA, USA (2006)
Fenelon, P., McDermid, J.A.: An integrated toolset for software safety analysis. J. Syst. Softw. 21, 279–290 (1993)
Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139–152. Springer, Heidelberg (1999). doi:10.1007/3-540-48249-0_13
Arnold, A., Point, G., Griffault, A., Rauzy, A.: The AltaRica formalism for describing concurrent systems. Fundam. Inform. 40, 109–124 (2000)
Bozzano, M., Villafiorita, A.: The FSAP/NuSMV-SA safety analysis platform. Int. J. Softw. Tools Technol. Transf. Spec. Sect. Adv. Autom. Verif. Crit. Syst. 9, 5–24 (2007)
Feiler, P., Rugina, A.: Dependability modeling with the architecture analysis & design language (AADL). Technical report, Carnegie Mellon University (2007)
Aizpurua, J.I., Muxika, E.: Model-based design of dependable systems: limitations and evolution of analysis and verification approaches. Int. J. Adv. Secur. 6, 12–31 (2013)
Sharvia, S., Kabir, S., Walker, M., Papadopoulos, Y.: Model-based dependability analysis: state-of-the-art, challenges, and future outlook. In: Software Quality Assurance: In Large Scale and Complex Software-Intensive Systems, pp. 251–278 (2015)
Walker, M.: Pandora: a logic for the qualitative analysis of temporal fault trees. Ph.D. thesis, University of Hull (2009)
Rauzy, A.: Mode automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78, 1–12 (2002)
Papadopoulos, Y., Walker, M., Parker, D., Sharvia, S., Bottaci, L., Kabir, S., Azevedo, L., Sorokos, I.: A synthesis of logic and bio-inspired techniques in the design of dependable systems. Ann. Rev. Control 41, 170–182 (2016)
Papadopoulos, Y., Mcdermid, J., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. RESS 71, 229–247 (2001)
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete-event models. IEEE Trans. Control Syst. Technol. 4, 105–124 (1996)
Kabir, S., Walker, M., Papadopoulos, Y.: Quantitative evaluation of pandora temporal fault trees via petri nets. IFAC-PapersOnLine 48, 458–463 (2015)
Kabir, S., Walker, M., Papadopoulos, Y.: Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 96–109. Springer, Cham (2014). doi:10.1007/978-3-319-12214-4_8
Labeau, P.E., Smidts, C., Swaminathan, S.: Dynamic reliability: towards an integrated platform for probabilistic risk assessment. Reliab. Eng. Syst. Saf. 68, 219–254 (2000)
Acknowledgments
This work was partly funded by the DEIS H2020 project (Grant Agreement 732242).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Kabir, S. et al. (2017). A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies. In: Bozzano, M., Papadopoulos, Y. (eds) Model-Based Safety and Assessment. IMBSA 2017. Lecture Notes in Computer Science(), vol 10437. Springer, Cham. https://doi.org/10.1007/978-3-319-64119-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-64119-5_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64118-8
Online ISBN: 978-3-319-64119-5
eBook Packages: Computer ScienceComputer Science (R0)