Modular Modelling and Analysis of Time-dependent Systems
| Title | Modular Modelling and Analysis of Time-dependent Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2005 |
| Authors | Cicirelli, F, Furfaro, A, Nigro, L, Pupo, F |
| Conference Name | Proc. 19th European Conference on Modelling and Simulation (ECMS'05) |
| Date Published | 1-4, June |
| Conference Location | Riga, Latvia |
| Abstract | This paper describes an approach to the analysis of time-dependent systems which combines discrete-event simulation and model-checking techniques. The approach rests on Merlin and Farber's Time Petri Nets (TimePNs) and is supported by a Java toolbox TPN Designer which enables graphical modelling, simulation and translation into UPPAAL/Timed Automata, for exhaustive state space verification, of modular TimePN models. The paper discusses the potential of the proposed approach through its application to a real-time system model. |