taktora-executor — Specification

Engineering-as-Code specification for taktora-executor, a Rust execution framework on top of iceoryx2.

Warning

This specification is part of a personal experiment. APIs, requirements, and architecture decisions may shift without notice. See the project README for the full caveat.

Contents

• Overview
  • Reading order
  • Status legend
• Requirements
  • Soft-RT PLC runtime heart
  • Connector framework
  • Bounded global allocator
  • Device-driver codegen
  • CANopen device-driver codegen
  • Requirements at a glance
• Architecture
  • Connector framework — architecture (arc42)
  • PLC runtime — architecture
  • Bounded global allocator — architecture
  • Device-driver codegen — architecture (arc42)
  • CANopen device-driver codegen — architecture (arc42)
  • 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
  • PLC runtime — verification
  • Bounded global allocator — verification
  • Device-driver codegen — verification
  • CANopen device-driver codegen — verification
• Safety
  • Assumed Item
  • Assumed HARA — Hazards and Safety Goals
  • ASIL Decomposition
  • Functional Safety Concept — Assumed FSRs
  • Technical Safety Concept — TSRs
  • Freedom From Interference Argument
  • Assumptions of Use
  • Safety artefacts at a glance

Indices

• Index

• Search Page

On this page

• taktora-executor — Specification
  • Indices