BIBLIOS

   Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
Non-intrusive Runtime Verification within a System-on-Chip

Participantes na publicação
José Rufino (Author)
Dep. Informática
 LASIGE
 António Casimiro (Author)
Dep. Informática
 LASIGE
 Felix Dino Lange (Author)
Martin Leucker (Author)
Torben Scheffel (Author)
Malte Schmitz (Author)
Daniel Thoma (Author)

Resumo
This paper describes how to enrich a System-on-Chip (SoC) design by flexible monitoring capabilities allowing to analyze the system's execution for ensuring safety requirements. To this end, a general SoC architecture is described enriched by observation means. Moreover, it is described how verification properties expressed in a temporal stream-based specification language can be translated into a monitor expressed in a hardware description language (Verilog) checking the underlying property. Finally, the link between the SoC and the monitoring unit is explained. Overall, a self-observing system is obtained that works coherently with the SoC.

Data de Publicação
2018-12

Suporte
Ada User Journal

Identificadores da Publicação

Volume
39
Fascículo
4

Número de Páginas
4
Página Inicial
296
Página Final
299


Exportar referência

APA
José Rufino, António Casimiro, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma, (2018). Non-intrusive Runtime Verification within a System-on-Chip. Ada User Journal, 39, 296-299.

IEEE
José Rufino, António Casimiro, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma, "Non-intrusive Runtime Verification within a System-on-Chip" in Ada User Journal, vol. 39, pp. 296-299, 2018.

BIBTEX
@article{39617, author = {José Rufino and António Casimiro and Felix Dino Lange and Martin Leucker and Torben Scheffel and Malte Schmitz and Daniel Thoma}, title = {Non-intrusive Runtime Verification within a System-on-Chip}, journal = {Ada User Journal}, year = 2018, pages = {296-299}, volume = 39 }