Introduction
Highly complex and safety-critical systems are not only present in traditional areas such as the aerospace and nuclear power industries, but are also becoming ubiquitous in other areas including the automobile, health care, and the manufacturings industries. Integrated System Health Management (ISHM) systems are being created to detect, diagnose, predict, and potentially mitigate adverse events during the operation of such systems. ISHM systems obtain data from multiple sensors and perform reasoning about the state of health of the system based on data and physical models. Usually, major electromechanical or hydraulic subsystems in aircraft are monitored by an ISHM system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Williams, B.C., Nayak, U.: A model-based approach to reactive self-configuring systems. In: Proceedings of AAAI 1996, pp. 971–978 (1996)
Narasimhan, S., Brownston, L.: Hyde: a general framework for stochastic and hybrid model-based diagnosis. In: Proc. DX 2007, pp. 162–169 (2007)
Mengshoel, O.J., Darwiche, A., Cascio, K., Chavira, M., Poll, S., Uckun, S.: Diagnosing faults in electrical power systems of spacecraft and aircraft. In: Proc. 10th Innovative Applications of Artificial Intelligence Conf. (IAAI 2008), pp. 1699–1705 (2008)
Ricks, B.W., Mengshoel, O.J.: Methods for probabilistic fault diagnosis: An electrical power system case study. In: Proc. PHM 2009 (2009)
Qualtech Systems Inc.: The Testability, Engineering and Maintenance System, TEAMS (1993), http://www.teamqsi.com
Manders, E.J., Biswas, G., Mahadevan, N., Karsai, G.: Component-oriented modeling of hybrid dynamic systems using the generic modeling environment. In: Proc. MDB/MOMPES, pp. 159–168. IEEE, Los Alamitos (2006)
Poll, S., Patterson-Hine, A., Camisa, J., Garcia, D., Hall, D., Lee, C., Mengshoel, O.J., Neukom, C., Nishikawa, D., Ossenfort, J., Sweet, A., Yentus, S., Roychoudhury, I., Daigle, M., Biswas, G., Koutsoukos, X.: Advanced diagnostics and prognostics testbed. In: Proc. DX 2007, pp. 178–185 (2007)
Darwiche, A.: Modeling and Reasoning with Bayesian Networks. Cambridge University Press, Cambridge (2009)
Lindsey, A.E., Pecheur, C.: Simulation-based verification of autonomous controllers via Livingstone Pathfinder. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 357–371. Springer, Heidelberg (2004)
Pipatsrisawat, K., Darwiche, A., Mengshoel, O., Schumann, J.: Software Health Management: A Short Review of Challenges and Existing Techniques. In: Proc. SMC-IT (2009)
Pasareanu, C.S., Visser, W.: Symbolic execution and model checking for testing. In: Yorav, K. (ed.) HVC 2007. LNCS, vol. 4899, pp. 17–18. Springer, Heidelberg (2008)
Schumann, J., Gundy-Burlet, K., Pasareanu, C., Menzies, T., Barrett, T.: Software V&V support by parametric analysis of large software simulation systems. In: Proc. IEEE Aerospace. IEEE Press, Los Alamitos (2009)
Schumann, J., Bajwa, A., Berg, P.: Parametric testing of launch vehicle FDDR models. In: AIAA Space (2010)
DO-178B: Software considerations in airborne systems and equipment certification (1992), http://www.rtca.org
Necula, G.C.: Proof-carrying code. In: Proc. 24th ACM Symp. Principles of Programming Languages, pp. 106–119. ACM Press, New York (1997)
Dubey, A., Karsai, G., Kereskenyi, R., Mahadevan, M.: A Real-Time Component Framework: Experience with CCM and ARINC-653. In: IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schumann, J., Srivastava, A.N., Mengshoel, O.J. (2010). Who Guards the Guardians? — Toward V&V of Health Management Software. In: Barringer, H., et al. Runtime Verification. RV 2010. Lecture Notes in Computer Science, vol 6418. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16612-9_30
Download citation
DOI: https://doi.org/10.1007/978-3-642-16612-9_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16611-2
Online ISBN: 978-3-642-16612-9
eBook Packages: Computer ScienceComputer Science (R0)