Le, Hoa Thi Thieu and Palopoli, Luigi and Passerone, Roberto and Ramadian, Yusi (2010) Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata. [Departmental Technical Report] (Unpublished)
![[img]](http://eprints.biblio.unitn.it/style/images/fileicons/application_pdf.png)
| 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 |
|---|---|
| Uncontrolled Keywords: | Parametric, Timed Automata, Schedulability, PTP, Audio streaming, case study |
| Subjects: | T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK7885 Computer Engineering Q Science > QA Mathematics > QA075 Electronic computers. Computer science |
| Department or Research center: | Information Engineering and Computer Science |
| Repository staff approval on: | 27 Apr 2010 |
| Last Modified: | 28 Feb 2012 15:24 |
| URI: | http://eprints.biblio.unitn.it/id/eprint/1846 |
Actions (login required)
| View Item |
