2008
EMSS 2008 Proceeding
Temporal analysis of complex time-dependent systems: an approach based on time petri nets, actordevs and hla
Authors: Franco Cicirelli, Angelo Furfaro, Libero Nigro,Francesco Pupo
Abstract
The design of time-dependent systems is challengingbecause it must fulfil both functional and temporalrequirements. A properly abstracted model of one sucha system, with temporal aspects only, is often derivedand analyzed in order to evaluate the temporalbehaviour of the system. Temporal analysis can bebased on simulation or (hopefully) on exhaustive statespace exploration. The latter techniques, though, aredifficult to practice for large system models. In the workdescribed in this paper, Time Petri Nets (TPNs) arepreferred to formalize a time-dependent system becausethey facilitate the expression of concurrency,distribution, synchronization, mutual exclusion etc.concerns. An approach is proposed where a TPN modelis mapped on ActorDEVS, a minimal and efficient Javaframework supporting parallel or interleaved DEVSmodel execution. Complex TPN models can beanalyzed using distributed simulation of ActorDEVSover HLA. The approach is demonstrated by means of areal-time realistic example.
I3M Scientific Sponsors
I3M Industrial Sponsors
I3M Media Sponsors
