Alexander Nickol - Ablaufplanung nebenläufigerAktionen in VeriFun

Ort: Raum S2-02 /  E302
Datum und Zeit: Dienstag, 2. Dezember 2008, 16:25-18:00 Uhr

Alexander Nickol

Ablaufplanung nebenläufiger Aktionen in VeriFun

VeriFun bietet ein rudimentäres Aktionsmanagement. Sowohl Ablaufplanung und Ressourcenmanagement lassen sich nur schwer durchschauen und erschweren die Implementierung von nebenläufigen Aktionen. Es wird die bisherige Ablaufplanung von VeriFun analysiert und ein neuer Ansatz vorgestellt, der den bisherigen Ansatz erweitert, sodass sowohl Ausführungsprioritäten, Ressourcen als auch Abhängigkeiten zwischen den Aktionen beachtet werden. Im Rahmen der Integrierung des neuen Systems wurden die automatisierten Abläufe von VeriFun angepasst, sodass unter anderem die Beweisführung des Systems parallelisiert werden konnte.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang