DocumentCode
1398074
Title
CodeSign: an embedded system design environment
Author
Esser, R. ; Teich, J. ; Thiele, L.
Author_Institution
TIK, Eidgenossische Tech. Hochschule, Zurich, Switzerland
Volume
145
Issue
3
fYear
1998
fDate
5/1/1998 12:00:00 AM
Firstpage
171
Lastpage
180
Abstract
A modelling environment is described for the automated design of embedded systems. The basic model of computation consists of a class of high-level time Petri nets augmented with object-oriented mechanisms. It is formal, ensuring unambiguous specification, supports a high level of analysis and is general enough to support other more specialised formalisms. This model constitutes a major part of the CodeSign design methodology developed at the ETH, Zurich
Keywords
Petri nets; high level synthesis; object-oriented programming; programming environments; real-time systems; CodeSign; automated design; embedded system design environment; high-level time Petri nets; modelling environment; object-oriented mechanisms; unambiguous specification;
fLanguage
English
Journal_Title
Computers and Digital Techniques, IEE Proceedings -
Publisher
iet
ISSN
1350-2387
Type
jour
DOI
10.1049/ip-cdt:19981973
Filename
689283
Link To Document