Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/37826
Título: | Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts |
Autor(es): | Yanhong Huang Ferreira, João Fernando Peixoto Guanhua He Shengchao Qin Jifeng He |
Palavras-chave: | Verification Deadline AUTOSAR Timing protection Interrupts Periodic fixed priority scheduling real-time operating systems |
Data: | 2013 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science |
Resumo(s): | AUTOSAR, the open and emerging global standard for automotive embedded systems, offers a timing protection mechanism to protect tasks from missing their deadlines. However, in practice, it is difficult to predict when a deadline is violated, because a task missing its deadline may be caused by unrelated tasks or by the presence of interrupts. In this paper, we propose an abstract formal model to rep- resent AUTOSAR OS programs with timing protection. We are able to determine schedulability properties and to calculate constraints on the allowed time that interrupts can take for a given task in a given period. We implement our model in Mathematica and give a case study to illus- trate the utility of our method. Based on the results, we believe that our work can help designers and implementors of AUTOSAR OS programs check whether their programs satisfy crucial timing properties. |
Tipo: | Artigo em ata de conferência |
Descrição: | Lecture Notes in Computer Science 8144, 2013 |
URI: | https://hdl.handle.net/1822/37826 |
ISBN: | 978-3-642-41201-1 |
DOI: | 10.1007/978-3-642-41202-8_12 |
ISSN: | 0302-9743 |
Versão da editora: | http://link.springer.com/chapter/10.1007/978-3-642-41202-8_12 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |