Mixing Synchronous Reactive and Untimed Models of Computation

The support of heterogeneity at the specification level, that is, the ability to mix several models of computation (MoCs) in the system-level specification, is becoming increasingly important in system-level design methodologies of HW/SW embedded systems. It presents several advantages. At the modeling level, it permits to divide the system in parts and associate the most suitable MoC to each one. Thus, each part is more naturally described and efficiently analyzed, since the effort is put into the most important features of that part. In addition, heterogeneity facilitates automation of the design flowover a heterogeneous target platform. This work is in the context of the development of a heterogeneous system-level specification methodology based on SystemC. The methodology is able to support untimed MoCs (such as PN, KPN and CSP) and MoCs with a more detailed handling of time, such as the synchronous reactive (SR) MoC. The problem of MoC interfaces has been addressed and specifical...

• Type: Conference
• Year: 2005
• Where: FDL
• Authors: Fernando Herrera, Eugenio Villar
• Keywords: FDL 2005, MoCs, System-level Specification, Untimed Mocs