Speaker: Dr. Mark Trakhtenbrot, 
         Holon Academic Institute of Technology

Title: Run-time monitoring of reactive systems

Abstract:

In model-based development of reactive systems,
statecharts are widely used for formal design of
system behavior, and provide a sound basis for
analysis and verification tools, as well as for code
generation from system models. We present an approach
for dynamic analysis of reactive systems via run-time
verification of code produced from system models. The
core of the approach is automatic creation of
monitoring statecharts from formulas that specify
system's behavioral properties in a proposed assertion
language. Such monitors are then translated into code
together with the system model, and executed
concurrently with the system code. This approach leads
to a more realistic analysis of reactive systems, as
monitoring is supported in the system's actual
operating environment. This helps to overcome
restrictions inherent in simulation and model
checking.
 
(joint work with M.Auguston, Naval Postgraduate
School, Monterey, California)