Home
Ada Advantages
Learn Ada
Resources
ARA Community
Site Map
|
Contact Us
Ada Resource Association
News and resource for the Ada programming language
Press Release
Feb 18 '20
Ada Toolchain Now Qualified for ISO 26262 and IEC 61508
Posted by
AdaCore
AdaCore announced that three of its signature software development/verification tools for Ada, SPARK and C have been qualified under the ISO 26262 and IEC 61508 functional safety standards. The tools are GNAT Pro, SPARK Pro, and CCG.
Share and Enjoy:
Press
Articles
Events
ARA Sponsor Spotlight
View All Sponsors
Upcoming Events
Ada-Europe 2023
Jun 13-16, 2023
Lisbon, Portugal
View All Events