Skip to Main content Skip to Navigation
Conference papers

Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Language

Mourad Dridi 1 Mounir Lallali 2 Stéphane Rubini 1 Frank Singhoff 1 Jean-Philippe Diguet 3
1 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
2 Lab-STICC_UBO_CACS_MOCS
IBNM - Institut Brestois du Numérique et des Mathématiques, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
3 Lab-STICC_UBS_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Document type :
Conference papers
Complete list of metadatas

https://hal.univ-brest.fr/hal-01713333
Contributor : Mounir Lallali <>
Submitted on : Tuesday, February 20, 2018 - 2:31:32 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:36 PM

Identifiers

Citation

Mourad Dridi, Mounir Lallali, Stéphane Rubini, Frank Singhoff, Jean-Philippe Diguet. Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Language. the 10th International Workshop on Network on Chip Architectures, Oct 2017, Boston, United States. ⟨10.1145/3139540.3139543⟩. ⟨hal-01713333⟩

Share

Metrics

Record views

1524