No abstract

No abstract

No abstract

Today's embedded systems (ES) are characterized by more and more parallelism. distribution over different locations and hard real-time (RT) requirements. Consequently. the modern. structured design process has to deal with heterogeneous requirements and restrictions. The integration of several core competencies is essential for establishing a methodological structured design process for parallel distributed embedded realtime systems. In this paper we present an overall structuring of the design process as well as the Paradise Design Environment reflecting the design process structure. Our activities are based on wide. theoretically well-founded concepts and tool support is built upon these theoretically foundations.

Abstract:A Petri net based approach for modeling dynamically modifiable embedded realtime systems is presented. The presented work contributes to the extension of a Petri net based design methodology for distributed embedded systems towards the handling of dynamically modifiable systems. Extensions to the underlying high-level Petri net model are introduced that allow for dynamic modifications of a net at run time.