loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
Heidelberg, Germany
October 12-October 14
ISBN: 0-7695-2377-3
ASCII Text
x 
 
Gergely Pintér, István Majzik, "Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 111-120, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/HASE.2005.6,
author = {Gergely Pintér and István Majzik},
title = {Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements},
journal ={High-Assurance Systems Engineering, IEEE International Symposium on},
volume = {0},
year = {2005},
issn = {1530-2059},
pages = {111-120},
doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2005.6},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - High-Assurance Systems Engineering, IEEE International Symposium on
TI - Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
SN - 1530-2059
SP111
EP120
A1 - Gergely Pintér,
A1 - István Majzik,
PY - 2005
KW - null
VL - 0
JA - High-Assurance Systems Engineering, IEEE International Symposium on
ER -
 
Gergely Pintér, Budapest University of Technology and Economics
István Majzik, Budapest University of Technology and Economics
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.
Citation:
Gergely Pintér, István Majzik, "Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements," hase, pp.111-120, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.