Functional Safety

Structural Source Code Coverage – Cost without benefit?

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Englische Blogs, Functional Safety

Structural Source Code Coverage: Are you working in software projects where functional safety is becoming more and more important? The use of IEC 61508, ISO 26262 or a comparable standard is around the corner or you are already in the middle of such a project? In these cases you have probably already encountered the term […]

Aerospace

RTCA DO 331 Model-Based Development and Verification in aerospace

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Aerospace, Englische Blogs

With the enhancement of the RTCA DO 178B to the RTCA DO 178C, four so-called supplements have also been developed. The RTCA DO 331 Model-Based Development is one of these four supplements and describes the requirements for model-based development and verification in aerospace. The following article provides answers to the following questions: How is the […]

Funktionale Sicherheit

Compiler für sicherheitsrelevante Software – Was ist zu tun?

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Deutsche Blogs, Funktionale Sicherheit

Der Compiler ist DAS zentrales „Tool“, welches man in jeden Software Produktentwicklung benötigt. Er bildet das Bindeglied zwischen der vom Menschen gut lesbaren Hochsprache (z.B. C und C++) und dem für den Hardwareprozessor interpretierbaren Maschinencode. Für die Entwicklung sicherheitsrelevanter Software nach entsprechenden Funktionalen Sicherheitsstandards wie ISO26262 (Auto), EN50128 (Bahn), IEC61508 (Automatisierung, Allgemein) oder DO178C (Luftfahrt) […]

Functional Safety

Challenges when determining the structural source code coverage on the target!

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Englische Blogs, Functional Safety

Structural Coverage Target: The proof of a 100% structural source code coverage is required by almost all functional safety standards (IEC61508, ISO26262, DO 178C, etc.). In the individual SIL / ASIL levels, only the type of source code coverage is differentiated. Essentially, the Statement Coverage (low SIL / ASIL Level), the Branch Coverage and the […]

Validation and Verification

Structural source code coverage and Requirements – Is there any dependency?

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Englische Blogs, Validation and Verification

If you are newly engaged in the area of functional safety, then you will encounter fairly quickly the terms “structural source code coverage” and “requirements”. The specification of technical systems by requirements is, of course, also common in non-safety-critical areas. By contrast, the subject structural source code coverage is almost unknown outside safety-critical projects. In […]