Categories
Open-DO Projects
Contact
info @ open-do.org
SPARK Ada in High SIL Active Life Support (Alex Deas – Deep Life Ltd.)
From 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>
This entry was posted in Events, Videos. Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.
One Trackback
[...] SPARK Ada in High SIL Active Life Support (Alex Deas – Deep Life Ltd.) [...]