Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Show image information

PUSSEE - Paradigm Unifying System Specification Environments for Proven Electronic Design

The PUSSEE (Paradigm Unifying System Specification Environments for Proven Electronic Design) project focuses on the investigation of formal methods and tools for the refinement of virtual systems components in the area of electronic systems design. The specific goal of the project is to combine means of UML with B for systems design and C, VHDL and SystemC for code generation. Applications cover embedded systems design for automotives and mobile phones. 

Project funded by: DFG
Project duration: 01/2002 - 12/2004
Project partners: Volvo (D), Nokia (D), Intracom, Steria, University of Southampton (GB), KeesDA (F)
Contact: Dr. Wolfgang Müller, C-LAB