AdaCore freut sich, seine Teilnahme am Forschungsprojekt SCHEME bekannt zu geben. Rolls-Royce hat ein weltklasse Konsortium aus britischer Industrie und Wissenschaft zusammengestellt, um die nächste Generation von High-Integrity-Plattformen für den Einsatz in der Luft- und Raumfahrt sowie anderen anspruchsvollen Umgebungen zu entwickeln.
Die Gestaltung und Herstellung von Mikroprozessoren ist komplex, und typischerweise werden handelsübliche (commercial off-the-shelf, COTS) Automobil- und General-Purpose-Prozessoren für die Luft- und Raumfahrt eingesetzt. Dieser Ansatz hat Probleme mit Obsoleszenz, Komplexität und Designkompromissen mit langfristigen Kostenauswirkungen. Darüber hinaus ist eine neue Generation von komplexeren, autonomen und vernetzten Luft- und Raumfahrtsystemen erforderlich, um die Netto-Null-Ziele zu erreichen. Solche Systeme müssen auch zunehmend cybersicher sein. Die Umnutzung von COTS-Prozessoren, um solche Anforderungen zu erfüllen, ist komplex und nicht kosteneffektiv aufgrund der erhöhten Belastung bei der Zertifizierung von Produkten.
SCHEME wird eine neue Generation von sicherheitskritischen und cybersicheren Mikroprozessoren entwickeln. Der Mikroprozessor und die unterstützende Infrastruktur werden von Grund auf so konstruiert, dass sie eine langfristige, kosteneffiziente High-Integrity-Lösung bieten. Der maßgeschneiderte Prozessor wird die Design- und Lebenszykluskosten senken, die Versorgungssicherheit gewährleisten und Schutz vor den globalen Problemen bieten, denen sich die Halbleiterindustrie gegenübersieht.
SCHEME wird dem Vereinigten Königreich eine hochleistungsfähige Mikroprozessor-Plattform bieten, die sowohl in der Luft- und Raumfahrt als auch in ähnlichen Sektoren eingesetzt werden kann, in denen Ausfallschutz und Cybersicherheit von größter Bedeutung sind. Dazu gehören aufstrebende Sektoren, die für die Zukunft der britischen Wirtschaft von entscheidender Bedeutung sind, wie autonome Fahrzeuge und kleine modulare Kernreaktoren. Darüber hinaus hat das Konsortium das Potenzial, eine vollständige Lösung für die Entwicklung von hochzuverlässigen Systemen für viele potenzielle Kunden sowohl innerhalb als auch außerhalb des Vereinigten Königreichs zu bieten.
Jan Góralczyk, Programmleiter bei Rolls-Royce, sagte: „AdaCore bringt ein umfassendes Portfolio an Fähigkeiten in der Bereitstellung von High-Integrity-Software mit. Ihr konsequenter Professionalismus und ihre Expertise in Compiler-Werkzeugen, Prozessor-Simulation und dynamischer Analyse werden entscheidende Faktoren sein, um die Ziele des SCHEME-Projekts zu erreichen. Darüber hinaus wird das Verständnis von AdaCore für die Branche, sowohl in Bezug auf Softwaretechnologie als auch auf potenzielle Kunden, dazu beitragen, dass die im Rahmen von SCHEME durchgeführten Aktivitäten und erwarteten Ergebnisse den sich wandelnden Bedürfnissen der Branche gerecht werden.“
Ein wesentlicher Bestandteil der Prozessor-Lösung von SCHEME ist die unterstützende Software-Tool-Infrastruktur. Kyriakos Georgiou, Projektleiter von SCHEME bei AdaCore, sagte: „Das SCHEME-Projekt ist gut mit dem Engagement von AdaCore und seinem nachgewiesenen Erfolg als vertrauenswürdiger Anbieter von Software-Tools für die Entwicklung von High-Integrity-Anwendungen abgestimmt. Daher ist das AdaCore UK R&D Centre of Excellence einzigartig positioniert, um Softwareentwicklungs- und Verifikationstools zu produzieren, die die Kosten und Lieferzeiten für sicherheitskritische und cybersichere Anwendungen reduzieren.“ Diese Lösungen werden Validierungs- und Verifizierungsprozesse abdecken, Zertifizierungsnachweise generieren und die Softwaresicherheit stärken. Die im Rahmen von SCHEME entwickelten Technologien werden in eine moderne Entwicklungsumgebung integriert, die moderne Praktiken wie fortschrittliches DevOps unterstützt. In diesem Zusammenhang wird das britische AdaCore-Team erheblich dazu beitragen, ein vertrauenswürdiges Software-Ökosystem zu etablieren, das für den kommerziellen Erfolg des Prozessors erforderlich ist.
Das Investitionsprogramm in Höhe von 37,5 Millionen Pfund wird vom ATI-Programm mitfinanziert, das die zivile Luft- und Raumfahrtforschung im Vereinigten Königreich finanziert und in Partnerschaft mit dem Aerospace Technology Institute, dem Department for Business & Trade und Innovate UK durchgeführt wird. Rolls-Royce wird von AdaCore, TT Electronics, Volant Autonomy, Rapita Systems, dem Manufacturing Technology Centre, der Queen's University Belfast, der University of Bristol, der University of Sheffield und der University of York unterstützt.