Accelerating Time-to-Market
Developed by Hensoldt Cyber , the Trusted Entity Operating System ( TRENTOS ®) is a novel secure embedded operating system which is built on top of the proven seL4 software ecosystem and consequently relies on trusted open-source components . TRENTOS provides high level libraries to provide developers functionality , such as logging for example , encapsulating the seL4 and CAmkES implementation underneath . This allows developers to fully focus on the creation of secure applications , and not worry about lower-level details of the underlying architecture . This especially alleviates the complexities of developing secure embedded systems .
TRENTOS consists of a set of building blocks , which are provided by a typical embedded OS for easing the development of custom applications . The framework ’ s modular structure is structured as a set of libraries , written in the C programming language . The libraries provide all required core OS features ( e . g . networking or storage facilities ), logging capabilities , security primitives ( e . g . cryptography ) as well as additional helper functionality . The TRENTOS SDK further equips a developer with extensive documentation as well as all the tools required for building , testing and finally deploying a TRENTOS-based system to the real world .
TRENTOS also leverages the component character of CAmkES , which demands concise interface definitions to interact with the OS . TRENTOS therefore provides both a dedicated C API as well as a set of standardized interfaces utilizing the CAmkES IDL . A typical TRENTOS component is then able to use the TRENTOS API ( e . g . the socket API ) by either providing or consuming respective functionality via an RPC interface . A TRENTOS component is built on top of CAmkES facilities and therefore basically behaves like a CAmkES component ; thus , it internally has to stick to the CAmkES architecture definition language ( ADL ) and therefore also requires additional programmer-provided component code . The TRENTOS SDK provides a set of standard components , which internally adhere to selected TRENTOS libraries . They provide a kind of reference implementation for typical OS functionality , being accessible via the TRENTOS API . Examples are provided in form of platform specific device drivers ( e . g ., a network driver for the Raspberry Pi 3 B +) as well as in form of intermediate layers ( e . g . a network stack component ).
RTI ’ s interest in trustworthy systems was driven first by the avionics market , and then by the automotive market . We have several hundred customer projects alone tied to autonomous vehicles . Customers tend to start with our non-certified products for initial prototyping and development because they are more feature rich . Once they have matured their designs sufficiently , they make the jump to our software with commercial certification evidence available . You may also find value in taking a similar approach .
RTI Connext Cert ® is a RTCA DO-178C DAL A connectivity framework that implements a flight safety subset of the DDS specification . It has also recently attained certification at the highest level for automotive systems – ISO 26262 ASIL-D . The cost of DO-178C certification alone
Journal of Innovation 95