The Real-Time Performers (RTP) architecture is a framework to design distributed soft real-time systems based on timed plans. Timed plans - they define system workflow - contain actions to be executed by distributed components at specified times. An RTP system is controlled by a strategist that may modify plans to adapt system behavior to environment conditions. When a timed plan is changed it may be checked for coherency. This paper presents techniques used in RTP to check timed plans validity through Petri Nets (PNs). These techniques are based on the definition of mappings from RTP topology and plans to PNs. Once PNs are generated, structural and behavioural properties can be calculated and mapped back to the RTP system.

Trentini, A., Micucci, D. (2005). Plan validation via Petri Nets in the Real-Time Performers Java framework. In Proceedings of the 2005 ACM Symposium on Applied Computing (pp.1534-1538). ACM [10.1145/1066677.1067022].

Plan validation via Petri Nets in the Real-Time Performers Java framework

MICUCCI, DANIELA
2005

Abstract

The Real-Time Performers (RTP) architecture is a framework to design distributed soft real-time systems based on timed plans. Timed plans - they define system workflow - contain actions to be executed by distributed components at specified times. An RTP system is controlled by a strategist that may modify plans to adapt system behavior to environment conditions. When a timed plan is changed it may be checked for coherency. This paper presents techniques used in RTP to check timed plans validity through Petri Nets (PNs). These techniques are based on the definition of mappings from RTP topology and plans to PNs. Once PNs are generated, structural and behavioural properties can be calculated and mapped back to the RTP system.
paper
Validation, soft real-time, planning
English
ACM Symposium on Applied Computing
2005
Proceedings of the 2005 ACM Symposium on Applied Computing
1-58113-964-0
2005
2
1534
1538
none
Trentini, A., Micucci, D. (2005). Plan validation via Petri Nets in the Real-Time Performers Java framework. In Proceedings of the 2005 ACM Symposium on Applied Computing (pp.1534-1538). ACM [10.1145/1066677.1067022].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/3156
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact