taktora — Architecture & Specification

Contents

  • Overview
    • System context
    • Reading order
    • Status legend
  • Requirements
    • Soft-RT PLC runtime heart
      • Top-level feature
      • Requirements at a glance
      • Cross-cutting traceability
      • Safety refinements
    • Connector framework
      • Top-level umbrella
      • Requirements at a glance
    • Bounded global allocator
      • Umbrella feature
      • Requirements
      • Safety refinements
    • Device-driver codegen
      • Top-level umbrella
      • Requirements at a glance
    • CANopen device-driver codegen
      • Top-level umbrella
      • Requirements at a glance
    • Logging — DLT base library with swappable backends
      • Top-level umbrella
      • Requirements at a glance
    • EtherCAT network-config codegen
      • Top-level umbrella
      • Capability clusters
      • Requirements at a glance
    • Motion — real-time trajectory generation for CSP drives
      • Top-level umbrella
      • Requirements at a glance
    • Runtime diagnostics (SOVD-aligned)
      • Requirements
      • Wire-compatibility parity pass (Tier A)
      • Write plane — operations (simulation-backed)
      • Read-family completion
      • Build identity
      • Requirements at a glance
    • Message-plane interface-description codegen
      • Top-level umbrella
      • Requirements at a glance
    • Workspace tooling
      • Workspace test-coverage measurement
    • Requirements at a glance
  • Architecture
    • Connector framework — architecture (arc42)
      • 1. Introduction and goals
      • 2. Constraints
      • 3. Context and scope
    • PLC runtime — architecture
      • Building blocks
      • Implementation
      • Scan-cycle observability
      • PREEMPT_RT validation harness
      • Absolute-grid cyclic dispatch
      • Solution strategy
    • Bounded global allocator — architecture
      • Solution strategy
      • Building blocks
      • Implementation
    • Device-driver codegen — architecture (arc42)
      • 1. Introduction and goals
      • 2. Constraints
      • 3. Context and scope
    • CANopen device-driver codegen — architecture (arc42)
      • 1. Introduction and goals
      • 2. Constraints
      • 3. Context and scope
    • Logging — architecture (arc42)
      • 1. Introduction and goals
      • 2. Constraints
    • EtherCAT network-config codegen — architecture (arc42)
      • 1. Introduction and goals
    • Motion — trajectory core architecture
      • Structural overview
    • Runtime diagnostics (medkit)
      • Solution strategy
      • Building block view
    • Message-plane interface-description codegen — architecture (arc42)
      • 1. Introduction and goals
      • 2. Constraints
      • 3. Context and scope
    • Workspace tooling — architecture
      • Solution strategy
      • Decisions at a glance
    • Safety architecture decisions
    • Building blocks
    • Architecture views (context, runtime, deployment, crosscutting)
    • Architecture decisions
    • Quality goals and constraints
    • Risks
    • Glossary
    • Legacy detailed-design specifications
  • Verification
    • Connector framework — verification
      • Codec tests
      • Transport integration tests
      • MQTT reference connector tests
      • EtherCAT integration tests
      • Zenoh reference connector
      • CAN (SocketCAN) reference connector
      • J1939 connector + large-payload slice channel
      • UI connector (MVVM)
      • Cross-cutting tests
    • PLC runtime — verification
      • Bounded-time dispatch
      • Scan-cycle observability
      • PREEMPT_RT validation harness
      • Cyclic scan execution
      • Event-driven I/O dispatch
      • Deterministic logic sequencing
      • Cycle-time watchdog
      • Real-time scheduling
      • Cooperative shutdown
      • Cycle-overrun fault primitive
      • Framework internal-fault model (FEAT_0024)
    • Bounded global allocator — verification
    • Device-driver codegen — verification
      • Parser unit tests
      • Codegen / IR tests
      • ethercrab backend snapshot tests
      • Runtime trait surface tests
      • Build helper tests
      • CLI tests
      • EEPROM verifier tests
      • Cross-cutting tests
    • CANopen device-driver codegen — verification
      • OD-core unit tests
      • EDS parser tests
      • Codegen / IR tests
      • taktora backend snapshot tests
      • Runtime trait surface tests
      • Build helper tests
      • CLI tests
      • Verifier tests
      • Cross-cutting tests
    • Logging — verification
      • Facade and backend-swap surface
      • DLT backend
      • Runtime log-level control
      • Non-blocking hot path and offline buffering
    • EtherCAT network-config codegen — verification
      • Parser and IR tests
      • Codegen tests
      • Build-script tests
      • CLI and vendoring tests
      • Validation and bring-up assertion tests
    • Runtime diagnostics (medkit) tests
    • Message-plane interface-description codegen — verification
      • IR-core unit tests
      • DBC frontend tests
      • Codegen tests
      • CAN backend / generated-code tests
  • Safety
    • Assumed Item
      • In scope (taktora’s responsibility)
      • Out of scope (→ becomes Assumption of Use on the integrator)
    • Assumed HARA — Hazards and Safety Goals
      • Assumed Hazards
      • Assumed Safety Goals
    • ASIL Decomposition
      • Element A — Taktora execution path (ASIL B(D))
      • Element B — Integrator-supplied diverse monitor (ASIL B(D))
      • Independence argument (ISO 26262-9 §5.4.4)
    • Functional Safety Concept — Assumed FSRs
    • Technical Safety Concept — TSRs
      • TSR coverage summary
    • Freedom From Interference Argument
      • Spatial FFI
      • Temporal FFI
      • Information-exchange FFI
    • Assumptions of Use
      • Logging (taktora-log / taktora-log-dlt)
    • Safety artefacts at a glance

Workspace tooling¶

Repo-wide developer-tooling requirements — infrastructure that spans all workspace crates rather than any one subsystem. First resident: test-coverage measurement (Workspace test-coverage mea... (FEAT_0120)). Candidates for later migration: the complexity gate, the publish-ordering guards.

  • Workspace test-coverage measurement
On this page
  • Workspace tooling
Built with sphinx-hextra, inspired by Hextra. © 2026, Patrick Dahlke