Awesome Safety Critical - A list of resources about programming practices for writing safety-critical software

[Devteam]

https://awesome-safety-critical.readthedocs.io/en/latest/index.html