To enable correct program execution on unreliable hardware, software can be made fault-tolerant by adding program statements or machine instructions for fault detection and recovery. Manually modifying programs does not scale, and extending compilers to emit additional machine instructions lacks flexibility. However, since software-implemented hardware fault tolerance (SIHFT) can be understood as a cross-cutting concern, we propose aspect-oriented programming as a suitable implementation technique. We prove this proposition by implementing an AN encoder based on AspectC++. In terms of performance and fault coverage, we achieve comparable results to existing compiler-based solutions.
Wed 16 Mar Times are displayed in time zone: Greenwich Mean Time : Belfast change
16:00 - 17:30
|A Type-and-Effect System for Asynchronous, Typed Events|
|On Ordering Problems in Message Passing Software|
Yuheng LongIowa State University, Mehdi BagherzadehIowa State University, Eric LinIowa State University, USA, Ganesha UpadhyayaIowa State University, USA, Hridesh RajanIowa State UniversityDOI
|Fault Tolerance with Aspects: A Feasibility Study|
Sven KarolTechnische Universität Dresden, Norman A. RinkTU Dresden, Germany, Bálint GyapjasTU Dresden, Germany, Jeronimo CastrillonTechnische Universität DresdenDOI