This chapter describes how to use in-the-field runtime techniques to improve the dependability of software systems. In particular, we first present an overall vision of the problem of ensuring highly-dependable behaviours at runtime based on the concept of autonomic monitor, and then we present the two families of relevant approaches for this purpose. First, we present techniques related to runtime enforcement that can prevent the system producing bad behaviours. Second, we describe healing techniques that can detect if the system has produced a bad behaviour and react to the situation accordingly (e.g., moving the system back to a correct state).
CITATION STYLE
Falcone, Y., Mariani, L., Rollet, A., & Saha, S. (2018). Runtime failure prevention and reaction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10457 LNCS, pp. 103–134). Springer Verlag. https://doi.org/10.1007/978-3-319-75632-5_4
Mendeley helps you to discover research relevant for your work.