naa a22 4500 510791212 CHVBK 20180411083320.0 cr unu---uuuuu 180411e20131201xx s 000 0 eng 10.1007/s11334-013-0213-z doi (NATIONALLICENCE)springer-10.1007/s11334-013-0213-z Maintaining the health of software monitors [Elektronische Daten] [Suzette Person, Neha Rungta] Software health management (SWHM) techniques complement the rigorous verification and validation processes that are applied to safety-critical systems prior to their deployment. These techniques are used to monitor deployed software in its execution environment, serving as the last line of defense against the effects of a critical fault. SWHM monitors use information from the specification and implementation of the monitored software to detect violations, predict possible failures, and help the system recover from faults. Changes to the monitored software, such as adding new functionality or fixing defects, therefore, have the potential to impact the correctness of both the monitored software and the SWHM monitor. In this work, we describe how the results of a software change impact analysis technique, Directed Incremental Symbolic Execution (DiSE), can be applied to monitored software to identify the potential impact of the changes on the SWHM monitor software. The results of DiSE can then be used by other analysis techniques, e.g., testing, debugging, to help preserve and improve the integrity of the SWHM monitor as the monitored software evolves. Springer-Verlag London (outside the USA), 2013 Software evolution nationallicence Program analysis nationallicence Software health management nationallicence Person Suzette NASA Langley Research Center, Hampton, USA aut Rungta Neha NASA Ames Research Center, Moffett Field, USA aut Innovations in Systems and Software Engineering Springer London 9/4(2013-12-01), 257-269 1614-5046 9:4<257 2013 9 11334 https://doi.org/10.1007/s11334-013-0213-z text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11334-013-0213-z text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Person Suzette NASA Langley Research Center, Hampton, USA aut NATIONALLICENCE 700 1- Rungta Neha NASA Ames Research Center, Moffett Field, USA aut NATIONALLICENCE 773 0- Innovations in Systems and Software Engineering Springer London 9/4(2013-12-01), 257-269 1614-5046 9:4<257 2013 9 11334 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer