Teaching Activities - Winter 21/22

  • Workshop (Vorkurs, Erstsemester Bachelor MB, SB):Hello World! – kurze Einführung in das Programmieren

    Language: German
    Online event
  • Lecture (Bachelor MB, SB): Informatik für Ingenieure - Einführung und Überblick (InfIng I)  - stud.ip

    Language: German; slides are available in English language, too
    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 - stud.ip

    Organization
    After enrolling in stud.ip 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.
    Contents
    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.

    Different approaches are possible to 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.

    Language: English

  • Seminar (Bachelor, Master; IIW, CS, ICS, MM, ET): Heterogenous computing: challenges and opportunities stud.ip

    Organization
    After enrolling in stud.ip 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.
    Contents
    In the seminar we will discuss what is and why heterogeneous computing systems are becoming more lucrative targets for machine learning, the challenges in the programming and scheduling on such system, state of the art technologies, and finally, real case studies that shows their edge over their homogeneous counterparts and research opportunities in the field.
    Each participant starts from an original research paper, prepares a presentation including a demonstration or example, and submits a report.

    Language: English