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.
This entry was posted in Events, Videos. Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

One Trackback

  1. By canon d600 Free Related Fact | e Photo Shots on January 25, 2011 at 02:28

    [...] SPARK Ada in High SIL Active Life Support (Alex Deas – Deep Life Ltd.) [...]

Post a Comment

Your email is never published nor shared. Required fields are marked *

*
*
 
  • Categories

  • Open-DO Projects

  • Want to get involved?

  • Contact

    info @ open-do.org