Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata
Hoa Thi Thieu Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian · Unitn Eprints Research (Università Degli Studi di Trento) · 2010
In this report, we study the application of the Parametric Timed Automata(PTA) tool to a concrete case of a distributed Heterogeneous Communication System (HCS). The description and requirements of HCS are presented and the system modeling is explained carefully. The system models are developed in UPPAAL and validated by different test cases. Part of the system models are then converted into parametric timed automata and the schedulability checking is run to produce the schedulability regions.