https://github.com/stanislaw/awesome-safety-critical

List of resources about programming practices for writing safety-critical software.
https://github.com/stanislaw/awesome-safety-critical

List: awesome-safety-critical

awesome-list awesome-lists safety safety-critical safety-standards

Last synced: 5 days ago
JSON representation

List of resources about programming practices for writing safety-critical software.

• Host: GitHub
• URL: https://github.com/stanislaw/awesome-safety-critical
• Owner: stanislaw
• License: cc0-1.0
• Created: 2017-03-02T12:58:04.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2024-04-23T08:57:48.000Z (8 months ago)
• Last Synced: 2024-10-29T15:36:44.395Z (about 1 month ago)
• Topics: awesome-list, awesome-lists, safety, safety-critical, safety-standards
• Language: Python
• Homepage: https://awesome-safety-critical.readthedocs.io/en/latest/
• Size: 84.2 MB
• Stars: 1,537
• Watchers: 62
• Forks: 88
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-robotic-tooling - awesome-safety-critical - List of resources about programming practices for writing safety-critical software. (Requirements and Safety)
• awesome-robotic-tooling - awesome-safety-critical - List of resources about programming practices for writing safety-critical software. (Requirements and Safety)

README

        
# awesome-safety-critical

This is a list of resources about programming practices for writing

safety-critical software.

The content is now hosted on

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

## License





  






To the extent possible under law,



  Stanislav Pankevich

has waived all copyright and related or neighboring rights to

awesome-safety-critical.



This list's repository contains a backup of all content presented in the list.

This is done to ensure availability of these resources in case if their original

sources become unavailable. Every link always points to its original source

unless it becomes unavailable in which case a resource from a backup is used

or a link to web.archive.org if possible.