liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Resource-Predictable and Efficient Monitoring of Events
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
2004 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

We present a formally specified event specification language (Solicitor). Solicitor is suitable for real-time systems, since it results in resource-predictable and efficient event monitors. In event monitoring, event expressions defined in an event specification language control the monitoring by matching incoming streams of event occurrences against the event expressions. When an event expression has a complete set of matching event occurrences, the event type that this expression defines has occurred. Each event expression is specified by combining contributing event types with event operators such as sequence, conjunction, disjunction; contributing event types may be primitive, representing happenings of interest in a system, or composite, specified by event expressions.

The formal specification of Solicitor is based on a formal schema that separates two important aspects of an event expression; these aspects are event operators and event contexts. The event operators aspect addresses the relative constraints between contributing event occurrences, whereas the event contexts aspect addresses the selection of event occurrences from an event stream with respect to event occurrences that are used or invalidated during event monitoring. The formal schema also contains an abstract model of event monitoring. Given this formal specification, we present realization issues of, a time complexity study of, as well as a proof of limited resource requirements of event monitoring.

We propose an architecture for resource-predictable and efficient event monitoring. In particular, this architecture meets the requirements of realtime systems by defining how event monitoring and tasks are associated. A declarative way of specifying this association is proposed within our architecture. Moreover, an efficient memory management scheme for event composition is presented. This scheme meets the requirements of event monitoring in distributed systems. This architecture has been validated by implementing an executable component prototype that is part of the DeeDS prototype.

The results of the time complexity study are validated by experiments. Our experiments corroborate the theory in terms of complexity classes of event composition in different event contexts. However, the experimental platform is not representative of operational real-time systems and, thus, the constants derived from our experiments cannot be used for such systems.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2004. , 386 p.
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 876
Keyword [en]
composition, efficiency, event, formalization, monitoring, performance, predictability, real-time systems, time complexity, timeliness
National Category
Computer Science
URN: urn:nbn:se:liu:diva-5010ISBN: 91-7373-956-1OAI: diva2:20916
Public defence
2004-06-03, G111, G-huset, Högskolan Skövde, Box 408, 541 28 Skövde, Skövde, 13:15 (English)
Available from: 2004-06-10 Created: 2004-06-10 Last updated: 2014-10-08Bibliographically approved

Open Access in DiVA

fulltext(1329 kB)1222 downloads
File information
File name FULLTEXT01.pdfFile size 1329 kBChecksum SHA-1
Type fulltextMimetype application/pdf

By organisation
Department of Computer and Information ScienceThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1222 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 1436 hits
ReferencesLink to record
Permanent link

Direct link