The document summarizes the evolution of the Ada programming language, its supporting tools and technologies, ecosystem, community, and commercial offerings. Key points include: - Ada has evolved from 1983 to include object oriented programming, contracts, and parallel computing support while maintaining a focus on safety and real-time applications. - Development tools have progressed from simple compilers to full IDEs and model-based engineering with code generation and static analysis tools. - The ecosystem now includes multiple commercial compilers, runtimes, analysis tools, and partners supporting new markets like drones, medical, and automotive. - The community is expanding through academic use, open source tools on GitHub, and competitions to attract new users to the language.

2. Jamie Ayre
Where is Ada today?
Commercial Team Lead

3. Helping People Build Software
That Matters

4. Agenda – Evolution!
• Language
• Technology
• Ecosytem
• Community
• Customer base
• Commercial offer

5. Language Evolution

6. Ada 83
• Created with longevity and readability in mind
• Simple syntax
• Strong type checking
• Created for large programs
• Package constructs
• Created for real-time programming
• Tasking features

7. Ada 83 was clearly ahead of its
time for many industries

8. Ada 95/Ada 2005
• Provide incremental enhancements to Ada 83
• Child units
• Access parameters, access to subprograms
• Provide comprehensive support for OOP
• Continuing real-time focus
• Real-time annex
• Ravenscar profile
• Protected objects

9. Ada followed the trend of the time,
OOP (just like Java and C++)

10. Ada 2012
• Focusing once again on safety-critical features – Contracts:
• Pre and post conditions
• Type invariants
• Subtype predicates
• Enhanced language expressiveness
• Expression functions
• If and Case expressions
• Quantifiers

11. Ada 2012
• Addition of features to help static analysis and verification
tools:
• SPARK 2014

12. Ada is perfectly positioned for
modern embedded programming!

13. Ada 2020?
• Continue the good work started in Ada 2012
• Contracts
• Expressiveness
• Parallel computing
• Please ask Tucker for more info!

14. Ada is a modern language providing
answers to a number of programming
questions

15. Technology Evolution

16. Development
Tools

17. Development
Tools
Dynamic,
Static
Analysis &
Verification
Tools

18. Development
Tools
Dynamic,
Static
Analysis &
Verification
Tools
Certification &
Qualification

19. Development
Tools
Model-Based
Engineering
Dynamic,
Static
Analysis &
Verification
Tools
Certification &
Qualification

20. GNAT – In the Beginning…
• Compiler
• Native support only
• No debugger
• No IDE (Emacs anybody?)

21. IDEs
• GNAT Programming Studio lauched early 2000s
• GNATbench (Eclipse) several years afterwards
• Modern tools for modern markets

22. Runtimes
• Ravenscar introduced in Ada nearly 20 years ago!
• A range of runtimes serving the needs of most kinds of
programming

23. Formal Verification
• Much work has been undertaken on the SPARK technology
• SPARK 2014 much easier to adopt and use
• Integrated approach of a static analysis strategy
• Several customers are evaluating SPARK

24. Certification & qualification
• Runtimes
• Static analysis tools
• Coverage tools
• Traceability studies
• Qualification material
• Code Generator
• DO-178B/C, EN 50128, ECSS-E-ST-40C and ECSS-Q-ST-
80C

25. MBE and Code Generation
• QGen started as a research project
• Takes us up the development cycle
• Generates SPARK and MISRA C
• Qualifiable
• Simultaneous support for multiple versions of Simulink
• Model debugging

26. Platform Support
• We now support over 100 native and cross platforms
• Increasing bare metal support (PPC, ARM)
• Fully supported, Long term support, Baselined
• We need your input!

27. Ecosystem Evolution

28. Ada on the up
• Several commercial compilers
• Several commercial RTOS offers
• Several dynamic and static analysis tools

29. Some of our partners
• Wind River
• SYSGO
• Lynx Software Technology
• Vector
• RTI
• Rapita
• OIS
• Lauterbach
• Verocel
• …

30. Community Evolution

31. Taking Ada to New Markets
• Software development is evolving
• Requirements are pushing people to try new languages
• Reliability is paramount
• Certification is demanded in more and more industries

32. Academia
• GNAT academic package (GAP)
• Over 250 universities signed up
• Support for research projects
• Interesting user cases (CubeSat, etc.)

33. GitHub
• Move the mountain
• Provide easy-to-use tools for people to try
• Currently we have
• A number of tools including GPS
• Bare metal BSPs
• SPARK toolset
• …

34. Makers and Shakers!
• A number of blog posts on maker projects
• A number of presentations at maker conferences
• Young engineers talking to young engineers
• Generating more and more interest in Ada

35. Make With Ada Competition
• $8000 in total prizes
• Over 30 registrations
• Many showing use of Software That Matters
• New people picking up Ada

36. Demand For Ada

37. Naval Financial
Space Air ATM Submarine
Customers – In the Beginning
Land

38. Rail Naval
Drone
Financial Space Air ATM Submarine
Grid
Customers – Now
Land

39. Rail Naval Drone Medical Financial
Security Auto Space Air ATM Submarine
Grid
Customers – Potential
Land
IoT

40. People are demanding better than
C

41. Example 1
• European industrial automation company
• Uninterruptible Power Supply
• Mission critical software
• Studied the alternatives
• Selected Ada

42. Example 2
• Large tier one automotive player
• ISO 26262 is just around the corner
• Evaluating a number of languages
• Will let you know next year J

43. Marketing collateral
• A paper describing the technical advantages of Ada over C
for micro-controllers

44. Commercial Evolution

45. Long-term Loyalty
• Thank you!
• Serving our traditional market remains our prime mission
• 80% legacy, A&D programs
• Discounting system remains

46. Commercial offer evolution
• GNAT Pro Enterprise (Ada, C, C++)
• GNAT Pro Assurance
• GNAT Pro Developer

47. How can you help?
• Feedback
• Feedback
• …Feedback

48. Helping People Build Software
That Matters (Believe me now?)