data- and control flow

Vollständige Requirements mit Daten- und Kontrollflussanalyse

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

Funktionale Sicherheitsgrundnorm IEC 61508

Funktionale Sicherheitsgrundnorm IEC 61508

Veröffentlicht Veröffentlicht in Deutsche Blogs, FuSiGrundnorm

Die Funktionale Sicherheitsgrundnorm IEC 61508 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 […]

zertifizierte Werkzeuge, Tool qualification

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

Veröffentlicht Veröffentlicht in Deutsche Blogs, FuSiGrundnorm

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

DO331 Modellbasierte Entwicklung

RTCA DO331 Modellbasierte Entwicklung in der Luftfahrt

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

Mit der Weiterentwicklung des RTCA DO178B zum RTCA DO178C sind auch vier sogenannte Supplementes entstanden. Der RTCA DO331 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 Entwicklung […]

pragmatic software development

Funktionale Sicherheit und Pragmatismus geht das?

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

supplements of DO 178C

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

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

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

RTCA DO 178C

RTCA DO178C – Softwarequalität in der Luftfahrt!

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

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

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

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

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

Requirement Engineering Embedded versus IT

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

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Deutsche Blogs, Requirements 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 […]