Comparing high-level modeling approaches for embedded system design

- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The proposed evaluation investigates the facilities provided by these approaches for expressing system requirements, functional specification, and timing constraints. Properties like model readability, testability, and implementability are also considered. Moreover, the support to different Models of Computation is also evaluated. A Crane Control System is used as case study to apply the proposed comparison criteria.

• Type: Conference
• Year: 2005
• Where: ASPDAC
• Authors: Lisane B. de Brisolara, Leandro Buss Becker, Luigi Carro, Flávio Rech Wagner, Carlos Eduardo Pereira, Ricardo Reis
• Keywords: ASPDAC 2005, Crane Control System, Dataflow Models, Embedded Systems Design