COAST

COmpiler-Assisted Software fault Tolerance

Contents:

• Getting Started
  • What is LLVM?
  • Prerequisites
  • Installing LLVM
  • Building the Passes
• Using the Makefile System
  • Targets
  • Extending the Makefile system
  • Example
• Passes
  • Description
  • Configuration Options
  • Details
  • Debugging Tools
• Scope of Replication
  • Configuration
  • Pointer Crossings
  • Example
• Troubleshooting
  • Troubleshooting Ideas
• Release Notes
  • v1.5 - October 2020
  • v1.4 - August 2020
  • v1.3 - November 2019
  • v1.2 - October 2019
• Using an IDE to aid LLVM development
  • Using Eclipse with LLVM
  • Using VS Code with LLVM
• Control Flow Checking via Software Signatures (CFCSS)
  • Introduction
  • Previous Work
  • Algorithm
  • Modifications
  • Implementation
  • Notes
• Tests
  • Baremetal Benchmarks
  • FreeRTOS Applications
• Fault Injection

Folder guide

boards

This folder has support files needed for the various target architectures we have used in testing COAST.

build

This folder contains instructions on how to build LLVM, and when built will contain the binaries needed to compile source code. Note: building LLVM from source is optional.

projects

The passes that we have developed as part of COAST.

rtos

Example applications for FreeRTOS and how to use it with COAST.

simulation

Files for running fault injection campaigns.

tests

Benchmarks we use to validate the correct operation of COAST.

Results

See the results of fault injection and radiation beam testing

• MSP430

Additional Resources

• Matthew Bohman’s Master’s thesis.
• IEEE Transactions on Nuclear Science, Vol. 66 Issue 1 - Microcontroller Compiler-Assisted Software Fault Tolerance
• IEEE Transactions on Nuclear Science, Vol. 67 Issue 1 - Applying Compiler-Automated Software Fault Tolerance to Multiple Processor Platforms