adacore paris tech day 2016: jamie ayre - market perspective
Post on 29-Jan-2018
54 Views
Preview:
TRANSCRIPT
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 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 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 2020?
• Continue the good work started in Ada 2012• Contracts• Expressiveness
• Parallel computing
• Please ask Tucker for more info!
DevelopmentTools
Model-BasedEngineering
Dynamic, Static
Analysis & Verification
Tools
Certification & Qualification
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!
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• …
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
Rail Naval Drone Medical Financial
Security Auto Space Air ATM Submarine
Grid
Customers – Potential
Land
IoT
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
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
top related