Kategorie: Funktionale Sicherheit

data- and control flow

Vollständige Requirements mit Daten- und Kontrollflussanalyse

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

Die Durchführung einer Daten- und Kontrollflussanalyse wird in fast allen funktionalen Sicherheitsstandards gefordert. Im Vergleich zu anderen Methoden und Maßnahmen, fristet die Daten- und Kontrollflussanalyse aber eher ein Schattendasein. Der Grund liegt vor allem auch darin, dass bisher die technologischen Fähigkeiten zur Durchführung einer solchen Analyse gefehlt haben. Die non-intrusive Systembeobachtungstechnologie der Firma Accemic (www.accemic.de) […]

The non-intrusive measurement of structural coverage

Die non-intrusive Messung der strukturellen Coverage

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

Die Messung der strukturellen Source Code Coverage ist heutzutage in vielen Funktionalen Sicherheitsstandards als ein wichtiges Verfahren definiert. Die Non-intrusive Messung der strukturellen Coverage bietet hier zukünftig ganz neue Möglichkeiten. Lange Zeit war es industrieweiter Konsense dass die strukturelle Coverage nur in sogenannten White-Box-Tests ermittelt werden sollte und konnte. In vielen Lehrbüchern wird die Messung […]

pragmatic software development

Funktionale Sicherheit und Pragmatismus geht das?

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

Viele verbinden mit der Umsetzung von Funktionaler Sicherheit, viel Formalismus, und unnötig umfangreiche Dokumentation und viele Prozesse mit einem hohen Anteil an theoretischen Überbau. Und ja es gibt solche Projekte sehr oft und in jeder Industrie. Ich habe die Erfahrung gesammelt das solche Projekte oft aber nicht besonders effizient sind, wenn man sie an der […]

Compiler

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

Veröffentlicht MartinHeiningerSchreibe 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) […]

Freedom of Interference

Rückwirkungsfreiheit – Die gelebte Praxis!

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

Im letzten Blogbeitrag (Juni 2017) habe ich das Prinzip der Rückwirkungsfreiheit erklärt. Das verwendete Beispiel bezog sich dabei auf die Automobilbranche und die ISO26262. Nun möchte ich das Thema branchenübergreifend (Bahn, Luftfahrt, Automobil) betrachten und meine Erfahrungen aus der Projektpraxis mit Ihnen teilen.

Guter Safety Software Entwicklungsprozess – Was ist das?

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

IEC 61508, ISO26262, DO 178C, ISO 25119: Sind Ihnen diese Kürzel schon mal in Ihrem beruflichen Alltag begegnet? Falls ja, dann ist die Wahrscheinlichkeit hoch, dass Sie Funktionale Sicherheitsprojekte bereits in Ihrem Unternehmen durchführen oder dass Sie in näherer Zukunft in diesen Markt einsteigen werden. Vielleicht haben Sie auch schon selbst die Erfahrung gemacht, bzw. […]

Wichtigkeit der Toolqualifikation

Wichtigkeit der Toolqualifikation in der FuSi (Teil2)!

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

Die Wichtigkeit der Toolqualifikation habe ich im ersten Teil (Link) grundsätzlich erklärt. Ebenso habe ich bereits einen Überblick über die 4 am häufigsten angewendeten Maßnahmen gegeben. In diesem Beitrag möchte ich nun jede dieser 4 Maßnahmen genauer vorstellen und die jeweiligen Vor- und Nachteile benennen.

Importance of Tool Qualification

Wichtigkeit der Toolqualifikation in der FuSi (Teil 1)!

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

Toolqualifikation – Viele Firmen und Projektteams die erstmals Projekte im Umfeld der Funktionalen Sicherheit durchführen, haben den Eindruck, dass das Thema Toolqualifikation erfolgskritisch ist und mit hohem Aufwand verbunden ist. Obwohl dieses Thema natürlich wichtig ist und auch einen gewissen Kostenaufwand mit sich bringt, wird dem Thema interessanterweise oft eine nicht angemessene Aufmerksamkeit geschenkt. Dieser […]

Strukturelle Source Code Coverage und Requirements – Gibt’s da einen Zusammenhang?

Veröffentlicht MartinHeiningerSchreibe einen KommentarVeröffentlicht in Deutsche Blogs, Funktionale Sicherheit, Requirements Engineering, Validation und Verifikation

Wenn Sie neu in dem Bereich der Funktionalen Sicherheit tätig sind, dann werden Ihnen die Begriffe strukturelle Source Code Coverage und Requirements ziemlich schnell begegnen. Die Spezifikation von technischen Systemen mittels Requirements ist natürlich auch im nicht sicherheitskritischen Bereich sehr verbreitet. Dagegen spielt das Thema strukturelle Source Code Coverage außerhalb der Sicherheitstechnik praktisch keine Rolle. […]