Safety-critical systems from the inside • Maciej Gajdzica • Devoxx Poland 2021

The main goal of all safety-critical strategy is to prevent any dangerous accident from happening. It has precedence over availability, performance and even functionality. During this presentation I will show any techniques for ensuring safety in these systems. You will see how laws of physics are utilized to guarantee fail-safety. How utilizing more CPUs helps in detecting defects. Why little critical tasks may be separated to another CPUs. How safety of communication is ensured. How we can make our documentation useful and up to date. How choice of programming language affects safety. Is it possible to formally proof that code doesn't contain any runtime errors?

Lecture took place on Friday 27th August 2021 at 10:30 in area 4

Maciej Gajdzica:
Embedded software developer coding commercially for 7 years. Working for Solwit in Gdańsk. Specializing in safety-critical systems. During career had experience with railway systems, automotive and medical, but besides IoT, smart building and robotics. Spreading good practices in embedded systems on blog http://ucgosu.pl/ (in polish). Organizing Embedded Meetup in Gdańsk.

#IT #Development #SoftwareDevelopment