Wir respektieren die individuellen Eigenschaften jedes Projekts und jedes Kunden. Als Ausgangspunkt dienen für uns immer Ihre Vision und Ihre Ziele. Wir nehmen die effizientesten und effektivsten Methoden und Techniken aus unserem Portfolio, um Ihnen die bestmögliche Unterstützung zu bieten.

Die folgende Liste unserer wichtigsten Leistungen gibt Ihnen einen Eindruck von unserem Portfolio.

Safety-Gap-Analyse

Verbesserungen hin zu mehr Effizienz und Effektivät im Safety Engineering. Wir analysieren den gegenwärtigen Stand Ihres Projekts in Bezug auf Safety und leiten daraus die optimale Verbesserungsstrategie ab. Die Kenntnis des Status Quo und ein detaillierter Bericht inklusive Erläuterungen helfen Ihnen, Entscheidungen bezüglich des Projektcontrollings und des Erreichens Ihrer Safety-Ziele zu treffen.

Unterstützung beim Safety Engineering

Wir sind die kleinen Helfer im Hintergrund, die Sie bei der standardkonformen Entwicklung Ihrer sicherheitsrelevanten Anwendung unterstützen. Dazu gehört nicht nur die „Übersetzung” dieser Standardtexte in konkret anwendbare Aktionen und Schritte, sondern das bedeutet auch, dass wir tatsächlich selbst die notwendigen Aufgaben im Safety Engineering durchführen oder beaufsichtigen.

Innovative Sicherheitskonzepte

Mit unserer Notation der Safety Concept Trees erstellen wir innovative Sicherheitskonzepte. Modularisierung und hierarchische Abstraktionen ermöglichen die Entwicklung hochkomplexer, aber  leicht verständlicher Sicherheitskonzepte. Safety Concept Trees werden mithilfe von UML-Profilen modelliert und lassen sich daher leicht in modellbasierte Entwicklungsprozesse integrieren.

Modellbasierte Fehlerbaumentwicklung

Zehn Jahre Forschung und praktische Verbesserung standardmäßiger Fehlerbäume, von modularen Fehlerbäumen (Komponentenfehlerbäumen) zu modellbasierten, komponentenintegrierten Komponentenfehlerbäumen (C²FT), ermöglichen es uns, Fehlerbäume für hochkomplexe Systeme zu entwickeln. Mithilfe von Modularisierung und hierarchischem Design lassen sich Fehlerbäume an der System- und Softwarearchitektur ausrichten. Dies erleichtert nicht nur die Entwicklung von Fehlerbäumen, sondern führt auch zu einer drastischen Erhöhung der Verfolgbarkeit zwischen Fehlerbäumen und dem konkreten System. Unsere modellbasierte Variante, C²FT, unterstützt ferner die direkte Modellnavigation sowie die halbautomatische Erzeugung von Komponentenfehlerbäumen.

Modulare Zertifizierung

Unser Ansatz ermöglicht die Entwicklung eines modularen Zertifikats. Ein Zertifikatsinterface, das Annahmen und Garantien verwendet, beschreibt die lokalen Sicherheitseigenschaften eines Produkts. Die Annahmen stellen Voraussetzungen dar, die erfüllt werden müssen, damit das Produkt in einer sicherheitsrelevanten Anwendung verwendet werden kann. Die Garantien hingegen sind garantierte Sicherheitseigenschaften des Produkts selbst, die beim Entwurf einer Anwendung eingesetzt werden können. Es reicht aus, das Interface zu überprüfen; erfüllt dies die Voraussetzungen, so kann das Produkt in einer sicherheitsrelevanten Anwendung zum Einsatz kommen.

Software Safety

Software hat nur systematische Fehler. Daher sind viele klassische Methoden und Techniken für das Safety Engineering, die auf zufällige Fehler abzielen, für Software nicht geeignet. Außerdem nimmt die Komplexität von Software exponentiell zu. Mit unserer 15-jährigen Erfahrung im Software Engineering unterstützen wir unsere Kunden beim Entwurf von sicherer Software. Deshalb wählen wir die besten Fehlererkennungs- und Fehlerpropagierungstechniken für die Entdeckung von Schwachstellen in der Software und verbessern speziell bestimmte Teile mithilfe von Fehlerentfernungs- oder Fehlertoleranztechniken.