Hackernews posts about ISO-26262

1. Show HN: Torasan – Open-source functional safety automation framework (github.com)
   1 points by enzo_ferrari 30 days ago | discuss
2. Ada and SPARK enter the automotive ISO-26262 market with Nvidia (www.adacore.com)
   116 points by gneuromante 10 months ago | 111 comments
3. Nvidia ISO-26262 Spark Process (nvidia.github.io)
   1 points by todsacerdoti 10 months ago | discuss
4. Ask HN: New AI-Based Software Verification by Comparing Code vs. Requirements?
   2 points by axelr340 10 months ago | discuss
5. Show HN: Skalp – An intent-driven hardware language with clock domains as types (github.com)
   1 points by girivs82 about 1 month ago | discuss