EU - Prosyd - Property-Based System Design

  • Pill, Ingo Hans, (Teilnehmer (Co-Investigator))
  • Staber, Stefan Simon, (Teilnehmer (Co-Investigator))
  • Griesmayer, Andreas, (Teilnehmer (Co-Investigator))
  • Jobstmann, Barbara, (Teilnehmer (Co-Investigator))
  • Bloem, Roderick (Projektleiter (Principal Investigator))

Projekt: Foschungsprojekt

Projektdetails

Beschreibung

Ziel des PROSYD Projektes ist, die Wettbewerbsfähigkeit und Effizienz der europäischen
IT-Industrie durch Etablieren eines standardisierten, integrierten eigenschafts-basierten Paradigmas für das Design elektronischer Systeme, signifikant zu steigern. Dieses Paradigma soll die verschiedenen Phasen der System-Entwicklung, einschließlich der Anforderungs- Definition, das Design, die Implementierung und Verifizierung in einen kohärenten Designfluß, aufbauend auf die neu entwickelte - und erst kürzlich als Basis für einen IEEE-Standard ausgewählten - Sprache, die Property Specification Language PSL/Sugar, beinhalten und vereinheitlichen. Das neue Paradigma wird die Entwicklung elektronischer Systeme höherer Qualität in kürzeren Design-Zyklen und mit niedrigeren Kosten ermöglichen. Das wichtigste Ergebnis des PROSYD-Projektes ist eine referenzierte Methodologie und ein Satz PSL/Sugar-basierter Tools für eigenschafts-basiertes Systemdesign. Durch Verwenden dieser Tools erwarten wir eine Steigerung der Design-Produktivität um mindestens 30%. Weiters erwarten wir eine Qualitätssteigerung des fertigen Produktes aufgrund einer signifikanten Reduktion an Designfehlern während der Verifikationsphase.
StatusAbschlussdatum
Tatsächlicher Beginn/ -es Ende1/01/0431/12/06

Publikationen

  • 12 Beitrag in einem Konferenzband

Automated Fault Localization for C Programs

Griesmayer, A., Staber, S. S. & Bloem, R. P., 2006, Workshop on Verification and Debugging. ., S. 82-99

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Automatic Fault Localization for Property Checking

Staber, S. S., Fey, G., Bloem, R. P. & Drechsler, R., 2006, (Angenommen/In Druck) Haifa Verification Conference. Springer

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Formal analysis of hardware requirements

Pill, I. H., Bloem, R. P., Semprini, S., Roveri, M., Cimatti, A. & Cavada, R., 2006, Design Automation Conference. Association of Computing Machinery, S. 821-826

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband