FAA DO-178B Certifiable DDC-I Ada Run-Time System (DARTS)

DDC-I's Ada Run-Time System (DARTS) is developed in compliance with the FAA (Federal Aviation Administration) certification guidelines RTCA/DO-178B for airborne software systems. The Ada RTS and the Ada libraries are the airborne components of an Ada compiler system which must be certified together with the application. According to RTCA/DO-178B, airborne applications can be certified at four different levels. Highly reliable and fast, DARTS can be certified at the highest level of confidence in safety. This means that full life cycle support can be provided in the form of project documentation, source code, test programs and test tools. DARTS was originally developed for life cycle applications. However, in order to conform to the highest level of confidence, the level of testing was increased during a number of FAA certification projects, thereby making DARTS the most reliable and robust Ada run-time system in the industry.