CRYSTAL zielt darauf ab, die führende Position Europas auf dem Gebiet des Entwurfs eingebetteter Systeme für sicherheitsrelevante Anwendungen zu stärken. Aufbauend auf existierenden Referenztechnologieplattformen (RTP) aus verwandten ARTEMIS-Projekten (u.a. CESAR und MBAT) wird CRYSTAL einen vollständigen Entwurfsrahmen bestehend aus Werkzeugen, Methoden und Prozessen bereitstellen und hierbei insbesondere die Interoperabilität der einzelnen Bausteine und die Konformität mit einschlägigen Standards in den Vordergrund stellen.Durch die Einbindung von Firmen aus unterschiedlichen Branchen (Luft- und Raumfahrt, Automotive, Medizintechnik, Bahntechnik) werden branchenübergreifende Synergien erwartet.
CRYSTAL wird die Wettbewerbsfähigkeit der europäischen Industrie stärken, indem durch die bereitgestellten Technologien die steigende Komplexität von Systemen beherrschbar bleibt und insbesondere auch ein Beitrag zur Reduzierung von Entwurfskosten und Entwurfszeiten geleistet wird.
Auf technologischer Ebene strebt CRYSTAL Innovation auf folgenden Gebieten an:
Das CRYSTAL Konsortium besteht aus 68 Teilnehmern aus 10 europäischen Ländern. Diese reichen von Industriepartnern, über KMU zu akademischen Partnern und decken die Anwendungsdomänen Luftfahrt, Automotive, Bahn und Gesundheit ab.
Böschen, Martin and Bogusch, Ralf and Fraga, Anabel and Rudat, Christian; Joint Proceedings of REFSQ-2016 Workshops, Doctoral Symposium, Research Method Track, and Poster Track (REFSQ-JP 2016); 2016
Baumgarten, Guilherme and Oertel, Markus and Rettberg, Achim and Götz, Marcelo; Inproceedings of the 2014 12th IEEE International Conference on Industrial Informatics (INDIN); 07 / 2014
Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin; International Journal on Software Tools for Technology Transfer; 2014
Christian Ellen and Sven Sieverding and Hardi Hungar; Formal Methods for Industrial Critical Systems; 2014
Ellen, Christian and Böschen, Martin and Peikenkamp, Thomas; Computer Safety, Reliability, and Security; 2014
Baumgarten, Guilherme and Rosinger, Maike and Todino, Anna and Marín, Rubén de Juan; Inproceedings of the 2015 IEEE International Symposium on Systems Engineering (ISSE); 09 / 2015
Martin Böschen and Christian Rudat; Proceedings of SKY 2015 - 6th International Workshop on Software Knowledge; 2015
FKZ: 01IS3001A