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

Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies Verificação de modelo na presença de agendadores usando uma linguagem específica de domínio para políticas de agendamento

Nhat-Hoa TRAN, Yuki CHIBA, Toshiaki AOKI

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Um sistema simultâneo consiste em vários processos executados simultaneamente. As ordens de execução desses processos são definidas por um escalonador. Nas técnicas de verificação de modelos, a política de escalonamento está intimamente relacionada ao algoritmo de busca que explora todos os estados do sistema. Para garantir a exatidão do sistema, a política de agendamento precisa ser levada em consideração durante a verificação. As abordagens atuais, que utilizam estratégias fixas, são capazes apenas de tipos limitados de políticas e são difíceis de estender para lidar com as variações dos escalonadores. Para resolver esses problemas, propomos um método que utiliza uma linguagem específica de domínio (DSL) para a especificação sucinta de diferentes políticas de escalonamento. Os artefatos necessários são gerados automaticamente a partir da especificação para analisar o comportamento do sistema. Também propomos um algoritmo de busca para explorar o espaço de estados. Com base neste método, desenvolvemos uma ferramenta para verificar o sistema com o escalonador. Nossos experimentos mostram que poderíamos atender facilmente às variações dos escalonadores e verificar os sistemas com precisão.

Publicação
IEICE TRANSACTIONS on Information Vol.E102-D No.7 pp.1280-1295
Data de publicação
2019/07/01
Publicitada
2019/03/29
ISSN online
1745-1361
DOI
10.1587/transinf.2017EDP7391
Tipo de Manuscrito
PAPER
Categoria
Sistema de Software

autores

Nhat-Hoa TRAN
  National University of Civil Engineering
Yuki CHIBA
  DENSO CORPORATION
Toshiaki AOKI
  Japan Advanced Institute of Science and Technology (JAIST)

Palavra-chave