Implementation of a basic pacemaker to showcase requirements tracing using mantra.

The following tools and hardware is needed for this demo:

• Install the Rust toolchain
• Install the embedded-runner via cargo install embedded-runner
• Install mantra via cargo install mantra
• Install the ARM GNU toolchain
• Install OpenOCD
• Ensure arm-none-eabi-gdb and openocd are on PATH
• Connect a XMC4700 board from Infineon to your PC

• Run the demo

  The demo may be run via

  cargo run
  

  This will print heartbeat or pacemaker pulses as logs to the terminal.

  The pacemaker has three modes: VVT, AOO, Off You may change the mode used for the demo in main.rs.

  let mode = Mode::Vvt;

• Run tests and collect requirement coverage

  Tests may be run via

  cargo test --lib
  

  This will run the unit tests in lib.rs. Because the defmt feature of mantra-rust-macros is enabled for this demo, requirement coverage information is automatically gathered during test execution.

  The coverage information may be collected and stored inside coverage.json via

  embedded-runner collect coverage.json
  

  Note: You may skip this step, because coverage of a previous test run already exists in the repository.

• Setting up mantra

  To collect available requirements, traces, coverage, and reviews, run

  mantra collect
  

  This will use the configuration from mantra.toml and store everything inside the mantra.db file.

• Generating a traceability report

  A default traceability report may be created via

  mantra report --formats html --project-name pacemaker --project-version 0.1.0 mantra_report.html
  

  This will create an HTML report using the default report template provided by mantra.