RTCA DO 331 Model-Based Development RTCA DO 331 Modellbasierte Entwicklung

RTCA DO 331 Model-Based Development and Verification in aerospace

Veröffentlicht Schreibe einen KommentarVeröffentlicht in DO178 eng, Englische Blogs

With the enhancement of the RTCA DO178B to the RTCA DO178C, 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 RTCA DO331 […]

Compiler

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) […]

strukturellen Source Code Überdeckung

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

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

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 MC / DC […]

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

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Englische Blogs, Functional Safety, Requirements Engineering eng, 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 […]

Structural Code Coverage – Useful or Cost Without Benefit?

Veröffentlicht 1 KommentarVeröffentlicht in Englische Blogs, Functional Safety, Validation and Verification

Are you working on software projects wherein functional safety in getting more and more necessary? Perhaps you are already in the middle of a project and have to fulfill the demands out of the IEC 61508, ISO 26262 or comparable standards? If so you maybe familiar with the with the term Structural Source Code Coverage. […]