The Challenges posed by the Aeronautical Certification of Open-Hardware System in Package

Safety-critical airborne embedded processing devices must undergo certification processes according to standards that were written for custom developments and COTS devices usage. However, modern electronic devices are evolving from monolithic chips toward System in Package (SiP) architectures and from proprietary IPs toward Open-source Hardware IPs, paving the way to more tailoring, modularity and potential reuse of components across projects. This shift raises the question of whether the existing certification baseline remains adequate for such modern electronic devices and whether evolutions are required. The article aims to address this question by formalizing both the Open Hardware SiP domain and the certification baseline using ontologies, framing the adequacy between these two formal models as an ontology alignment problem and drawing conclusions from this alignment.