Accelerating Time-to-Market
exceeded $ 200 per line of code , and the process took two years . We worked very closely with a certification house and used their tools to develop the high-level and low-level requirements ( HLRs and LLRs ) along with the other certification evidence that was needed .
As addressed earlier , a DDS solution with commercial certification evidence brings numerous benefits beyond just shortening development time and reducing overall system costs . It also offers scalability , cross-platform / language / vendor interoperability , performance , resilience , and modularity . RTI Connext Cert can also run on commercial RTOSs , including DDC-I Deos , Green Hills Integrity-178 , Lynx Software LynxOS-178 , Sysgo PikeOS , and Wind River VxWorks . RTI Connext Cert combined with a safety RTOS is an architectural option if your system requirements do not steer you toward a small footprint trusted microkernel .
We have been continuously involved with the seL4 microkernel since 2015 when we were awarded the first in a series of related research contracts with DARPA . Our overall goal has been to explore and develop a high assurance software stack for critical real-time systems . We have been building reference architectures and implementations to highlight design alternatives and related performance . This paper is part of our efforts to educate and to evangelize this information .
One example of our research focused on controlling a medical device ( an infusion pump ) – see Figure 4-1 . The Infusion Pump Controller operated an Infusion Pump device via serial commands to an external step motor . The controller application ran on seL4 , and it was deployed on a SabreLite iMX6 board . RTI Connext Cert listened for “ infusion requests ” coming from the remote authorized hosts , and periodically published status updates on the state of the pump to any application authorized to join the DDS databus . The “ Root Task ” is the process started by the seL4 kernel and responsible for the initialization of all required system services , before spawning the controller ’ s process , which access RTI Connext Cert services .
96 July 2022