ESSS 2021 - Marcel Beemster: Using C and C++ Compilers and Libraries in Safety-Critical Components скачать в хорошем качестве

ESSS 2021 - Marcel Beemster: Using C and C++ Compilers and Libraries in Safety-Critical Components

The C standard library is typically packaged with the SDK, the software development kit that includes the compiler and other tools to develop programs for a specific target architecture. It is usually provided in binary and automatically linked to the target executable. So, the C standard library is not very visible, yet its correct implementation is as important as the correctness of any other software code that is part of a safety critical component. The IEC 61508 Functional Safety Standard that is used for industry electronics including Robotics and Machine Learning applications, provides for the use of libraries ("pre-existing software") in part 4, clause 7.4.2.12. Other functional safety standards such as ISO 26262 for the automotive industry, and IEC 62279 for rail, support the use of libraries. All of these standards have one common requirement: the user of the library must provide evidence that the library complies with its requirements for their use case. The typical way to do so is by requirements-based testing. In this presentation we will show what it takes to do requirements-based testing of the C standard library. It is fortunate that there is an ISO specification for the C language and its library, many languages do not have such a rigid definition. Nevertheless, to turn the library specification into concrete requirements is a difficult task. From that we must create test specifications and finally the test that verify the requirements. We will also discuss implementation defined and undefined behavior. _______________________________________________________________________ Useful Links Solid Sands: https://solidsands.com/ SuperTest: https://solidsands.com/supertest SuperGuard: https://solidsands.com/superguard