Object nets for the design and verification of distributed and embedded applications

  • Jürgen Nützel
  • Bernd Däne
  • Wolfgang Fengler
Workshop on Embedded HPC Systems and Applications Devesh Bhatt, Honeywell Technology Center, USA Viktor Prasanna, Univ. of Southern California, USA
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1388)


In this paper we present an object-oriented method for the design, verification and implementation of embedded and distributed systems. The method is called Concurrent Object Net (CON). The CON method is based upon extended statecharts which use specific message links for communication. For simulation and verification corresponding Petri nets are used. A platform abstraction framework for CON accesses hardware in optimized manner. An application example from the automotive domain is used to show further CON details.


Object-orientation Verification Petri nets Embedded systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Harel 87]
    Harel, David: Statecharts: A visual formalism for complex systems, Science of Computer Programming, Vol. 8, p. 231–274, 1987CrossRefGoogle Scholar
  2. [MERCEDES 98]
    Daimler-Benz: The Mercedes-Benz Homepage, 1998: Scholar
  3. [OPNTCL 98]
    Nützel, Jürgen: Opntcl (Object Petri Nets based on Tcl) Homepage, 1998: Scholar
  4. [Ousterhout 94]
    Ousterhout, John: Tcl and the Tk Toolkit, Addison-Weseley, 1994Google Scholar
  5. [SeGuWa 94]
    Selic, B.; Gullekson, G.; Ward, P. T.: ROOM-Real-Time Object-Oriented Modelling, John Wiley & Sons, 1994Google Scholar
  6. [UnDäNü 98]
    Unger, H.; Bäne, B.; Nützel, J.: Experiences Simulating the Load Sharing System LYDIA with High Level PN, HPC'98, Boston, April 1998Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Jürgen Nützel
    • 1
  • Bernd Däne
    • 1
  • Wolfgang Fengler
    • 1
  1. 1.Faculty for Informatics and AutomationTechnical University of IlmenauIlmenauGermany

Personalised recommendations