R2U2 C Monitor Developer Guide

• Architecture
• Execution Engines
  • Instruction Dispatch
  • Booleanizer (BZ)
  • Mission-time Linear Temporal Logic (TL)
  • Auxiliary Info
• Instructions
• Internals
• Memory Controllers
  • Monitor
  • Shared Connection Queue
• Debug
  • R2U2_DEBUG
  • R2U2_TRACE
  • Debug Printing
• Testing
  • Unit testing with Munit
  • Unit Testing Coverage Analysis
  • Static Analysis with CodeChecker