Zehnter internationaler Workshop über parallele und verteilte Methoden bei der Zertifizierung, Snowbird, USA
14 Juli 2011 - 14 Juli 2011
Vereinigte Staaten
Am 14. Juli 2011 findet in Snowbird, Vereinigte Staaten, der zehnte internationale Workshop über parallele und verteilte Methoden bei der Zertifizierung statt.
Die wachsende Bedeutung automatisierter formaler Verifikationen in der Industrie führt zu einem vermehrten Interesse an Aspekten zu deren Anwendbarkeit auf Probleme in der realen Welt. Eine der größten technischen Herausforderungen liegt in der Entwicklung von Instrumenten und Techniken für große industrielle Verifikationsmodelle.
Gleichzeitig erlebt die Computerindustrie gegenwärtig einen größeren Paradigmenwechsel. Hersteller von Prozessoren führen neue Generationen noch leistungsstärkerer Multicore-Prozessoren ein. Zeitgleich sind Cloud-basierte Rechenressourcen leicht zugänglich und externe Speichergeräte wie Festplatten oder Solid State Disks (SSD) werden größer.
Diese Entwicklungen bedeuten, dass Verifikationstechniken und -instrumente eine ähnlich tiefgreifende technische Umstellung durchlaufen müssen, um mit den neuen Hardwarearchitekturen mithalten zu können.
Die Konferenz befasst sich mit der Verifikation und Analyse sehr großer und komplexer Systeme, insbesondere mit der Verwendung von Methoden und Techniken, die die gegenwärtigen Hardwarearchitekturen nutzen. Themenschwerpunkte sind u.a.:
- Parallele und/oder verteilte Techniken zur Verifikation
- Effiziente Algorithmen zur Verifikation
- Verarbeitung Unit-beschleunigter Algorithmen zur Verifikation
- Plattformabhängige Verifikationstools
- Industrielle Fallstudien unter Verwendung paralleler und verteilter Methoden der Verifikationstechniken
- Anwendung paralleler und verteilter Methoden der Verifikationstechnik in der SystembiologieWeitere Informationen unter: http://www.pdmc.cz/PDMC11/(öffnet in neuem Fenster)
Die wachsende Bedeutung automatisierter formaler Verifikationen in der Industrie führt zu einem vermehrten Interesse an Aspekten zu deren Anwendbarkeit auf Probleme in der realen Welt. Eine der größten technischen Herausforderungen liegt in der Entwicklung von Instrumenten und Techniken für große industrielle Verifikationsmodelle.
Gleichzeitig erlebt die Computerindustrie gegenwärtig einen größeren Paradigmenwechsel. Hersteller von Prozessoren führen neue Generationen noch leistungsstärkerer Multicore-Prozessoren ein. Zeitgleich sind Cloud-basierte Rechenressourcen leicht zugänglich und externe Speichergeräte wie Festplatten oder Solid State Disks (SSD) werden größer.
Diese Entwicklungen bedeuten, dass Verifikationstechniken und -instrumente eine ähnlich tiefgreifende technische Umstellung durchlaufen müssen, um mit den neuen Hardwarearchitekturen mithalten zu können.
Die Konferenz befasst sich mit der Verifikation und Analyse sehr großer und komplexer Systeme, insbesondere mit der Verwendung von Methoden und Techniken, die die gegenwärtigen Hardwarearchitekturen nutzen. Themenschwerpunkte sind u.a.:
- Parallele und/oder verteilte Techniken zur Verifikation
- Effiziente Algorithmen zur Verifikation
- Verarbeitung Unit-beschleunigter Algorithmen zur Verifikation
- Plattformabhängige Verifikationstools
- Industrielle Fallstudien unter Verwendung paralleler und verteilter Methoden der Verifikationstechniken
- Anwendung paralleler und verteilter Methoden der Verifikationstechnik in der SystembiologieWeitere Informationen unter: http://www.pdmc.cz/PDMC11/(öffnet in neuem Fenster)