Analysis of real-time embedded systems for co-design

Author

Benders, L.P.M.

Author_Institution

Dept. of Electr. Eng., Eindhoven Univ. of Technol., Netherlands

fYear

1995

fDate

7-9 Jun 1995

Firstpage

26

Lastpage

32

Abstract

Analysis of the system-level specifications of an embedded systems simplifies finding the best implementation. The specification language TL (`Task Level´) can specify the functional and temporal behaviour of the system. To change a concurrent description into an sequential specification is easy. A graphical toolbox based on coloured Petri nets generates performance information and resource utilization rates. This information is used to rearrange the specification to get a more efficient implementation. The system-level specification is translated into a hardware and software specification. A data-link protocol system-level specification illustrates the methodology

Keywords

Petri nets; formal specification; graph colouring; logic design; performance evaluation; protocols; real-time systems; specification languages; task analysis; TL specification language; Task Level; codesign; coloured Petri nets; concurrent description; data-link protocol; efficient implementation; functional behaviour specification; graphical toolbox; hardware specification; performance information; real-time embedded systems; resource utilization rates; sequential specification; software specification; specification rearrangement; system-level specifications; temporal behaviour specification; Analytical models; Application software; Consumer electronics; Embedded system; Hardware design languages; Petri nets; Process design; Real time systems; Specification languages; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Rapid System Prototyping, 1995. Proceedings., Sixth IEEE International Workshop on

Conference_Location

Chapel Hill, NC

ISSN

1074-6005

Print_ISBN

0-8186-7100-9

Type

conf

DOI

10.1109/IWRSP.1995.518567

Filename

518567