Molomolo African Tech Stories Podcast: Michael Jastram on the Future of MBSE

[vc_row][vc_column width=”1/4″][vc_single_image image=”416″ img_size=”150×150″ alignment=”center” css_animation=”appear”][/vc_column][vc_column width=”3/4″][vc_column_text] Situation Im Rahmen des europäischen FP7 Projekts Deploy hat Siemens die Software ProB eingesetzt um herauszufinden, ob sie in der Lage ist, automatisch bestehende B-Modelle zu überprüfen. Diese Modelle, die Gleisstrukturen und Signaldaten beschreiben, wurden bereits produktiv eingesetzt. Bei Siemens wurden zum damaligen Zeitpunkt mehrere Wochen darauf verwendet,…

[vc_row][vc_column width=”1/4″][vc_single_image image=”416″ img_size=”150×150″ alignment=”center” css_animation=”appear”][/vc_column][vc_column width=”3/4″][vc_column_text] Ausgangssituation Deploy war ein europäisches FP7 Projekt mit dem Ziel, Techniken und Methoden für die Entwicklung sicherheitskritischer Systeme mittels formaler Methoden voranzutreiben und weiterzuentwickeln. Ein zentrales Ziel war es, die sogenannte Rodin Platform weiterzuentwickeln und für Anwender aus der Industrie zugänglich zu machen.[/vc_column_text][/vc_column][/vc_row][vc_row][vc_column width=”1/4″][vc_single_image image=”417″ img_size=”150×150″ alignment=”center” css_animation=”appear”][/vc_column][vc_column…