Hardware/Software Co-Design of Complex Embedded Systems: An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation
Hardware/Software Co-Design of Complex Embedded Systems: An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation
复制标题
复杂嵌入式系统的硬件/软件协同设计：一种使用高效过程模型、多重形式化规范和协同仿真验证的方法
DOI：
--
复制
发表时间：
2003
影响因子：
1.4
通讯作者：
A. Jerraya
中科院分区：
文献类型：
--
作者：
N. Voros;L. Sánchez;A. Alonso;A. Birbas;M. Birbas;A. Jerraya
本文提出了一种硬件/软件协同设计的方法，不同的规格说明语言可以并行使用，允许有效的系统协同建模。该方法引入了一个过程模型，扩展了传统的螺旋模型，以反映现代嵌入式系统的设计需求。该方法由一个先进的工具集支持，该工具集允许使用SDL，Statecharts和MATRIXX进行联合建模和联合仿真，以及交互式硬件/软件分区。通过两个应用实例：汽车车窗升降机构的设计和无线ATM网络MAC层协议的设计，证明了该方法的有效性。
This paper presents a hardware/software co-design approachwhere different specification languages can be used in parallel, allowingeffective system co-modeling. The proposed methodology introduces a processmodel that extends the traditional spiral model so as to reflect the designneeds of modern embedded systems. The methodology is supported by an advancedtoolset that allows co-modeling and co-simulation using SDL, Statecharts andMATRIXX, and interactive hardware/software partitioning. The effectivenessof the proposed approach is exhibited through two applicati on examples: thedesign of a car window lift mechanism, and the design of a MAC layer protocolfor wireless ATM networks.