Campus Event Calendar
Event Entry
What and Who
Monitoring Reactive Systems
Bernd Finkbeiner
Fachrichtung Informatik - Saarbrücken
Ringvorlesung
AG 1, AG 2, AG 3, AG 4, AG 5
Expert Audience
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 29 June 2006
13:00
-- Not specified --
E1 3 - Hörsaal Gebäude
16
Saarbrücken
Abstract
Runtime verification is a new field of research that is concerned with
languages, algorithms, and environments for monitoring the execution
of programs. An offline monitor analyzes stored program traces, which
is useful for testing large systems before deployment. An online
monitor processes the trace while it is being generated. Online
monitoring is used to detect violations of the specification when the
system is in operation, so that they can be handled before they
translate into observable and cascading failures, and to adaptively
optimize system performance.
languages, algorithms, and environments for monitoring the execution
of programs. An offline monitor analyzes stored program traces, which
is useful for testing large systems before deployment. An online
monitor processes the trace while it is being generated. Online
monitoring is used to detect violations of the specification when the
system is in operation, so that they can be handled before they
translate into observable and cascading failures, and to adaptively
optimize system performance.
Contact
--email hidden
passcode not visible
logged in users only
Veronika Weinand, 06/26/2006 12:41
Veronika Weinand, 04/26/2006 14:28
Veronika Weinand, 04/26/2006 14:21 -- Created document.
Veronika Weinand, 04/26/2006 14:28
Veronika Weinand, 04/26/2006 14:21 -- Created document.