Safety-Critical Systems: Techniques for Ensuring Safety and Preventing Accidents
Devoxx Poland via YouTube
Learn AI, Data Science & Business — Earn Certificates That Get You Hired
Build AI Apps with Azure, Copilot, and Generative AI — Microsoft Certified
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore safety-critical systems and techniques for ensuring their reliability in this 48-minute conference talk from Devoxx Poland 2021. Delve into how laws of physics are applied to guarantee fail-safety, the benefits of using multiple CPUs for defect detection, and the importance of separating less critical tasks. Learn about ensuring communication safety, creating useful and up-to-date documentation, and how programming language choice impacts system safety. Discover if it's possible to formally prove code is free of runtime errors. Gain insights from embedded software developer Maciej Gajdzica, who specializes in safety-critical systems for industries including railway, automotive, and medical.
Syllabus
Lecture took place on Friday 27th August 2021 at in Room 4
Taught by
Devoxx Poland