Automatic translation of the limited IPTES SA/SD-RT physical model to High-Level Timed Petri Nets

The SA/SD-RT methodology is based on the use of a given language for defining real-time systems from the abstract specifications of requirements to the more concrete specifications of design. The proposed language is structured in a set of levels addressing the specifications of the systems at the different levels of abstraction. This document refers the SA/SD-RT physical model, the level used for representing real-time systems as composed of tasks and processors available for their execution. The definition of the SA/SD-RT physical model has been addressed in a former document ([Elmstrøm&93]). This document describes how the SA/SD-RT physical model can be algorithmically mapped to high-level timed Petri nets. Automatic translation of the limited IPTES SA/SD-RT physical model to: : : Contents 1 Introduction 2 2 The IPTES Physical Model: An Overview 4 3 Tasks 7 3.1 Task Components : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 3.1.1 Flows : : : : : : : : : : : : : : : : : :..