User Guide

• General Information
  • The Dependable Element Concept
  • Build Flow
  • Assembling a Dependable Element
  • Rule Reference dependable_element
  • Automatic Validations
• Requirements
  • Requirement Hierarchy & Traceability
  • Modeling Requirements in TRLC
  • Allocation of Requirements to Architectural Elements
  • Modeling Requirements in Bazel Rules
  • Validation
  • AI-Powered Quality Check
• Architectural Design
  • Overview and Hierarchy
  • Static Architecture
  • Dynamic Architecture
  • Public API
  • RST and Markdown Wrappers
  • Rule Reference: architectural_design
• Software Unit Design
  • unit_design — Code-Level Design Diagrams
• Dependability Analysis
  • Overview
  • Bazel Rule dependability_analysis
  • FMEA
  • Traceability Validation
  • Example