Nachvollziehbar, nicht nur fertig
Jede Lieferung lässt sich rückwärts bis zur auslösenden Anforderung und vorwärts bis zum abschließenden Test verfolgen. Was sich nicht verfolgen lässt, ist nicht fertig.
Ich bin Tsvetan Tsvetkov. Seit über einem Jahrzehnt arbeite ich als Systemingenieur, davor als Softwareingenieur, in den Teams hinter Komponenten und Werkzeugen einiger der meistverkauften Autos Europas.
Aufgeschrieben liest es sich wie eine Liste. Anforderungsspezifikationen, zerlegt in Architektur; funktionale und technische Sicherheitskonzepte nach ISO 26262; Gefährdungsanalyse und Risikobewertung, ASIL-Einstufung und ihre Zerlegung bis zu dem Element, das sie trägt; Verhaltensmodelle in Matlab, Simulink und Stateflow, erprobt auf Model-, Software- und Hardware-in-the-Loop-Prüfständen, lange bevor ein Bauteil existiert; Nachvollziehbarkeit, die von einer Zeile im Lastenheft über Entwurf und Code bis zum Test trägt, der sie belegt; und die Dokumentation, die ein Sicherheitsassessment Jahre später überstehen muss, wenn die Autoren längst in anderen Projekten sind.
Es heißt auch, im Prozess eines anderen zu arbeiten: in den Freigabetoren eines Herstellers, im Qualitätssystem eines Zulieferers, in einem Programm, das seinen Produktionsstart nicht verschiebt, weil ein Arbeitspaket zu spät kommt. Saubere Technik, die nach dem Tor eintrifft, ist wertlos.
Gelebt ist die Arbeit stiller als die Liste. Ein Jahrzehnt endet als ein paar hundert Millisekunden Verhalten, das niemand bemerken soll: eine Warnung, die kommt, solange sie noch nützt; eine Anzeige, die genau dann lesbar bleibt, wenn es darauf ankommt; eine Funktion, die im Fehlerfall in die sichere Richtung ausfällt. Heute verlassen sich sehr viele europäische Fahrer bei jedem Start auf diese Arbeit, und keiner von ihnen wird je wissen, dass sie da ist.
Ein Programm aus vier Kursen des Massachusetts Institute of Technology zu Architektur komplexer Systeme, Modellen im Engineering, modellbasiertem Systems Engineering für Dokumentation und Analyse sowie quantitativen Methoden — der formale Apparat hinter der Art, wie hier jeder Auftrag strukturiert wird.
Rechnerarchitektur, Mikroprozessoren, Betriebssysteme, Halbleiter und Algorithmenanalyse — die Schicht unter den Modellen, auf der sicherheitskritische Software am Ende laufen muss.
Jeder Auftrag wird so geführt, dass die unangenehmen Erkenntnisse kommen, solange sie noch billig sind. Analyse vor Modellierung, Simulation vor Hardware, Dokumentation während der Arbeit statt rekonstruiert vor einem Audit.
Keine Versprechen, sondern Arbeitsweisen — und Sie dürfen sie an jeder Lieferung überprüfen.
Jede Lieferung lässt sich rückwärts bis zur auslösenden Anforderung und vorwärts bis zum abschließenden Test verfolgen. Was sich nicht verfolgen lässt, ist nicht fertig.
Ich arbeite in Ihren Toren, Ihren Vorlagen und Ihrer Werkzeugkette, nicht daneben. Die Integration ist mein Problem, nicht Ihres.
Wo eine Analyse unsicher ist, wird die Unsicherheit aufgeschrieben und mitgeführt, statt in einem Statusbericht geglättet zu werden.
Bei ZETOSON analysieren wir sie und machen eine Lösung daraus. Vereinbaren Sie ein unverbindliches Gespräch mit unserem Team.