SeRoHAL
| Autor: | Daniel Mueller-Gritschneder, Petra R. Kleeberger, Juana Rivera, Ulf Schlichtmann |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
010302 applied physics
Mixed criticality Computer science business.industry 02 engineering and technology Fault injection 01 natural sciences Hardware abstraction 020202 computer hardware & architecture Software Criticality Embedded system 0103 physical sciences 0202 electrical engineering electronic engineering information engineering Systems design Code generation business Robotic arm |
| Zdroj: | ASP-DAC |
| DOI: | 10.1145/3287624.3287652 |
| Popis: | A major challenge in mixed-criticality system design is to ensure safe behavior under the influence of hardware errors while complying with cost and performance constraints. SeRoHAL generates hardware abstraction layers with software-based safety mechanisms to handle errors in peripheral interfaces. To reduce performance and memory overheads, SeRoHAL can select protection mechanisms, depending on the criticality of the hardware accesses. We evaluated SeRoHAL on a robot arm control software. During fault injection, it prevents up to 76% of the assertion failures. Selective protection customized to the criticality of the accesses reduces the induced overheads significantly compared to protection of all hardware accesses. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|