Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements

Authors:
Gergely Pinter;Istvan Majzik
Affiliations:
Budapest University of Technology and Economics;Budapest University of Technology and Economics
Venue:
HASE '05 Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering
Year:
2005

Citing 0
Cited 3

Conditional safety certificates in open systems

Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Workflow-driven tool integration using model transformations

Graph transformations and model-driven engineering
Development of model based tools to support the design of railway control applications

SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

Checking various temporal requirements is a key dependability concern in safety-critical systems. As model-checking approaches do not scale well to systems of high complexity the runtime verification of temporal requirements has received a growing attention recently. This paper presents a code-generation based method for run-time evaluation of linear temporal logic formulae over program execution traces. The processing-power requirements of our solution are much lower than in case of previous approaches enabling its application even in resource-restricted embedded environments.