BAE Systems has teamed with DDC-I to create a development environment for safety-critical software. Combining BAE's CsLEOS Arinc 653-compliant real-time operating system with DDC-I's SCORE multi-language development environment, SCORE-653 will support both Ada and C languages and generate application software for PowerPCs.
Source: Flight International