Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection
| Autor: | Sébastien Pillement, Sébastien Faucou, Dimitry Solet, Mikaël Briday, Jean-Luc Béchennec |
|---|---|
| Přispěvatelé: | Institut d'Électronique et des Technologies du numéRique (IETR), Université de Nantes (UN)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Nantes Université (NU)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES) |
| Rok vydání: | 2018 |
| Předmět: |
business.industry
Computer science Runtime verification 0211 other engineering and technologies 0102 computer and information sciences 02 engineering and technology Fault injection 01 natural sciences [SPI.TRON]Engineering Sciences [physics]/Electronics Microcontroller Software 010201 computation theory & mathematics Overhead (computing) [INFO.INFO-ES]Computer Science [cs]/Embedded Systems Transient (computer programming) business Field-programmable gate array Real-time operating system ComputingMilieux_MISCELLANEOUS Computer hardware 021106 design practice & management |
| Zdroj: | EDCC 14th European Dependable Computing Conference (EDCC) 14th European Dependable Computing Conference (EDCC), Sep 2018, Iasi, Romania. ⟨10.1109/edcc.2018.00016⟩ |
| Popis: | Nowadays complete systems can be built on a System-on-a-Programmable-Chip that integrates a microcontroller and a FPGA fabric into a single chip. Beside its traditional use to implement hardware accelerators, the FPGA can be used to monitor the software running on the microcontroller with a very small overhead. In this work, we investigate the case of monitoring safety properties. We have synthesized a runtime verification system to verify a part of the behavior of a real-time operating system. The paper presents the coverage provided by this approach with regards to transient hardware faults. The evaluation is based on an ISA-level fault injection campaign. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|