Combined security and schedulability analysis for MILS real-time critical architectures

Ill-Ham Atchadam Frank Singhoff 1, 2 Hai Nam Tran 2 Nora Bouzid Laurent Lemarchand 3
1 Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
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_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
Document type :
Conference papers
Complete list of metadatas
https://hal.univ-brest.fr/hal-02153499
Contributor : Frank Singhoff <>
Submitted on : Wednesday, June 12, 2019 - 11:49:14 AM
Last modification on : Thursday, June 13, 2019 - 1:39:44 AM

Identifiers

  • HAL Id : hal-02153499, version 1

Collections

UNIV-BREST | ENIB | LAB-STICC_ENIB | LAB-STICC | LAB-STICC_UBO | IBNM | INSTITUT-TELECOM

Citation

Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran, Nora Bouzid, Laurent Lemarchand. Combined security and schedulability analysis for MILS real-time critical architectures. 4th international workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Jun 2019, Stuttgart, Germany. ⟨hal-02153499⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

28

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD