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

Evaluation and Comparison of Integer Programming Solvers for Hard Real-Time Scheduling Avaliação e comparação de solucionadores de programação inteira para agendamento difícil em tempo real

Ana GUASQUE, Patricia BALBASTRE

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Para obter um cronograma viável de um sistema rígido de tempo real, técnicas baseadas em heurísticas são a solução de escolha. Nos últimos anos, os solucionadores de otimização ganharam a atenção das comunidades de pesquisa devido à sua capacidade de lidar com um grande número de restrições. Recentemente, alguns trabalhos utilizaram programação linear inteira (ILP) para resolver escalonamento monoprocessador de sistemas de tempo real. Na verdade, o ILP é comumente usado para escalonamento estático de sistemas multiprocessadores. No entanto, dois solucionadores principais são usados ​​para resolver o problema indistintamente. Mas qual é o melhor para obter um sistema escalonável para sistemas rígidos de tempo real? Este artigo faz uma comparação de dois pacotes de software de otimização bem conhecidos (CPLEX e GUROBI) para o problema de encontrar um escalonamento viável em sistemas rígidos de tempo real monoprocessados.

Publicação
IEICE TRANSACTIONS on Information Vol.E105-D No.10 pp.1726-1733
Data de publicação
2022/10/01
Publicitada
2022/07/21
ISSN online
1745-1361
DOI
10.1587/transinf.2022EDP7073
Tipo de Manuscrito
PAPER
Categoria
Fundamentos de Sistemas de Informação

autores

Ana GUASQUE
  Universitat Politècnica de València
Patricia BALBASTRE
  Universitat Politècnica de València

Palavra-chave