PROSYD – PROperty Based SYstem Design
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.
General Info
Start Date: 1 Jan 2004
End Date: 31 Dec 2006
Duration: 36 months
Partners
- FBK
- IBM Haifa Research Labs
- ST Microelectronics
- OneSpin Solutions
- Institute for Software Technology, TU Graz
- Weizmann Institute of Science
- Verimag
- Accellera Standards Organization
- Infineon
Website
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference