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.
