Krakow, Poland, 25 - 27 August 2021
Embedded software developer coding commercially for seven years. Working for Solwit in Gdańsk. Specializing in safety-critical systems. During career had experience with railway systems, automotive and medical, but also IoT, smart building and robotics. Spreading good practices in embedded systems on blog http://ucgosu.pl/ (in polish). Organizing Embedded Meetup in Gdańsk.
Safety-critical systems from the inside
Conference
The main goal of every safety-critical system is to prevent any dangerous accident from happening. It has priority over availability, performance and even functionality. During this presentation I will show some techniques for ensuring safety in these systems. You will see how laws of physics are used to ensure fail-safety. How using more CPUs helps in detecting defects. Why less critical tasks may be separated to other 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?
Scheduled on Friday from 10:30 to 11:20 in Room 4