Accelerating Time-to-Market
significantly simplify seL4 inter-component / application development , reduce associated costs , and promote component interoperability in the seL4 development community .
We have found that the certification cost and time can be significantly reduced with this approach , when using pre-certified sel4 and DDS components from vendors that offer certified stacks . Given that the cost of certification alone spans $ 100 to $ 300 ( or more ) per line of code , depending upon the certification level required , there is a strong motivation to find and use as many pre-certifiable components as you can in order to significantly reduce the program risk and cost and time to delivery .
To get started , we have provided links to a number of general resources below about seL4 , TRENTOS and DDS . We have also provided links to the commercial technologies that we used .
Please reach out if you are interested ! General Resources :
● Object Management Group Data Distribution Service ( DDS ). These links provide more information about what DDS is , a list of DDS vendors , and the standard itself .
● seL4 . These links provide in-depth information about seL4 , and . access to the seL4 source code . There are two groups that actively support seL4 :
● Software Certification standards
o Flight Safety
▪ RTCA DO178C
▪ Introduction to the Certification process , http :// www . verocel . com / wpcontent / uploads / DO-178C-Presentation . pdf o Autonomous Vehicles
▪ https :// www . iso . org / standard / 68383 . html o Medical Devices ( FDA )
100 July 2022