Sicherheitskritische luftgestützte eingebettete Verarbeitungsgeräte müssen Zertifizierungsprozesse durchlaufen, die gemäß Standards geschrieben wurden, die für individuelle Entwicklungen und die Verwendung von COTS-Geräten entwickelt wurden. Moderne elektronische Geräte entwickeln sich jedoch von monolithischen Chips hin zu Systemen in einem Paket (SiP) und von proprietären IPs zu Open-Source-Hardware-IPs, was den Weg zu mehr Anpassung, Modularität und potenzieller Wiederverwendbarkeit von Komponenten über Projekte hinweg ebnet. Diese Verschiebung wirft die Frage auf, ob die bestehende Zertifizierungsbasis für solche modernen elektronischen Geräte weiterhin angemessen ist und ob Weiterentwicklungen erforderlich sind. Der Artikel zielt darauf ab, diese Frage zu adressieren, indem sowohl der Open Hardware SiP-Bereich als auch die Zertifizierungsbasis unter Verwendung von Ontologien formalisiert werden, und die Angemessenheit zwischen diesen beiden formalen Modellen als ein Problem der Ontologieausrichtung framed und Schlussfolgerungen aus dieser Ausrichtung zieht.
Adelaide et al. (Tue,) haben diese Frage untersucht.