Teaching Activities - Winter 22/23
- Workshop (Vorkurs, Erstsemester Bachelor MB, SB):Hello World! – kurze Einführung in das Programmieren
Time: October 14, 9am
Place: Audimax I
- Lecture (Bachelor for different engineering courses): Informatik für Ingenieure - Einführung und Überblick (InfIng I) - stud.ip
Language: German (Tuesday, 8-10:30) and English (Friday, 8-10:30)
Further information will be available in stud.ip (use link above).
- Seminar (Bachelor, Master; IIW, CS, ICS, MM, ET): Is it healthy? Monitoring the Health State of Embedded Systems
After enrolling via TUNE, we will send information for the first meeting. During that meeting we will assign topics to participants and fix the full schedule of the seminar.
Embedded systems are usually tested and sometimes, when feasible, formally verified. However, there is no guarantee that the system is performing the correct operations at every point in time and in any possible situation.
Examples that test and verification may be insufficient are numerous:
- A Boeing 777 from Perth to Kuala Lumpur experienced a severe failure which forced the pilot to disconnect the autopilot and return to Perth after the speed decreased from 270 kts to 158 kts.
- While in cruise at 37,000 ft, in response to spikes in angle of attack (AOA) data, the Airbus A330 flight control primary computers (FCPCs) commanded the aircraft to pitch down. At least 110 of the 303 passengers and nine of the 12 crew members were injured.
- Seminar (Bachelor, Master; IIW, CS, ICS, MM, ET): Fog computing: challenges and opportunities
After enrolling via TUNE we will send information for the first meeting. During that meeting we will assign topics to participants and fix the full schedule of the seminar. Each participant starts from an original research paper, prepares a presentation including a demonstration or example, and submits a report.
Modern vehicular applications demand high computing and communication capacities to excel in their latency-sensitive and compute-intense tasks. On the other hand, the fog computing paradigm shifts the computational resource to the edge of the networks, serving as an extension of the cloud, it lefts the latency constraints and reduces the incoming traffic to the network.
This seminar discusses the vehicular-fog-computing (VFC), a visionary concept of turning vehicles into mobile fog nodes to provide on-demand, cost-efficient computing solution for vehicular application. The seminar focuses on the aspects of architecture, resource management and allocation, crowdsourcing and capacity analysis of this novel computing paradigm.
Different approaches solve this issue. On-line testing uses routines, performed at runtime, to test the behavior of the system when in idle state. This mainly aims at identifying defects. Sometimes that is not a strong enough guarantee if the system is performing safety-critical operations. For such situations, online monitors continuously analyze the behavior of a system while it is operating.
A monitor observes the behavior of a system and detects if it is consistent with a given specification. In more detail, the monitor observes particular signals and, if some incorrect behavior or an anomaly is detected, raises a warning. Such an approach is currently used in vastly different domains: from intrusion detection systems (IDS) in distributed network applications to single IoT devices. There are various paradigms for monitors using data-driven approaches, machine learning, concurrent models of the system, or automated generation from the specification.
This seminar will give a prospective on the state of the art of monitoring techniques.
Each participant starts from an original research paper, prepares a presentation including a demonstration or example, and submits a report.