|
|
8th International Workshop on
Software and Compilers for Embedded Systems
SCOPES 2004
Workshop Program - Presentation Abstract
| A framework for architectural description of embedded systems |
Daniela Peixoto - Computer Science Department - Federal
University of Minas Gerais
Digenes Silva Jr. - Electrical Engineering Department - Federal
University of Minas Gerais
|
| In this paper a new approach for describing embedded systems is
presented. The approach is based on the composition of hardware and
software components with the addition of an interface between them.
Non-functional constraints for components and their interfaces can also
be modeled and verified. As such, the component-based view presented
here differs from traditional component-based views, where focus is laid
on the functional part. The ideas discussed in this paper have been
implemented in a tool. This tool enables the description of an embedded
system through a specific language. It can also allow the behavioral
simulation and the non-functional verification of the hardware and
software components. |
|