Agenda
- Market Trends, hardware, OS and programming languages
- Technology update in the Ada and C++ toolchains
- Static Analysis and Formal Proof
- Testing, Coverage and Fuzzing Technologies
- Evolutions of programming technologies for cybersecurity
- DO-178 qualified Simulink to code generation
Slide Deck
Books and Collateral
- AdaCore Technologies for Cybersecurity
- Ada for the C++ or Java Developer
- AdaCore Technologies for DO‑178C / ED‑12C
- Safe and Secure Software - An Invitation to Ada 2012
- Controlling Costs With Software Language Choice
- AdaCore enhances security-critical firmware with NVIDIA
WebEx Recording of Session
Available after the event
Contact
Ravi Jadhav
Account Manager
AdaCore
jadhav@adacore.com