当今无人航天器和卫星的设计和实施费用以电子为主导,这是一个难以预测的,并且通常低估了成本[17]。现代应用程序对计算能力的不断增长需要复杂的计算平台,例如多核和异质体系结构。已经存在几种实施此类高级效率的商业企业解决方案(COTS)解决方案,并且太空机构对整合它们表现出极大的兴趣[18,20]。但是,就可靠性和时机而言,COTS组件通常没有必要的安全性。因此,它们在关键场景中的使用提出了许多挑战,尤其是对于处理器而言。的确,由于安全要求,COTS平台必须确保系统正确性,可以将其分为
主要关键词