Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.22/3854
Título: A compositional scheduling framework for digital avionics systems
Autor: Easwaran, Arvind
Lee, Insup
Sokolsky, Oleg
Vestal, Steve
Data: 2009
Editora: IEEE
Relatório da Série N.º: Embedded and Real-Time Computing Systems and Applications;
Resumo: 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.
Peer review: yes
URI: http://hdl.handle.net/10400.22/3854
ISBN: 978-0-7695-3787-0
ISSN: 1533-2306
Versão do Editor: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5279699
Aparece nas colecções:ISEP – CISTER – Artigos

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
ART_ArvindEaswaran_2009_CISTER.pdf276,83 kBAdobe PDFVer/Abrir    Acesso Restrito. Solicitar cópia ao autor!


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.