Embedded Online Conference
Attend AdaCore's Keynote and Theatre Talk at the Embedded Online Conference for expert insights on building safer, more secure embedded systems.
Attend our keynote, “Three Paths to Memory Safety for Embedded”, and our theatre talk, “Reduce Cost While Improving Safety and Security with Formal Methods through Ada/SPARK”, to explore practical approaches to memory safety and high-integrity software development.
Agenda
Three Paths To Memory Safety for Embedded
Memory problems are a constant worry for teams developing software for embedded systems. Whether you are building a doorbell, a self-driving car, a printer or an airplane. As much as 70% of security vulnerabilities are due to memory issues. On top of that, a lot of effort is spent on trying to find as many problems during development as possible. And still, problems always slip through.
In this presentation, we will look at three paths to memory safety that provide increasing guarantees and make software more safe and secure:
- The memory safe subset of the MISRA C/C++ rules that catch defects before they are merged into your main branch
- Rust as a memory and type safe language that prevents memory corruption
- Ada SPARK as a memory and type safe language with provable absence of runtime errors and optional provable functional correctness.
For each of the options, we will look at how easy it is to adapt, what the benefits are, what type of guarantees you can derive from the technology as well as some actual use cases of the technology in real-world projects.
This is a must-watch presentation if you are building embedded systems that have to be safe and secure and if you are wondering on how to make your systems more memory safe.
Reduce Cost While Improving Safety and Security with Formal Methods Through Ada SPARK
There are three conflicting needs for teams that are building software systems that have to adhere to functional safety and security standards such as ISO 26262, IEC 61508, ISO 62443, R155 and others. Firstly, they have to adhere to very strict security standards, secondly, they have to deliver on-time and on-budget and lastly, they have to frequently deliver updates to deliver more functionality as well as fix any reported security issues.
In this presentation, we will walk through a small sample application in Ada SPARK and demonstrate how it delivers improved safety and security at lower cost in three steps:
Firstly, memory safety and type safety removes a significant amount of runtime problems.
In the second step, we will tighten the program to be able to prove the absence of runtime errors completely.
In the third step, we will prove the correctness of the program.
The presentation will also touch on how companies like NVIDIA and Rolls Royce depend on Ada SPARK, enabling them to deliver safe and secure software at scale.