Defesa de Exame de Qualificação – Karila Palma Silva – 14/03/2017
14/03/2017 16:39
| Defesa de Exame de Qualificação | |
| Aluna | Karila Palma Silva |
| Orientador | Prof. Rômulo Silva de Oliveira, Dr. – DAS/UFSC |
| Data
Local |
14/03/2017 14h30 (terça-feira)
Sala PPGEAS I (piso superior) |
| Prof. Carlos Barros Montez, Dr. – DAS/UFSC (orientador)
Prof. Adenilso da Silva Simão, Dr. – ICMC/USP Prof. Joni da Silva Fraga, Dr. – DAS/UFSC
|
|
| Título
|
Estudo sobre Métodos para Teste de Tempo de Execução em Sistemas de Tempo Real |
| Resumo: Na medida em que o uso de sistemas computacionais prolifera em nossa sociedade, aplicações com requisitos de tempo real tornam-se cada vez mais comuns. Há necessidade da indústria de sistemas de tempo real fornecer sistemas mais eficazes, confiáveis e flexíveis, disponibilizando-os ao mercado o mais rápido possível. Isto resulta em aumento da complexidade do software, onde temos cada vez mais equipamentos com computadores controlando e tomando decisões que afetam o mundo físico e, consequentemente, empregando elementos complexos de hardware. Fornecer garantias de que os requisitos temporais são atendidos torna-se cada vez mais difícil, considerando que os sistemas de tempo real incluem equipamentos industriais com milhões de linhas de código e até mesmo controladores embutidos em utilidades domésticas baseados em Linux. Em um extremo temos os testes para sistemas críticos com técnicas de análise do Worst-Case Execution Time (WCET) rigorosa, para garantir o atendimento dos requisitos temporais, porém, com elevado custo e aplicabilidade limitada. E no outro extremo temos a abordagem de teste convencional de engenharia de software que é ad hoc, ou seja, a prática na indústria é realizar testes informais, sem utilização de metodologia, planejamento ou técnica de projeto de casos de teste. Testes convencionais são muitas vezes inapropriados, fornecendo apenas estimativas grosseiras sobre o cumprimento dos requisitos temporais. A tese a ser demonstrada é que é possível conceber métodos para teste de tempo de execução que são melhor estruturados do que os disponíveis hoje na literatura de engenharia de software, no sentido de fornecerem estimativas mais confiáveis para o WCET, e estabelecerem uma melhor relação entre o custo e a confiabilidade. | |
