Skip to content
Rust Search
← Browse conferences

SommR - time in Automotive

Watch on YouTube ↗
Oxidize Conference
Oxidize 31:50 348 views

When writing #software in for the #automotive field using domain specific communications protocols is inevitable. Those protocols are usually implemented by stack suppliers as closed source products. Join Sebastian Rietzscher (CARIAD – Automotive Software for Volkswagen), Simon Gasse (@Accenture) and Morgen Mey (@Accenture) start with the daemon, which is center piece of the communication and find out why things like clone-able connections are necessary. Next, apps and the protocol they use to

Player unavailable or embedding blocked? Use the YouTube link above.

Other talks by Sebastian Rietzscher

Validating Rust for industry - Certification meets formal analysis

Oxidize Conference
Oxidize 31:05 215 views

Deploying Rust as a first-tier programming language in a production project requires addressing the entire verification and validation model around it. Employing a controlled toolchain and runtime is essential for achieving relevant certifications, but testing and verifying the code is also critical to ensure a successful delivery. In this talk, we will present qualified solutions that address several of these aspects, from exhaustive verification to complete, automated software qualification.