An object oriented Petri net language for embedded system design

Author

Esser, Robert

Author_Institution

Comput. Eng. & Networks Lab., Swiss Federal Inst. of Technol., Zurich, Switzerland

fYear

1997

fDate

14-18 Jul 1997

Firstpage

216

Lastpage

223

Abstract

In this paper a modelling language is described for the automated design of embedded systems. Constraints such as price, performance etc. often imply that embedded systems are implemented as communicating heterogeneous components. Today these components can no longer be classed as software or hardware but as more or less programmable with specialised languages being used to define their functionality and structure. The proposed modelling language 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 language constitutes a major part of the CodeSign design methodology developed at the ETH for embedded system design

Keywords

Petri nets; finite state machines; graph grammars; object-oriented languages; real-time systems; CodeSign design methodology; communicating heterogeneous components; embedded system design; high level time Petri nets; modelling language; object oriented Petri net language; object-oriented mechanisms; specialised formalisms; unambiguous specification; Computer networks; Design engineering; Design methodology; Embedded computing; Embedded system; Hardware; Kernel; Laboratories; Object oriented modeling; Petri nets;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Technology and Engineering Practice, 1997. Proceedings., Eighth IEEE International Workshop on [incorporating Computer Aided Software Engineering]

Conference_Location

London

Print_ISBN

0-8186-7840-2

Type

conf

DOI

10.1109/STEP.1997.615488

Filename

615488