Statische Analyse und Dynamischer Test: Wo liegen die Stärken und Schwächen?

Veröffentlicht Veröffentlicht in Deutsche Blogs, Validation und Verifikation

Statische Analyse und Dynamischer Test: Von garantiert fehlerfreier Software sind wir auch nach mehreren Jahrzehnten an Software Engineering gefühlt immer noch unendlich weit entfernt. Auch für die nach den höchsten Sicherheitsstandards entwickelte Software kann niemand absolute Fehlerfreiheit garantieren. Alle Funktionalen Sicherheitsstandards erkennen an, dass eine garantiert fehlerfreie Software (mit dem heutigen Stand der Technik) nicht […]

Requirements Engineering 2.0 – Ansätze wie die Methode weiterentwickelt werden muss!

Veröffentlicht Veröffentlicht in Deutsche Blogs, Requirements Engineering

Viele Bücher sind in den letzten 30 Jahren geschrieben worden zum Thema Requirements Engineering. Viele haben sich mit dem Thema beschäftigt. Die Methode wurde entworfen und verbessert. Der große Erfolg dieser Bemühungen liegt darin, dass das Bewusstsein für das Thema in einem breiten Fachpublikum bewusst gemacht wurde. Es gibt heute kaum noch jemanden der grundlegend […]

Risikobasiertes Testen: Methode für die Identifikation der richtigen Testfälle

Veröffentlicht Veröffentlicht in Deutsche Blogs, Validation und Verifikation

Eine fehlerfreie Software gibt es nicht! Trotzdem wird Software erfolgreich auch in sehr kritischen Systemen eingesetzt. Die Software Entwicklungsprozesse sind aber inzwischen so ausgereift, daß es möglich ist die Fehleranzahl in der Software verlässlich so weit zu reduzieren, dass die Anzahl von Systemfehlern welche Ihre Ursache in der Software haben, so selten geworden sind, dass […]

ISO 26262 Toolqualifikation – Eine praxisfähige Strategie!

Veröffentlicht Veröffentlicht in Automobil, Deutsche Blogs

ISO 26262 Toolqualifikation: In der ISO 26262-8 im Kapitel 11 sind die Anforderungen an Software Tools definiert, welche in einem ISO 26262 konformen Software Entwicklungsprozess zum Einsatz kommen. In der praktischen Anwendung des Kapitel 11 der ISO 26262-8 ergeben sich oft viele Fragen, die teils zu sehr kreativen Vorgehensweisen bei der Toolqualifikation führen. Der nachfolgende […]

Gegenüberstellung und Bewertung verschiedener Testentwurfsverfahren

Veröffentlicht Veröffentlicht in Deutsche Blogs, Validation und Verifikation

Testentwurfsverfahren: Die Komplexität von technischen Systemen steigt seit Jahren und ein Ende ist nicht absehbar. Der entscheidende Innovationstreiber ist dabei die Software. Sehr leistungsfähige Hardware in Kombination mit komplexer Software sind die Grundlage für Trends wie Industrie 4.0, autonomes Fahren, Smart Home und MKS Mensch-Roboter Kollaboration, um nur einige zu nennen. Software ermöglicht heute die […]

EN 50129 Sicherheitsnachweis

Veröffentlicht Veröffentlicht in Bahn, Deutsche Blogs

Der EN 50129 Sicherheitsnachweis ist die strukturierte und dokumentierte Sicherheitsbegründung, dass die Bedingungen für die Sicherheitsabnahme erfüllt wurden. Der Sicherheitsnachweis umfasst alle sicherheitsrelevanten Aspekte des Produktlebenszykluses. Bei der Erstellung des Dokuments steht man daher vor der Herausforderung, verschiedenste Informationen übersichtlich und nachvollziehbar darzustellen. Die EN 50129 unterstützt einen dabei indem die Struktur der Dokumentation relativ […]

ISO 21448 – SOTIF! Wo ist der Mehrwert?

Veröffentlicht Veröffentlicht in Automobil, Deutsche Blogs

Die ISO 21448 SOTIF (Safety of the Intended Functionality) definiert Vorgehensweisen für Fehler, welche sich aus der Limitierung einer Funktionalität ergeben. Die ISO 26262 behandelt komplementär dazu Konzepte, Verfahren und Maßnahmen für Fehler die sich aus zufälligen Hardware Fehlern oder systematischen HW/SW Fehler ergeben. Viele Fachleute sehen im SOTIF Standard eine normative Unterstützung für die […]

ISO 25119: Software Entwicklung für landwirtschaftliche Traktoren und Maschinen

Veröffentlicht Veröffentlicht in Andere FuSiNormen, Deutsche Blogs

ISO 25119: Die Norm beschreibt die Anforderungen an die Sicherheit für Traktoren und Maschinen der Land- und Forstwirtschaft. Die Norm ist eine branchen-spezifische Umsetzung der IEC 61508. Die Norm besteht aus 4 Teilen. Wie auch andere Funktionale Sicherheitsnormen legt die ISO 25119 verschiedene Kritikalitätslevel fest. Die Norm definiert dafür die Agricultural Performance Level (AgPL) QM, […]

ISO 13849 Sicherheit von Maschinen – Software Entwicklung

Veröffentlicht Veröffentlicht in Andere FuSiNormen, Deutsche Blogs

Die ISO 13849 Sicherheit für Maschinen, beschreibt die Anforderungen an die Funktionale Sicherheit von Maschinen. Die Sicherheitsstandards auf dem Gebiet der Maschinen werden in Typ A, Typ B und Typ C Normen eingeteilt. Die ISO 13849 ist eine Typ B Norm. Für Maschinen, die durch den Anwendungsbereich einer Typ C Norm abgedeckt sind und die […]

Strukturelle Source Code Überdeckung – Aufwand ohne Nutzen?

Veröffentlicht Veröffentlicht in Deutsche Blogs, Funktionale Sicherheit

Strukturelle Source Code Überdeckung: Sie arbeiten in Software Projekten in denen das Thema Funktionale Sicherheit immer wichtiger wird? Die Anwendung von IEC 61508, ISO 26262 oder einer vergleichbaren Norm steht vor der Tür oder Sie befinden sich bereits mitten in so einem Projekt? In diesen Fällen ist Ihnen vermutlich der Begriff Strukturelle Source Code Coverage […]