Lade Veranstaltungen

« Alle Veranstaltungen

  • Diese Veranstaltung hat bereits stattgefunden.

Runtime Verification 2015

22. September 2015 - 25. September 2015

Runtime Verification beschäftigt sich mit dem Monitoring und der Analyse von Hard- und Software-Prozessen. Ihre Techniken sind essenziell, um Systemstabilität zu gewährleisten, und sie sind deutlich mächtiger als konventionelle Testmethoden, und praktischer anwendbar als die Methoden der umfassenden formalen Verifikation.

Runtime Verification kann vor dem Einsatz zu Testzwecken angewendet werden, nach dem Einsatz, um Sicherheit und Stabilität zu gewährleisten. Anwendungsgebiete für Runtime Verification sind unter anderem zentrale Systeme, Enterprise Software Systeme sowie Gesundheits- und Diagnose-Systeme.

Details

Beginn:
22. September 2015
Ende:
25. September 2015
Veranstaltungskategorie:
Website:
http://rv2015.conf.tuwien.ac.at/

Veranstalter

TU Wien
E-Mail:
dekan@informatik.tuwien.ac.at
Website:
http://informatik.tuwien.ac.at

Veranstaltungsort

TU Wien – Karlsplatz 13
Karlsplatz 13
Wien, 1040 Österreich
+ Google Karte anzeigen
Website:
http://www.tuwien.ac.at