Parasoft引领航空电子软件安全数智化时代

2021(第十届)飞机航空电子国际论坛于6月22日-23日在上海召开,本届论坛以“关注飞机航空电子系统与设备数智化发展”为主题,结合未来飞机和电子技术发展趋势,集中讨论了飞机航空电子系统与设备数智化的主题,邀请了包括中国航空、中国商飞、上海交大、中国民航、Parasoft等在内的500余位国内外飞机航空电子领域的专业人士与会交流。

作为在国际航空电子软件测试领域内服务超过三十多年的服务商,Parasoft受邀在2021(第十届)飞机航空电子国际论坛上,做了主题为“Parasoft解决方案在航空领域内的应用”的报告,受到了现场专家们的一致称赞。

Parasoft引领航空电子软件安全数智化时代

图一:Parasoft受邀在2021(第十届)飞机航空电子国际论坛上演讲

过去十年,我国民用航空市场增长迅速,民用航空工业逐步融入世界航空产业链,CR929、C919、ARJ21、新舟系列支线客机、C系列直升机等国产民机型号的研制与运营,为我国民航强国战略和制造强国战略提供了重要支撑。作为民用航空安全的核心构成部分,航空电子系统的安全性和可靠性水平,成为制约中国民航事业发展的桎梏。针对这一难题,DO-178C标准一直以来被国际通用。

DO-178C(机载系统和设备认证中的软件考虑)也被称为适航符合性方法,国际上要求航空电子需要完全按照DO-178C中提出的过程要求来开发软件,用于支撑适航规章,而目前行业一直在遵从DO-178C(比如国内的DO-178B也是参照DO-178C的标准)的标准开发航空软件。DO-178C标准对软件的全生命周期做了详细的规定和要求,从最早的需求分析(系统设计)、概要设计、详细设计均有详细的标准要求。毕竟对于需要飞上天的工具,相比陆地工具对于软件的安全性和可靠性有着更高的要求,对于遵从DO-178标准一致性的软件测试挑战,要求也是行业,级别的存在。上文中提到的Parasoft在民航电子软件测试领域,有着三十多年的行业经验和技术积累,尤其对于解决DO-178标准验证的挑战,Parasoft可提供端到端的全软件生命周期测试需求。

Parasoft引领航空电子软件安全数智化时代

图二:2021(第十届)飞机航空电子国际论坛会议现场

“针对DO-178C要求,Parasoft 解决方案可提供针对需求双向可追溯性、源代码测试、目标代码测试、覆盖率分析、专用的遵从性仪表盘等解决方案,在源代码测试执行中,提供包括静态分析(MISRA, AUTOSAR C++14, CERT, JSF)、单元测试、集成测试、系统测试的全生命周期软件测试解决方案。”Parasoft技术总监在本次论坛上介绍说。

基于航空电子对于软件的安全性级别,Parasoft多年来形成了“对于航空软件安全领先的安全(safety)和安全(security)合规解决方案,比如CERT C / CERT C++ 、MISRA C 2012 、AUTOSAR C++14 、Joint Strike Fighter 、CWE 等,提供最完整的行业编码覆盖、支持自定义检查器的创建、支持查找重复代码和代码复杂性度量。”同时,根据DO-178B/C Level A需求,以及从上位机(主机)和目标板硬件中收集结构覆盖率等严格的要求,Parasoft 产品也可执行目标代码验证,不仅可以节省几天甚至几周的劳动密集型、容易出错的手工工作,而且大大提升航空电子软件的安全性。

Parasoft引领航空电子软件安全数智化时代

图三:会议现场交流

如今,面向服务的SOA 架构在航空领域同样应用非常广泛,涉及包括从商务(CRM)、机务(MRO)、航务(AOC)、管控(ERP),到数据中心等系统的业务交互。Parasoft SOAtest/Virutalize 系列产品,能很好解决航空领域 SOA 架构系统之间 API 服务的功能测试、性能测试和服务虚拟化。

对此,Parasoft技术总监周杰先生表示,“Parasoft SOA松耦合、可重用、易于拓展的服务特性,其可通过接口进行通信、独立于特定硬件、操作系统和编程语言,软硬件分离。而且Parasoft SOAtest广泛支持如SOA架构的协议、接口及消息格式协议和接口,可实现自动化端到端的测试服务,解决了SOA的测试难点。”同时,在测试压力较大的环境下,“作为SOAtest的压力性能测试组件,Parasoft Load Test在负载下可验证软件性能和功能预期。”周杰介绍说。

不仅如此,在航空电子领域内,对于困扰测试人员尽早开展工作难以访问的、相对独立的分布式系统,Parasoft Virtualize服务虚拟化可系统解决这一问题。Parasoft覆盖航空电子全领域的软件测试解决方案,多年来帮助诸多合作伙伴因软件安全、系统故障导致的航空问题,而且在帮助合作商从软件开发、测试、交付、部署,到使用等全生命周期内,提供端到端软件全生命周期的测试解决方案。

“十四五”期间,我国航空电子产业将迎来新一轮的发展良机,新一代的航空电子系统不仅引进了新的理念,而且有了新器件,需要新的开发工具来支持。随着5G通信、AI人工智能、VR虚拟现实等技术的快速进步,航空电子系统的综合化、智能化、模块化水平不断提高,已经日益成为飞机不可或缺的组成部分,在保障飞机安全、保证运行方面发挥着重要作用。在此背景下Parasoft将成为这个行业大势中不可获取的参与者,其将继续为中国航空电子的安全和运行上的,一道保险,成为中国航空电子产业阵营中的,。(BM)

(免责声明:本网站内容主要来自原创、合作伙伴供稿和第三方自媒体作者投稿,凡在本网站出现的信息,均仅供参考。本网站将尽力确保所提供信息的准确性及可靠性,但不保证有关资料的准确性及可靠性,读者在使用前请进一步核实,并对任何自主决定的行为负责。本网站对有关资料所引致的错误、不确或遗漏,概不负任何法律责任。
任何单位或个人认为本网站中的网页或链接内容可能涉嫌侵犯其知识产权或存在不实内容时,应及时向本网站提出书面权利通知或不实情况说明,并提供身份证明、权属证明及详细侵权或不实情况证明。本网站在收到上述法律文件后,将会依法尽快联系相关文章源头核实,沟通删除相关内容或断开相关链接。 )