1 / 33

Ada in the Avionics Industry

Ada in the Avionics Industry. George Romanski. romanski@verocel.com. Overview. Evolution of the Ada Industry Personal Observations and Experiences Certification Projects Certification Guidance Integrated Modular Avionics (IMA) Ada on IMA . 1980 – Ada Compiler - Germany.

vanya
Download Presentation

Ada in the Avionics Industry

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Ada in the Avionics Industry George Romanski romanski@verocel.com

  2. Overview • Evolution of the Ada Industry • Personal Observations and Experiences • Certification Projects • Certification Guidance • Integrated Modular Avionics (IMA) • Ada on IMA SigAda-2005

  3. 1980 – Ada Compiler - Germany • Front-End – Karlsruhe University • Host – Siemens (IMB 370 clone) • Target – Siemens process control computer Project included: Compiler ‘middle-end’ Back-end Code generator Run-time system SigAda-2005

  4. 1980 – Ada Compiler - Germany • Front-End – Karlsruhe University • Host – Siemens (IMB 370 clone) • Target – Siemens process control computer Project included: Compiler ‘middle-end’ Back-end Code generator Run-time system Did not meet expectations ! But learned from the experience ! SigAda-2005

  5. 1983 – MCHAPS Project • Ada Compiler and support environment • Well engineered design/specifications (lots of paper) • Spent lots of money SigAda-2005

  6. 1983 – MCHAPS Project • Ada Compiler and support environment • Well engineered design/specifications (lots of paper) • Spent lots of money Did not meet expectations ! But learned from the experience ! SigAda-2005

  7. 1984 – SD-Ada • Systems Designers /Systeam (Karlsruhe) • Host - VAX • Target – 68K, 1750A Bootstrap 24 hrs on VAX 785 (Recompile the compiler) SigAda-2005

  8. 1984 – SD-Ada • Systems Designers /Systeam (Karlsruhe) • Host - VAX • Target – M68K, 1750A Bootstrap 24 hrs on VAX 785 (Recompile the compiler) M68K moderately successful ! VAX compiler, 1750A compiler – did not meet $ expectations SigAda-2005

  9. 1986 - XD-Ada Compiler • Systems Designers / DEC • Host - VAX • Target • M68K • 1750A Commercial and Military Avionic systems Mostly Military and space based systems Front/Middle-end Vax-Ada SigAda-2005

  10. 1986 - XD-Ada Compiler • Systems Designers / DEC • Host - VAX • Target • M68K • 1750A Commercial and Military Avionic systems Mostly Military and space based systems Front/Middle-end Vax-Ada M68K Lots of $$’ 1750A compiler – moderately successful SigAda-2005

  11. 1990 Alsys • Host – Many • PC with 4-MByte memory board • Targets – Many (including) • Intel • 68K Used on BOEING 777 C-SMART (Certifiable Small Ada Run-Time) SigAda-2005

  12. 1990 Alsys • Host – Many • PC with 4-MByte memory board • Targets – Many (including) • Intel • 68K Used on BOEING 777 C-SMART (Certifiable Small Ada Run-Time) COTS Certification Package using DO-178B SigAda-2005

  13. 1991 – 1994 Boeing 777 • Most systems written in Ada • Many proprietary subsets • Mostly certified by users • (no RTS or minimal RTS) • C-SMART • Certification package was 35 pounds per 1000 LOC. Ada – great success story !! SigAda-2005

  14. 1998 – Ada’95 + Ravenscar • Aonix • C-SMART (Ada 95) • Raven Certification package SigAda-2005

  15. 1998 – Ada’95 + Ravenscar • Aonix • C-SMART (Ada 95) • Raven Certification package Used on several avionics projects SigAda-2005

  16. Verocel – 1999 – to present • ‘C’ based certifications • Ada Based certifications • PLM Based certifications • Targets • PIC micro-controller • 68K • Cold-Fire • PPC 400 bytes RAM ½ GByte RAM (larger than Machines for early Host compilers) SigAda-2005

  17. Verocel – 1999 – to present • ‘C’ based certifications • Ada Based certifications • PLM Based certifications • Targets • PIC micro-controller • 68K • Cold-Fire • PPC 400 bytes RAM ½ GByte RAM (larger than Machines for early Host compilers) 40% certification work done in Ada (measured by LOC) All based on DO-178B SigAda-2005

  18. Certification Guidance • Guidance used for Software • DO-178B Software Considerations in Airborne Systems and Equipment Certification • DO-248B Annual Report for Clarification of DO-178B • ARINC-653 Avionics Application Standard Interface • DO-xxx Integrated Modular Avionics Development Guidance and Certification Considerations (SC-200 working group) DO-178B IMA SigAda-2005

  19. Continued Evolution of DO-178B Guidance DO-178B (1991) DO-248B DO-278 Issue Papers CAST Papers SC-205 Annexes DO-178C + Model Based Development Object Oriented Programming Formal Methods … (2008?) SigAda-2005

  20. IMA Guidance • ARINC-653 • Published in 1997 • Supplement 1 published 2003 • Supplement 2 ‘few months away’ • SC-200 • Approved by Plenary committee Aug 2005 • Submitted for final editorial review and approval • To be published as DO-xxx (next available number) SigAda-2005

  21. Use Of IMA • Many new projects are based on IMA architectures. • Airbus 380 • Boeing 787 • 767 Tanker • C-130 AMP • Airbus 400M • X45, X47 (Unmanned aircraft) SigAda-2005

  22. Use Of IMA • Many new projects are based on IMA architectures. • Airbus 380 • Boeing 787 • 767 Tanker • C-130 AMP • Airbus 400M • X45, X47 (Unmanned aircraft) All of these IMA systems based on ARINC-653 SigAda-2005

  23. Line Replaceable Units - Databus Effectors Sensors Databus LRU-B LRU-A LRU-C Most flying planes Use this architecture SigAda-2005

  24. Line Replaceable Units - Switch Effectors Sensors Databus LRU-B LRU-A LRU-C Switch Switch is a high-bandwidth Communication system SigAda-2005

  25. Line Replaceable Module Effectors Sensors DC- Data Concentrators DC DC DC Switch LRM A B C LRM houses applications A,B and C SigAda-2005

  26. Partitioning Applications on LRM App. 1 Ada App. 2 C++ App. 3 C Partition Operating System APEX APEX APEX POS POS POS Module Operating System MOS Config. Table SigAda-2005

  27. ARINC-653 Organization – on LRM Application Partition 2 System Partition 2 Applications Software Layer Application Partition 1 System Partition 1 Apex Interface Core Software Layer O/S Kernel System Specific Functions Hardware SigAda-2005

  28. IMA Model for an Ada application Virtual Target Ada Application Virtual Address Space ARTE Health Management System POS Communication through virtual Ports only SigAda-2005

  29. Ada Objects Created not Declared Ada Program CREATE_PROCESS (Ada_Procedure, ) No Ada Tasks CREATE_SEMAPHORE CREATE_EVENT Process Object POS Event Object Semaphore Object SigAda-2005

  30. Ada Exceptions Divide by zero Exception Handler ARTE POS Partition HM Module HM MOS System HM H/W exception handler SigAda-2005

  31. Ada on ARINC 653 • ARINC 653 is a standard that abstracts the operating system services from the application • Ada fits in but gives up scheduling operations • All support libraries must be certified Ada is Highly suitable for Avionics Applications on ARINC-653 platforms SigAda-2005

  32. Where does Ada fit in? In with a good chance! The main objection to Ada is: SigAda-2005

  33. Where does Ada fit in? In with a good chance! The main objection to Ada is: Lack of Ada Programmers! SigAda-2005

More Related