Deutsche Blogs

Vollständige Requirements mit Daten- und Kontrollflussanalyse

Veröffentlicht am
data- and control flow

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

Deutsche Blogs

Die non-intrusive Messung der strukturellen Coverage

Veröffentlicht am
The non-intrusive measurement of structural coverage

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

Deutsche Blogs

IEC 61508 – Die Funktionale Sicherheitsgrundnorm

Veröffentlicht am
Functional Safety Basic Standard IEC61508

Die Funktionale Sicherheitsgrundnorm IEC61508 bezeichnet man häufig auch als Mutter aller Funktionalen Sicherheitsnormen. Mit dieser Norm war bei Ihrer Einführung 1998 die Absicht verbunden, branchenübergreifende Prozesse und Methoden zu definieren die für sicherheitsrelevante elektrische, elektronische und programmierbar elektronische Systeme anzuwenden sind. Die IEC61508 kommt zur Anwendung, sofern keine branchenspezifische Normen für diesen Bereich vorhanden sind.

Deutsche Blogs

IEC 61508 – zertifizierte Werkzeuge – Wann? Warum? Wie?

Veröffentlicht am
zertifizierte Werkzeuge, Tool qualification

Der Begriff Toolqualifikation löst bei vielen, die sich mit dem Thema Funktionale Sicherheit beschäftigen, ein unangenehmes Gefühl und Unsicherheit aus. Die IEC 61508 fordert die Zertifizierung von Softwaretools die für die Softwareentwicklung verwendet werden. Auch andere Funktionale Sicherheitsstandards erheben ähnliche Forderungen. Allerdings werden leider nicht immer die gleichen Begrifflichkeiten verwendet. Die IEC 61508 verwendet den […]

Deutsche Blogs

RTCA DO 331 Modellbasierte Entwicklung und Verifikation in der Luftfahrt

Veröffentlicht am
RTCA DO 331 Model-Based Development RTCA DO 331 Modellbasierte Entwicklung

Mit der Weiterentwicklung des RTCA DO178B zum RTCA DO178C sind auch vier sogenannte Supplementes entstanden. Der RTCA DO 331 Modellbasierte Entwicklung ist eines dieser vier Supplements und er beschreibt die Anforderungen an die Modellbasierte Entwicklung und Verifikation in der Luftfahrt. Der nachfolgende Beitrag gibt Antworten auf folgende Fragen: Wie ist der RTCA DO 331 Modellbasierte […]

Deutsche Blogs

Funktionale Sicherheit und Pragmatismus geht das?

Veröffentlicht am
pragmatic software development

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

Deutsche Blogs

Die Supplements des DO178C – Woher kommen diese und was ist deren Inhalt?

Veröffentlicht am
Supplements of DO178C

Mit der Weiterentwicklung des RTCA DO178B zum RTCA DO178C sind auch vier sogenannte Supplementes entstanden. Diese Supplements des DO178C definieren die Bedingungen unter den modernen Software Entwicklungsmethoden in der Luftfahrt eingesetzt werden können. Wenn man die Geschichte des RTCA DO178 betrachtet, dann stellt man fest, dass Änderungen am Standard nur selten vorgenommen werden. Der RTCA […]

Deutsche Blogs

RTCA-DO178C – Softwarequalität in der Luftfahrt!

Veröffentlicht am
RTCA-DO178C

RTCA-DO178 – Der Mythos! Schon 1980 gab es in der Luftfahrt erste Überlegungen wie man Software sicher und möglichst fehlerfrei entwickeln kann. Aus diesen Überlegungen hat sich eine weit über die Software hinaus viel geachtete Norm entwickelt. Aktuell in der Version RTCA-DO178C. Anwendung findet die Norm in allen fliegenden Systemen. Mit der EASA (Europa) und […]

Deutsche Blogs

Security für Embedded Systeme – Was kommt da auf uns zu?

Veröffentlicht am

Die Notwendigkeit von Security Schutzmaßnahmen im Office-IT-Umfeld ist uns allen schon lange in Fleisch und Blut übergegangen. Firewall, Virenscanner, Verschlüsselung von Daten: Office-IT ist ohne diese Aspekte nicht mehr denkbar. Relativ neu dagegen ist, dass Thema Security für Embedded Systeme. Auch diese Systeme sind heute schon schutzbedürftig, hinsichtlich möglicher bösartiger Angriffe. Lange Zeit gab es […]

Deutsche Blogs

Requirement Engineering für Embedded- und IT-Systeme – Es wird Zeit das sich die Embedded Community der Unterschiede bewusst wird!

Veröffentlicht am
Requirement Engineering

Wenn man den Büchermarkt, Publikationen oder auch Konferenzen zum Thema Requirements Management und -Engineering (RE) analysiert, stellt man fest, dass mehr als 90% davon die Methode Requirements Engineering aus dem Blickwinkel von IT-Software Systemen betrachten. Es gibt nur ganz wenig Veröffentlichungen die das Thema aus dem Blickwinkel von Embedded Systemen betrachten. Es ist einerseits das […]