标志
普洛西德

事件

链接

新闻报道

可交付成果

私人区域

描述

基于属性的系统设计的Prosyd项目将运行2004年1月1日至2006年12月31日。它已经制作好了通过欧盟委员会的慷慨拨款,信息社会技术根据第六框架计划。

PROSYD项目的目标是显著增加欧洲IT行业的竞争力和效率通过建立标准电子系统设计的基于属性的范例。这种范式将整合和统一系统的许多阶段开发,包括需求定义、设计、,将实施和验证整合到一个连贯的设计流程中,基于新兴的标准属性规范PSL/Sugar语言,最近被选为基础用于IEEE标准。新的范式将使内部高质量电子系统的开发设计周期更短,成本更低。

PROSYD项目的主要交付成果将是参考方法和一套连贯的基于PSL/Sugar的方法用于基于属性的系统设计的工具。使用这些工具,我们旨在证明设计方面至少有30%的改进生产力。此外,我们预计将看到成品的质量,导致减少设计缺陷的数量验证阶段。

合作伙伴

国际商用机器公司海法研究实验室 意法半导体公司
OneSpin解决方案 TU软件技术研究所格拉茨
ITC第一次:自动推理系统分开 魏茨曼研究所科学类
Verimag公司 Accellera标准组织
英飞凌科技