Runtime verification of statechart implementations

CímRuntime verification of statechart implementations
Közlemény típusaJournal Article
Kiadás éve2005
SzerzőkPintér, G., and Majzik, I.
FolyóiratLECTURE NOTES IN COMPUTER SCIENCE
Kötet3549
Pagination148 - 172
Kiadás dátuma2005
ISBN-szám0302-9743
Összefoglalás

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.