OSQAr Example (Rust): Temperature Monitor

Contents:

• Safety & Functional Requirements
  • Safety Goal
  • Safety Requirements
  • Functional Requirements
  • Design Specifications
  • Test Coverage Mapping
• System Architecture
  • Component Architecture
  • Data Flow & Timing
  • Signal Definition
  • Error Handling
  • SEooC Boundary Definition
• Verification & Test Plan
  • Verification Strategy
  • Test Methods Overview
  • Unit Test Cases
  • Integration Test Cases
  • Traceability Matrix
  • Detailed Traceability Table
  • Test Execution & Reporting
• Implementation & Test Code
  • Code Organization
  • Traceability in Rust Code
  • Building & Running Tests
• Test Results & Traceability
  • Overview
  • Test Suite Execution
  • Test Configuration File
  • Test Requirements Mapping
  • Traceability Matrix
  • Automated Test Reporting
  • Code Coverage
  • Complexity report
  • Building Compliance Artifacts
  • Compliance Artifact Checklist
  • Next Steps
• Lifecycle Management
  • Purpose
  • What is a “shipment” in this example?
  • Change scenarios and required actions
  • Multi-language note
  • Notes and pitfalls
  • Worked example (requirement change)
  • Supplier workflow (produce shipment)
  • Integrator workflow (verify shipment)
  • Archiving and traceability continuity

Overview

This example is a Rust implementation of the TSIM (Thermal Sensor Interface Module) reference documentation flow.

It demonstrates traceability from requirements → architecture → verification → native tests (JUnit XML) → rendered documentation.