Home
Ada Advantages
Learn Ada
Resources
ARA Community
Site Map
|
Contact Us
Ada Resource Association
News and resource for the Ada programming language
Blog
Jan 21 '11
SPARK Ada in High SIL Active Life Support (Alex Deas – Deep Life Ltd.)
by
AdaCore
In this video of a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Alex Deas from Deep Life talks about developing software for deep water rebreathers which must meet the rigorous European safety standard SIL3. br>
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