Le, Hoa Thi Thieu and Palopoli, Luigi and Passerone, Roberto and Ramadian, Yusi (2010) Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata. UNSPECIFIED. (Unpublished)
| PDF Download (691Kb) | Preview |
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.
Item Type: | Departmental Technical Report |
---|---|
Department or Research center: | Information Engineering and Computer Science |
Subjects: | T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK7885 Computer Engineering Q Science > QA Mathematics > QA075 Electronic computers. Computer science |
Uncontrolled Keywords: | Parametric, Timed Automata, Schedulability, PTP, Audio streaming, case study |
Report Number: | DISI-10-031 |
Repository staff approval on: | 27 Apr 2010 |
Actions (login required)
View Item |