Validation and Verification

Risk-based testing: Method for identifying the right test cases

Veröffentlicht Veröffentlicht in Englische Blogs, Validation and Verification

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

Functional Safety

Compiler for safety critical software – What needs to be done?

Veröffentlicht 1 KommentarVeröffentlicht in Englische Blogs, Functional Safety

The compiler is the central „tool“, which is required for every software development. It forms the link between the human-readable high-level source code (e.g., C and C ++) and the machine code, interpretable for the hardware processor. For the development of safety critical software according to relevant functional safety standards special requirements apply for the tools […]

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

Implicit Testing – A good idea (Part 1)?

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

In larger safety-critical projects, quite often I hear the following statement: „Well, the Requirement A is indirectly or implicitly proven with the test XY!“ Do you know this sentence as well? Have you ever experienced what can happen in late project phases when you have tested many requirements indirectly? The blog defines the term in […]

Railway

EN 50128 configurable Systems – The solution?

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

EN 50128 configurable Systems: Chapter 8 of EN 50128 specifies the requirements for systems that are configured by application data or application algorithms (EN 50128 configurable Systems). This blog summarizes the essential requirements of the standard and the practice-oriented challenges of software-configurable embedded systems. At the first glance the configurability offers only advantages. The functional […]

Bahnindustrie

EN50128 konfigurierbare Systeme: Fluch oder Segen?

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Bahn, Deutsche Blogs

Kapitel 8 der EN 50128 beschreibt die Anforderungen an Systeme, die durch Anwendungsdaten oder Anwendungsalgorithmen konfiguriert werden (EN50128 konfigurierbare Systeme). Dieser Blog fasst die wesentlichen Anforderungen der Norm zusammen und zeigt praxisrelevante Herausforderungen von Software-konfigurierbaren Embedded Systemen auf.

ISO26262

Fault Injection Test in ISO 26262 – Do you really need it?

Veröffentlicht 6 KommentareVeröffentlicht in Automotive, Englische Blogs, Top 5 eng

Fault Injection Test: The ISO 26262 defines the fault injection test as a test method for the system integration and unit test level (ISO 26262-4 [System] Tables 5, 8, 10, 13, 15, 18; ISO 26262-5 [Hardware] Table 11; ISO 26262-6 [software] tables 10, 13). This method has certainly a large part in the implementation of […]

Quality Assurance in functional safety projects – Where is the difference?

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Config and Quality, Englische Blogs

The quality assurance checks the quality of the product. This is first of all an almost trivial statement. Depending on the definition of the term „product“, however, differentiate the responsibilities clearly. Do we monitor a production process or are we considering the assurance of quality in a software and electronics development? The following blog deals […]

Validation and Verification

Testing of platforms: A challenge!

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

Testing of platforms are challenges! Do you develop platforms in embedded systems in order to offer more customer solutions without having to make a completely new development for each customer project? Or do you have used an embedded operating system in order to develop your application as independent as possible from the hardware? For the […]