在数控机床、航空航天、轨道交通、电力装备这一类安全攸关以及关键基础设施领域，嵌入式系统的正确性和安全性问题是保障行业健康有序发展的重要基础。面对复杂需求场景，很多互联网/物联网系统在开发中，需求描述不精确、设计模型与需求不一致、代码实现的测试不完备，难以满足关键领域嵌入式系统的安全可靠性。凯思昊鹏(HOPEN)始终推进并攻克相关技术，解决并破解嵌入式系统安全性与可靠性的世界难题。伴随HOPEN在嵌入式系统内核安全，形式化验证方面的影响逐步显现，法国领先的嵌入式系统安全解决方案厂商KRONO-SAFE与凯思昊鹏公司进行了沟通和交流。
在安全可靠关键内核中，HOPEN围绕“自主化、创新化、形式化”路径构建战略体系。通过战略体系抢占Hopen嵌入式实时操作系统(HopenOS)在关键领域的标准话语权。在自主化方面上，Hopen目标实现在关键领域的国产化替代。从嵌入式操作系统来看，与HopenOS同类的国产操作系统有很多，然而事实上占据我国工业领域的操作系统仍然是以美国风河VxWorks为主的国外产品。在创新方面上，面对关键基础设施领域的高安全、高可靠和高可信需求，需要开发一套完整的、数学验证的、一体化的高可信系统开发环境与工具。目前在全球范围内，除了美国的DAPRA在航空领域做过类似的前瞻研究项目，其他领域尚未实现。在形式化方面上，全球工业可靠性与安全领域的验证中，IEC61508的最高等级和CC的EAL5级以上都对形式化验证提出了强制性要求，面对国际认证的最高等级要求，HopenOS在集成可靠性和安全性上持续创新。
凯思昊鹏公司作为国内知名的嵌入式实时操作系统开发商，HopenOS受到国内外的关注，HOPEN正在整合国内外最高端资源，积极推动工业软件的高可靠与高可信发展。
KRONO-SAFE旨在将最初由法国原子能委员会 (CEA)开发的软件技术商业化，在安全认证、工程化实时性保障方面有成功经验。2022年1月4日，双方就嵌入式实时操作系统的高安全、高可靠技术进行了沟通和交流。在这次对话交流中双方分享了嵌入式实时操作系统面临的挑战、安全内核构建方法等，探讨了下一步的发展计划、可商定的行动方案等。
KRONO-SAFE公司成立于2011年，目前研发并销售ASTERIOS软件工具套件，包括针对安全关键型实时嵌入式系统的创新型实时内核（RTK），以及能够在单核或多核硬件目标平台上全面仿真和自动集成应用的集成型研发环境（IDE），其服务的市场既包括航空航天、汽车、工业自动化、交通运输、能源、医疗等既有市场领域，也包括工业物联网等需要安全能力的新兴市场。
HOPEN公司成立于1998年，致力于国产自主可控嵌入式操作系统HopenOS及其系列解决方案的研发工作，在商业航天、物联网、工业控制、消费电子等领域有着较好的实践和产业化基础。2021年以来，Hopen嵌入式操作系统致力于高可信内核的升级工作，目标是以形式化验证的方式提高HopenOS内核的高安全高可靠特性。
KRONO-SAFE目标与HOPEN公司一致，双方均以国际范围对嵌入式系统安全能力的强烈需求为合作背景，共同推进双方互相认可支持和服务。