Publication
A compositional scheduling framework for digital avionics systems
| dc.contributor.author | Easwaran, Arvind | |
| dc.contributor.author | Lee, Insup | |
| dc.contributor.author | Sokolsky, Oleg | |
| dc.contributor.author | Vestal, Steve | |
| dc.date.accessioned | 2014-02-12T11:47:40Z | |
| dc.date.available | 2014-02-12T11:47:40Z | |
| dc.date.issued | 2009 | |
| dc.description.abstract | ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration. | por |
| dc.identifier.doi | 10.1109/RTCSA.2009.46 | pt_PT |
| dc.identifier.isbn | 978-0-7695-3787-0 | |
| dc.identifier.issn | 1533-2306 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/3854 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.publisher | IEEE | por |
| dc.relation.ispartofseries | Embedded and Real-Time Computing Systems and Applications; | |
| dc.relation.publisherversion | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5279699 | por |
| dc.title | A compositional scheduling framework for digital avionics systems | por |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Beijing | por |
| oaire.citation.endPage | 380 | por |
| oaire.citation.startPage | 371 | por |
| oaire.citation.title | RTCSA '09. 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications | por |
| rcaap.rights | closedAccess | por |
| rcaap.type | article | por |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- ART_ArvindEaswaran_2009_CISTER.pdf
- Size:
- 276.83 KB
- Format:
- Adobe Portable Document Format
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: