Konferenzen und Rahmenprogramm
Safety-Critical Software Development in C++
The choice of the programming language is a fundamental decision to be made when defining a safety-oriented software development process. It has significant impact on code quality and performance, but also on the achievable level of safety, the development and verification effort, and on the cost of tool qualification. Traditionally, safety-critical systems have been programmed in C or ADA. In recent years, also C++ has entered into the discussion. C++ enables intuitive programming, but its inherent language complexity is much higher compared to C. This has implications for testability, code coverage, performance, and code analysis. Further issues to be considered are tool chain diversity, the role of the standard library, and tool qualification for compilers, analyzers and other development tools. The talk summarizes the requirements of different safety norms, illustrates development and verification challenges, and discusses tool qualification.
--- Datum: 25.02.2020 Uhrzeit: 10:30 - 11:00 Uhr Ort: Conference Counter NCC Ost