ARAMiS II – Debugging, Integration und Test für sicherheitskritische Multicore-Systeme
Im Rahmen des Projektes ARAMiS II werden Entwicklungsprozesse, -werkzeuge und Plattformen für den effizienten Einsatz von Multicore-Technologie analysiert und entwickelt. In enger Zusammenarbeit mit dem Partner Accemic entwickelt das ISP moderne Runtime-Verification-Techniken für Multicore-Plattformen.
Die Praxistauglichkeit der in ARAMiS untersuchten und entwickelten Technologien wird in Demonstratoren der verschiedenen Anwendungsdomänen gezeigt. Das ISP ist insbesondere im von Airbus geleiteten „Avionik Multicore Observer“-Demonstrator aktiv. Das ISP arbeitet hier in enger Abstimmung mit Airbus an der Weiterentwicklung der Spezifikationssprache TeSSLa und an Tools und Werkzeuge, um in TeSSLa spezifizierte Monitore auf FPGA-basierten Interpretern des Partners Accemic ausführen zu können.
Weitere Informationen zum Projekt finden sich auch auf der offiziellen Projektwebsite: