Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Wrapping Real-Time Systems from Temporal Logic Specifications
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
The Temporal Rover and the ATG Rover
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Towards a Formal Operational Semantics of UML Statechart Diagrams
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Runtime Verification of Timing and Probabilistic Properties using WMI and .NET
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
Watchdog Processors and Structural Integrity Checking
IEEE Transactions on Computers
Workflow-driven tool integration using model transformations
Graph transformations and model-driven engineering
Hi-index | 0.00 |
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granularity by (i) enabling the modeler to focus on specific key dependability criteria by defining temporal logic formulae over a behavioral model that is available even in early phases of the development and (ii) by supporting the verification of the final implementation against the fully elaborated UML statechart model. The paper presents an extension of the propositional linear temporal logic that fits to the advanced constructs of UML statecharts and an advanced watchdog scheme for concurrent supervision of program execution based on the statechart specification.