AdaCore Paris Tech Day 2016: Jamie Ayre - Market Perspective

Jamie Ayre

Where is Ada today?

Commercial Team Lead

Helping People Build Software That Matters

Agenda – Evolution!

• Language• Technology• Ecosytem• Community• Customer base • Commercial offer

Language Evolution

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

Ada 83 was clearly ahead of itstime for many industries

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

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

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

Ada 2012

• Addition of features to help static analysis and verificationtools:• SPARK 2014

Ada is perfectly positioned for modern embedded programming!

Ada 2020?

• Continue the good work started in Ada 2012• Contracts• Expressiveness

• Parallel computing

• Please ask Tucker for more info!

Ada is a modern language providinganswers to a number of programming

questions

Technology Evolution

DevelopmentTools

DevelopmentTools

Dynamic, Static

Analysis & Verification

Tools

DevelopmentTools

Dynamic, Static

Analysis & Verification

Tools

Certification & Qualification

DevelopmentTools

Model-BasedEngineering

Dynamic, Static

Analysis & Verification

Tools

Certification & Qualification

GNAT – In the Beginning…

• Compiler• Native support only• No debugger• No IDE (Emacs anybody?)

IDEs

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

Runtimes

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

programming

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

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

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

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!

Ecosystem Evolution

Ada on the up

• Several commercial compilers• Several commercial RTOS offers• Several dynamic and static analysis tools

Some of our partners

• Wind River• SYSGO• Lynx Software Technology• Vector• RTI• Rapita• OIS• Lauterbach• Verocel• …

Community Evolution

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

Academia

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

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• …

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

Make With Ada Competition

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

Demand For Ada

Naval Financial

Space Air ATM Submarine

Customers – In the Beginning

Land

Rail Naval Drone

Financial Space Air ATM Submarine

Grid

Customers – Now

Land

Rail Naval Drone Medical Financial

Security Auto Space Air ATM Submarine

Grid

Customers – Potential

Land

IoT

People are demanding better thanC

Example 1

• European industrial automation company• Uninterruptible Power Supply

• Mission critical software• Studied the alternatives• Selected Ada

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

Marketing collateral

• A paper describing the technical advantages of Ada over C for micro-controllers

Commercial Evolution

Long-term Loyalty

• Thank you!• Serving our traditional market remains our prime mission • 80% legacy, A&D programs• Discounting system remains

Commercial offer evolution

• GNAT Pro Enterprise (Ada, C, C++)• GNAT Pro Assurance• GNAT Pro Developer

How can you help?

• Feedback• Feedback• …Feedback

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