CORDIS
EU research results

CORDIS

English EN
Property-based system design

Property-based system design

Objective

The goal of the PROSYD project is to significantly increase the competitiveness and efficiency of the European IT industry through the establishment of a standard, integrated property-based paradigm for the design of electronic systems. This paradigm will integrate and unify the many phases of system development, including requirement definition, design, implementation, and verification, into one coherent design flow, building on the emerging standard property specification language PSL/Sugar, which has been recently selected as a basis for an IEEE standard. The new paradigm will enable the development of electronic systems of higher quality within shorter design cycles and with lower costs.

The prime deliverable of the PROSYD project will be a reference methodology and a set of coherent PSL/Sugar-based tools for property-based system design. Using these tools, we aim to demonstrate an improvement of at least 30% in design productivity. In addition, we expect to see an increase in the quality of the finished product, resulting in a significant decrease in the number of design flaws that make it through the verification phase.

Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Coordinator

IBM ISRAEL - SCIENCE AND TECHNOLOGY LTD

Address

94 Derech Em-Hamoshavot
49527 Petach Tikva

Israel

Administrative Contact

Participants (10)

Sort alphabetically

Expand all

ACCELLERA ORGANIZATION

United States

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE

France

ISTITUTO TRENTINO DI CULTURA

Italy

ONESPIN SOLUTIONS GMBH

Germany

STMICROELECTRONICS LIMITED

United Kingdom

STMICROELECTRONICS S.R.L.

Italy

STMICROELECTRONICS SA

France

TECHNISCHE UNIVERSITAET GRAZ

Austria

THE WEIZMANN INSTITUTE OF SCIENCE

Israel

UNIVERSITE JOSEPH FOURIER GRENOBLE 1

France

Project information

Grant agreement ID: 507219

  • Start date

    1 January 2004

  • End date

    31 December 2006

Funded under:

FP6-IST

  • Overall budget:

    € 7 023 969

  • EU contribution

    € 4 020 000

Coordinated by:

IBM ISRAEL - SCIENCE AND TECHNOLOGY LTD

Israel