=ADD=
=reftype=
14
=number=
02-12
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2002/02-12.ps.gz
=year=
2002
=month=
05
=author=
Kovacs; Jozsef + Kusper; Gabor + Lovas; Robert + Schreiner; Wolfgang
=title=
Integrating Temporal Assertions into a Parallel Debugger
=abstract=
We describe the use of temporal logic formulas as runtime assertions 
in a parallel debugging environment.  The user asserts in a message 
passing program the expected system behavior by one or several such 
formulas. The debugger allows by "macro-stepping" to interactively 
elaborate the execution tree (i.e., the set of possible execution paths) 
which arises from the use of non-deterministic communication operations. 
In each macro-step, a temporal logic checker verifies that the once 
asserted temporal formulas are not violated by the current program 
state. Our approach thus introduces powerful runtime assertions into 
parallel and distributed debugging by incorporating ideas from the model 
checking of temporal formulas.
=howpublished=
Euro-Par 2002, 8th International Euro-Par Conference, Paderborn, Germany, August 27-30, 2002, Lecture Notes in Computer Science, Springer, Berlin, 8 pages.
=sponsor=
ÖAD-WTZ Project A-32/2000 "Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools"
=keywords=
parallel and distributed debugging, temporal logic, assertion checking