Automated Support for Diagnosis and Repair
Communications of the ACM, 58 (2):
65--72 (February 2015)DOI: 10.1145/2658986
Abstract
Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems. The marriage of model checking for finding faults and machine learning for suggesting repairs promises to be a worthwhile, synergistic relationship. Though separate software tools for model checking and machine learning are available, their integration has the potential for automated support of the common verify-diagnose-repair cycle. Machine learning ensures the suggested repairs fix the fault without introducing any new faults.
