A theory of diagnosis from first principles
Artificial Intelligence
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Tools for Distributed Application Management
Computer - Distributed computing systems: separate resources acting as one
Artificial intelligence and mathematical theory of computation
Characterizing diagnoses and systems
Artificial Intelligence
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
A machine program for theorem-proving
Communications of the ACM
Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
History-based diagnosis templates in the framework of the situation calculus
AI Communications - Special issue on KI-2001
Requirements monitoring in dynamic environments
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
A Configurable Event Service for Distributed Systems
ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
BerkMin: A Fast and Robust Sat-Solver
Proceedings of the conference on Design, automation and test in Europe
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring
HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Volume 07
A requirements monitoring framework for enterprise systems
Requirements Engineering
An automated approach to monitoring and diagnosing requirements
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Monitoring and diagnosing software requirements
Automated Software Engineering
On formal semantics of statecharts as supported by STATEMATE
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.00 |
It is important for any operational software system to be able to monitor itself for compliance with its specifications and to diagnose what went wrong in case of failures. In our previous work we presented a monitoring and diagnostic framework for verifying that a system is in compliance with its requirements [23, 24]. In this paper we extend our framework so that it can verify whether a software system complies with its other (and lower-level) specifications, namely its statechart. The framework monitors the software system's runtime behavior and identifies any failures that occur. We illustrate our framework with a medium-sized publicly available case study (an ATM simulation) and evaluate its performance through a series of experiments. The results demonstrate that our framework is scalable to industrial-size software systems with medium to large statecharts.