Safety-Critical Software Development in C++
| Autor: | Christoph Cullmann, Laurent Mauborgne, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Daniel Kästner, Christian Ferdinand, Stephan Wilhelm |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Language complexity
business.industry Computer science 05 social sciences Software development Static program analysis 02 engineering and technology computer.software_genre Software quality Software development process Development (topology) 020204 information systems 0502 economics and business 0202 electrical engineering electronic engineering information engineering 050211 marketing Compiler business Software engineering computer Testability |
| Zdroj: | Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops ISBN: 9783030555825 SAFECOMP Workshops |
| DOI: | 10.1007/978-3-030-55583-2_7 |
| Popis: | 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 elegant programming, but its inherent language complexity is much higher compared to C. This has implications for testability, structural 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. This article summarizes the requirements of different safety norms, illustrates development and verification challenges and addresses tool qualification. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|