Comparing high-level modeling approaches for embedded system design

Authors:
Lisane Brisolara;Leandro Becker;Luigi Carro;Flávio Wagner;Carlos E. Pereira;Ricardo Reis
Affiliations:
Federal University of Rio Grande do Sul (UFRGS), Brazil;Federal University of Santa Catarina (UFSC), Brazil;Federal University of Santa Catarina (UFSC), Brazil;Federal University of Rio Grande do Sul (UFRGS), Brazil;Federal University of Rio Grande do Sul (UFRGS), Brazil;Federal University of Rio Grande do Sul (UFRGS), Brazil
Venue:
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Year:
2005

Citing 7
Cited 1

A Framework for Evaluating Specification Methods for Reactive Systems Experience Report

IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
The Unified Modeling Language user guide

The Unified Modeling Language user guide
Case study: system model of crane and embedded control

DATE '99 Proceedings of the conference on Design, automation and test in Europe
Designing Concurrent, Distributed, and Real-Time Applications with Uml

Designing Concurrent, Distributed, and Real-Time Applications with Uml
UML for real: design of embedded real-time systems

UML for real: design of embedded real-time systems
Integrating Data Flow Equations with UML/Realtime

Real-Time Systems
Integrating the Synchronous Dataflow Model with UML

Proceedings of the conference on Design, automation and test in Europe - Volume 1

Modeling Embedded Systems: From SystemC and Esterel to DFCharts

IEEE Design & Test

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper present 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 systems 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.