Supporting material on developing and testing safety-critical software with Ansys SCADE Suite.
Structure:
- TrafficLight: Ansys SCADE Suite project
- DML: model files, requirements and traceability
- KCG: auto-generated C source code
- QTE: testing and coverage
- TrafficLight_Arduino: Example of KCG-generated source integration on Arduino