User Guide

Overview

• General Information
  • The Dependable Element Concept
  • Architecture Overview
  • Getting Started
  • Rule Reference dependable_element
  • Automatic Validations

Tutorial

• Tutorial: Your First Dependable Element

Guides

• Requirements
  • Requirement Hierarchy & Traceability
  • Writing Good Requirements
  • Modeling Requirements
  • Validation
  • Adding Images and Diagrams to Requirement Descriptions
  • Allocation of Requirements to Architectural Elements
  • AI-Powered Quality Check
  • Modeling Requirements in Bazel Rules
• Assumptions of Use
  • AoU Forwarding
• Architectural Design
  • Declared vs. Implemented Architecture
  • Overview and Hierarchy
  • Determining Components and Units
  • Rendering: Diagrams, Wrapper Pages, and Directory Navigation
  • Static Architecture
  • Dynamic Architecture
  • Public API
  • Internal API
  • RST and Markdown Wrappers
  • Rule Reference: architectural_design
• Software Unit Design
  • Designing the internals of a unit
  • unit_design — Code-Level Design Diagrams
  • unit_design Rule Reference
• Dependability Analysis
  • Overview
  • Performing the Analysis
  • Bazel Rule dependability_analysis
  • FMEA
  • Traceability Validation
  • Example
• Validation
  • Unit Tests