Modelling and Analysing Real Time System Specifications using Time Stream Petri Nets
| Title | Modelling and Analysing Real Time System Specifications using Time Stream Petri Nets |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Cicirelli, F, Furfaro, A, Nigro, L |
| Conference Name | Proc. of 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software (WRTP/RTS'09) |
| Pagination | 35–42 |
| Date Published | October 12-14 |
| Conference Location | Mragowo, Poland |
| Abstract | This paper describes an approach to modelling and analysis of real-time systems which is based on the Time Stream Petri Nets (TSPNs) formalism. The work argues that although TSPNs were originally proposed for modelling multimedia/hypermedia systems, they are well suited for expressing timing constraints in general time-dependent systems. The approach is assisted by some developed tools, based on discrete-event simulation and on model checking in terms of Uppaal timed automata, which permit temporal analysis and in particular schedulability analysis of real-time system speci cations. The paper introduces the TSPN formalism and describes an implemented transformation in Uppaal. The modelling/analysis approach is demonstrated by an example. Finally, an indication of further work is given in the conclusions. |