Distributed execution of specifications

The IPTES project is aimed to provide a methodology and an integrated environment to support the development of embedded real-time systems with incremental, distributed and heterogeneous prototyping. IPTES architecture relies on High Level Timed Petri Nets (HLTPN) as the kernel notation for prototyp...

Full description

Saved in:
Bibliographic Details
Published in:Real-time systems 1993-05, Vol.5 (2-3), p.213-234
Main Authors: De La Puente, Juan A., Alonso, Alejandro, León, Gonzalo, Dueñas, Juan Carlos
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The IPTES project is aimed to provide a methodology and an integrated environment to support the development of embedded real-time systems with incremental, distributed and heterogeneous prototyping. IPTES architecture relies on High Level Timed Petri Nets (HLTPN) as the kernel notation for prototype animation and analysis. According to the environment characteristics, a distributed execution of HLTPN is required. First a method for partitioning the nets, reflecting the required functionality of the higher layers of the environment, is provided. Specific problems of the distributed execution of nets are analyzed, and an algorithm that maintains the time semantics of the net is provided, along with a brief description of the necessary support from the communication layer. Other issues addressed are how to provide a realistic animation, in relation with the time notion perceived by the developer, and how to execute heterogeneous prototypes when some subnets are replaced by procedural code.
ISSN:0922-6443
1573-1383
DOI:10.1007/BF01088589