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 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.

[1]  Paul T. Ward,et al.  The transformation schema: An extension of the data flow diagram to represent control and timing , 1986, IEEE Transactions on Software Engineering.

[2]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[3]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[4]  Michael Andersen,et al.  An executable subset of VDM-SL in an SA/RT framework , 2005, Real-Time Systems.

[5]  Petri Pulli,et al.  Graphical animation as a form of prototyping real-time software systems , 1993, Real-Time Systems.

[6]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[7]  J. A. de la Puente,et al.  AN ARCHITECTURE FOR INCREMENTAL PROTOTYPING OF DISTRIBUTED REAL-TIME SYSTEMS* , 1992 .

[8]  Sandro Morasca,et al.  Timed high-level nets , 1991, Real-Time Systems.

[9]  Christoph Blaue,et al.  A VDM Subset Compiler , 1991, VDM Europe.

[10]  Mauro Pezzè,et al.  Giving semantics to SA/RT by means of high-level timed Petri nets , 1993, Real-Time Systems.

[11]  P. Pulli,et al.  Heterogeneous Prototypes in Concurrent Engineering of Embedded Software , 1992 .

[12]  Petri Pulli,et al.  IPTES - Incremental Prototyping Technology for Embedded real-time Systems , 1992, Microprocess. Microprogramming.

[13]  Carlo Ghezzi,et al.  A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..

[14]  Alejandro Alonso,et al.  Real time object communication protocol for incremental and distributed prototyping , 1992, Fourth Euromicro workshop on Real-Time Systems.

[15]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[16]  Carlo Ghezzi,et al.  High-Level Timed Petri Nets as a kernel for executable specifications , 1993, Real-Time Systems.

[17]  Alejandro Alonso,et al.  The IPTES environment: Support for incremental, heterogeneous and distributed prototyping , 2005, Real-Time Systems.

[18]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[19]  Petri Pulli,et al.  IPTES: A concurrent engineering approach for real-time software development , 1993, Real-Time Systems.