test-verification-welding-long
CommunityEnd-to-end welding firmware verification.
AuthorAntonBespalov
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Provides a formal, end-to-end verification strategy for welding firmware running on STM32G4 with FreeRTOS, enabling traceable tests, fault-injection planning, and timing evidence.
Core Features & Use Cases
- Develops a comprehensive verification plan covering static checks, host unit tests, SIL, on-target, and HIL aspects.
- Supports timing analysis, fault-injection scenarios, and safety validations across the welding controller stack.
- Produces artefacts and acceptance criteria that can be audited for safety-critical firmware verification.
Quick Start
Schedule a verification planning session for your welding firmware to draft the long-version proof plan and artifact list.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: test-verification-welding-long Download link: https://github.com/AntonBespalov/WC_IST/archive/main.zip#test-verification-welding-long Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.