Static analysis and dynamic testing: Even after several decades of software engineering, we still far away from guaranteed error-free software. Even for software developed to the highest safety standards, no one can guarantee absolute freedom from errors. All functional safety standards recognize that a guaranteed error-free software (with the current state of the technology) cannot […]
There is no such thing as bug-free software! Nevertheless, software is successfully used even in very critical systems. The software development processes have become so mature that it is possible to reduce the number of errors in the software reliably to such an extent that the number of system errors which have their cause in […]
ISO 26262 Confidence in the use of softwar tools: ISO 26262-8 in chapter 11 defines the requirements for software tools that are used in an ISO 26262 compliant software development process. In the practical usage of chapter 11 of ISO 26262-8 many questions often arise, which partly lead to very creative approaches regarding tool qualification. […]
