Modular Modelling and Analysis of Time-dependent Systems

TitleModular Modelling and Analysis of Time-dependent Systems
Publication TypeConference Paper
Year of Publication2005
AuthorsCicirelli, F, Furfaro, A, Nigro, L, Pupo, F
Conference NameProc. 19th European Conference on Modelling and Simulation (ECMS'05)
Date Published1-4, June
Conference LocationRiga, Latvia

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.