Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Information filtering using bayesian networks: effective user interfaces for aviation weather data
Proceedings of the 8th international conference on Intelligent user interfaces
A differential approach to inference in Bayesian networks
Journal of the ACM (JACM)
Understanding the role of noise in stochastic local search: Analysis and experiments
Artificial Intelligence
Impartial Anticipation in Runtime-Verification
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Interface Generation and Compositional Verification in JavaPathfinder
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Modeling and Reasoning with Bayesian Networks
Modeling and Reasoning with Bayesian Networks
Diagnosing faults in electrical power systems of spacecraft and aircraft
IAAI'08 Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3
Compiling Bayesian networks using variable elimination
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Symbolic execution and model checking for testing
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Probabilistic Graphical Models: Principles and Techniques - Adaptive Computation and Machine Learning
A Real-Time Component Framework: Experience with CCM and ARINC-653
ISORC '10 Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Journal of Automated Reasoning
Who guards the guardians?: toward v&v of health management software
RV'10 Proceedings of the First international conference on Runtime verification
Learning Bayesian networks with local structure
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Bayesian network learning with abstraction hierarchies and context-specific independence
ECML'05 Proceedings of the 16th European conference on Machine Learning
What is my program doing? program dynamics in programmer's terms
RV'11 Proceedings of the Second international conference on Runtime verification
Software health management with Bayesian networks
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
More and more systems such as aircraft, machinery, and cars rely heavily on software, which performs safety-critical operations. Assuring software safety though traditional V&V has become a tremendous, if not impossible task, given the growing size and complexity of the software. We propose that SWHM (SoftWare Health Management) has the potential to increase safety and reliability of high-assurance software systems. SWHM can build upon the advanced techniques from the area of system health management to continuously monitor the behavior of software during operation, quickly detect anomalies and perform automatic and reliable root-cause analysis. Such a system would not replace traditional V&V, but rather supplement it. The information provided by the SWHM system can be used for automatic mitigation mechanisms (e.g., recovery, dynamic reconfiguration) or presented to a human operator for further analysis. SWHM may also feature a key prognostic capability, which can improve the reliability and availability of the software system because it provides information about soon-to-occur failures or looming performance bottlenecks. In this paper, we discuss research challenges associated with developing an SWHM system, and discuss how Bayesian networks (BN), a key technology used in advanced diagnostics systems may be used for SWHM modeling.