Title :
CodeSign: an embedded system design environment
Author :
Esser, R. ; Teich, J. ; Thiele, L.
Author_Institution :
TIK, Eidgenossische Tech. Hochschule, Zurich, Switzerland
fDate :
5/1/1998 12:00:00 AM
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;
Journal_Title :
Computers and Digital Techniques, IEE Proceedings -
DOI :
10.1049/ip-cdt:19981973
