R2U2 C Monitor Developer Guide

• Architecture
• Internals
• Memory Controllers
  • Box Queue
  • Contract Status
  • CSV Trace
  • Monitor
  • Register
  • Shared Connection Queue
• Execution Engines
  • Instruction Dispatch
  • Atomic Checker (AT)
  • Booleanizer (BZ)
  • Mission-time Linear Temporal Logic (TL)
• Implementation
  • Dynamic Programming for MLTL Verification
    • Abstract Syntax Tree
    • Abstract Syntax Tree (AST) Optimization
    • Shared Connection Queue (SCQ)
      • SCQ Algorithms
      • Read
      • SCQ Utilization
• Debug
  • R2U2_DEBUG
  • R2U2_TRACE
  • Debug Printing
• Testing
  • Unit testing with Munit
  • Unit Testing Coverage Analysis
  • Static Analysis with CodeChecker