A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Analysis and Modeling of a Priority Inversion Scheme for Starvation Free Controller Area Networks Análise e modelagem de um esquema de inversão de prioridade para redes de áreas controladoras livres de fome

Cheng-Min LIN

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

O desenvolvimento da Rede de Área de Controle (CAN) começou em 1983 e continua até hoje. A previsão para a produção mundial anual em 2008 é de aproximadamente 65-67 milhões de veículos com 10-15 nós CAN por veículo, em média. Embora a rede CAN seja bem-sucedida no controle automotivo e industrial porque fornece mensagens de baixo custo, alta confiabilidade e prioridade, existe um problema de falta de energia na rede porque a rede é projetada para usar um mecanismo de prioridade fixa. Este artigo apresenta um esquema de inversão de prioridades, pertencente a um mecanismo de prioridade dinâmico para prevenir o problema da fome. O esquema proposto utiliza um bit para separar todas as mensagens em duas categorias com/sem prioridade invertida. Um modelo de análise também é construído neste artigo. Pelo modelo, uma mensagem com prioridade invertida tem maior prioridade de processamento do que mensagens sem prioridade invertida, portanto seu tempo médio de espera é menor que as demais. Dois casos com e sem inversão são implementados em nossos experimentos utilizando uma ferramenta de verificação de modelo probabilístico baseada em uma técnica de verificação formal automática. Os resultados numéricos demonstram que mensagens de baixa prioridade com inversão de prioridade têm melhor expressão na probabilidade em estado de fila cheia do que outras sem inversão. No entanto, nosso esquema é muito simples e eficiente e pode ser facilmente implementado no nível do chip.

Publicação
IEICE TRANSACTIONS on Information Vol.E93-D No.6 pp.1504-1511
Data de publicação
2010/06/01
Publicitada
ISSN online
1745-1361
DOI
10.1587/transinf.E93.D.1504
Tipo de Manuscrito
PAPER
Categoria
Sistema de Software

autores

Palavra-chave