TY - GEN
T1 - SeroHal
T2 - 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019
AU - Kleeberger, Petra R.
AU - Rivera, Juana
AU - Mueller-Gritschneder, Daniel
AU - Schlichtmann, Ulf
N1 - Publisher Copyright:
© 2019 Copyright held by the owner/author(s). Publication rights licensed to ACM.
PY - 2019/1/21
Y1 - 2019/1/21
N2 - 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.
AB - 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.
KW - Code generation
KW - Hardware errors
KW - Software-based safety
UR - http://www.scopus.com/inward/record.url?scp=85061138416&partnerID=8YFLogxK
U2 - 10.1145/3287624.3287652
DO - 10.1145/3287624.3287652
M3 - Conference contribution
AN - SCOPUS:85061138416
T3 - Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
SP - 33
EP - 38
BT - ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 21 January 2019 through 24 January 2019
ER -