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.
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata / Le, Thi Thieu Hoa; Palopoli, Luigi; Passerone, Roberto; Ramadian, Yusi. - ELETTRONICO. - (2010), pp. 1-20.
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata
Le, Hoa Thi Thieu;Palopoli, Luigi;Passerone, Roberto;Ramadian, Yusi
2010-01-01
Abstract
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
LePalopoliPasseroneRamadian10DISI.pdf
accesso aperto
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
691.78 kB
Formato
Adobe PDF
|
691.78 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
