SeRoHAL: generation of selectively robust hardware abstraction layers for efficient protection of mixed-criticality systems.

Petra R. Kleeberger, Juana Rivera, Daniel Mueller-Gritschneder, Ulf Schlichtmann

Browse the full ASPDAC paper archive.