Safety-First - How To Develop C++ Safety-Critical Software

Learn the fundamental principles for reasoning about safety and delve deeply into the implications for day-to-day software development in safety-critical systems. Understand the conceptual models of safety and their effects on a C++ codebase implementing safety-critical functionalities. Gain insights into the needs of developers working in safety-critical domains and the common safety engineering practices. The course aims to provide a better understanding of writing well-engineered, high-quality software in safety-critical environments. The intended audience includes software developers, engineers, and anyone interested in safety-critical software development in C++.