Online Monitoring of Complex Conditions for Event-based Distributed Architectures (Sommersemester 2019)

Lecturer: Prof. Dr. Holger Giese (Systemanalyse und Modellierung) , Joachim Hänsel (Systemanalyse und Modellierung) , Lucas Sakizloglou (Systemanalyse und Modellierung)

General Information

• Weekly Hours: 4
• Credits: 6
• Graded: yes
• Enrolment Deadline: 26.04.2019
• Teaching Form: Project / Seminar
• Enrolment Type: Compulsory Elective Module
• Course Language: English

Programs, Module Groups & Modules

Description

Applications today are expected to be capable of interoperating with systems or other applications to achieve common goals. Medical applications in mobile devices are such an example [1]. Such an application makes periodic measurements, registers them over the Internet with a central authority, e.g. healthcare provider, and then wait for the server’s verdict on what to do next. In this course, we take on the key challenge to monitor such a process online, that is, to ensure that, while the system is up and running, certain conditions are never violated.

We assume that all of the devices generate events for every action or measurement they make. We analyze this system from the point-of-view of the central authority: For instance, the healthcare provider receives the logged actions from a possibly very large number of devices and then emits verdicts for each one of those devices while making sure some pre-defined conditions are never violated. The conditions are “complex”, in that, they can refer to past events, data measurements (e.g. heartbeat rate) or temporal constraints (e.g. “action A needs to happen within 2 minutes”). This project seminar studies current research trends in modeling such event-based architectures, formulating such conditions, and analyzing whether the former violates the latter.

Literature

[1] MobiGuide Project, MobiGuide Promotional Video

Learning

This is a project seminar. There will be a few introductory mandatory meetings introducing basic concepts. Afterwards, students will be given a selection of tools and standard benchmarks. Students are then required to form teams and a) use the tools to check the benchmarks b) evaluate their results with respect to usability and performance, and c) document their findings in the form of a short report and a presentation. Finally, d) students will present their findings in a final meeting Throughout the seminar, further meetings can be arranged, in order to answer questions or cover cross-cutting topics.

Examination

We will grade the student projects (50%), reports (40%) and presentations (10%). Participation in the seminar during other students' presentations in the form of questions and feedback is also required.

Dates

Besides individual feedback meetings with supervisors and the introductory meetings, there will not be any other regular meetings during the semester. Presentations will be given on the same day (date to be determined) usually near to the end of the lecture time of the semester.

The first meeting will be held on 16.04.19 in room A-2.2 at 11am.

Our second meeting to discuss organizational matters will be held on a date to be shortly announced.

For questions, please send an email.

Zurück