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

2016S, 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

Weitere Informationen

ECTS-Breakdown: 3 ECTS = 75 Hours

  • 12 h - Frontal Lessons
  • 63 h - Project and exercises

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.10:00 - 12:0016.03.2016 Library E182-2 (Treitlstrasse 3 (2nd floor), 1040 Vienna, Austria)Runtime Verification
Mi.10:00 - 12:0030.03.2016 Library E182-2 (Treitlstrasse 3 (2nd floor), 1040 Vienna, Austria)Runtime Verification
Mi.10:00 - 12:0020.04.2016 - 01.06.2016 Library E182-1 (Treitlstrasse 3 (3rd floor), 1040 Vienna, Austria)Runtime Verification
Runtime Verification - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.16.03.201610:00 - 12:00 Library E182-2 (Treitlstrasse 3 (2nd floor), 1040 Vienna, Austria)Runtime Verification
Mi.30.03.201610:00 - 12:00 Library E182-2 (Treitlstrasse 3 (2nd floor), 1040 Vienna, Austria)Runtime Verification
Mi.20.04.201610:00 - 12:00 Library E182-1 (Treitlstrasse 3 (3rd floor), 1040 Vienna, Austria)Runtime Verification
Mi.11.05.201610:00 - 12:00 Library E182-1 (Treitlstrasse 3 (3rd floor), 1040 Vienna, Austria)Runtime Verification
Mi.18.05.201610:00 - 12:00 Library E182-1 (Treitlstrasse 3 (3rd floor), 1040 Vienna, Austria)Runtime Verification
Mi.01.06.201610:00 - 12:00 Library E182-1 (Treitlstrasse 3 (3rd floor), 1040 Vienna, Austria)Runtime Verification

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch