- 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.
