191.106 Runtime Verification
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2018S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Runtime verification is concerned with the analysis of software or hardware at execution time. It is based on extracting information from a running system and monitoring if the observed behaviors satisfy or violate the properties of interest. These techniques are critical for system correctness, reliability, security, and robustness. They are more practical than exhaustive formal verification and more versatile than conventional testing. During the last decade, many important tools and techniques have been developed and successfully employed in several application domains that go beyond the program verification: mixed-signal analysis, falsification analysis of cyber-physical and biological systems, signal processing and music detection. This course offers an introduction to both the theory and practice about monitoring techniques for software and hardware.

Inhalt der Lehrveranstaltung

The course will start with an introduction on the areas where the verification should be preferable addressed at runtime. We will then discuss some techniques of software system instrumentation. We will then explore different specification languages to specify the properties to be monitored and the related available monitoring techniques.

Real case studies will expose students to the potential applications of these technologies. A final project will give them the possibility to make a concrete experience of the concepts taught. This is the list of the main topics of the course:

  • Monitoring techniques (state machines, rewriting logics, dynamic programming)

  • Monitoring software programs

  • Monitoring Mixed-Analog Signals

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.14:00 - 16:0022.05.2018 CPS library, E 191-01, Treitlstraße 1-3, 1040 WienRuntime Verification Lecture
Mi.14:00 - 16:0023.05.2018 CPS library, E 191-01, Treitlstraße 1-3, 1040 WienRuntime Verification Lecture
Do.14:00 - 16:0024.05.2018 CPS library, E 191-01, Treitlstraße 1-3, 1040 WienRuntime Verification Lecture
Mo.14:00 - 16:0028.05.2018 CPS library, E 191-01, Treitlstraße 1-3, 1040 WienRuntime Verification Lecture
Di.12:00 - 14:0029.05.2018 CPS library, E 191-01, Treitlstraße 1-3, 1040 WienRuntime Verification Lecture
Mi.11:00 - 13:0030.05.2018 CPS library, E 191-01, Treitlstraße 1-3, 1040 WienRuntime Verification Lecture

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlSemesterAnm.Bed.Info
066 938 Technische Informatik

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch