Parasoft引领航空电子软件安全数智化时代
科技
科技 > 传媒 > 正文

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

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

作为在国际航空电子软件测试领域内服务超过三十多年的服务商,Parasoft受邀在2021(第十届)飞机航空电子国际论坛上,做了主题为“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可提供端到端的全软件生命周期测试需求。

图二: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 产品也可执行目标代码验证,不仅可以节省几天甚至几周的劳动密集型、容易出错的手工工作,而且大大提升航空电子软件的安全性。

图三:会议现场交流

如今,面向服务的 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)

免责声明:市场有风险,选择需谨慎!此文仅供参考,不作买卖依据。

亲爱的凤凰网用户:

您当前使用的浏览器版本过低,导致网站不能正常访问,建议升级浏览器

第三方浏览器推荐:

谷歌(Chrome)浏览器 下载

360安全浏览器 下载