自主系统发生灾难时,软件应负多少责任?

发布时间:2022-12-30  

过去几十年,信息系统计算重心不停在集中化与分布式之间摇摆,这为企业级应用从业者带来更多挑战。无论是工业、汽车还是航空航天应用,一套系统服役期往往会超过10年,甚至在15年以上,这类应用对可靠性与安全性等要求又比消费级应用高很多,所以传统开发方法将系统分解为不同的小模块,采用黑盒模式来进行开发,可以保证全系统可靠、简单、直观,但也带来了升级困难、不易扩展、成本高昂、维护复杂等诸多弊端。

归一化平台

为应对上述难题,风河公司的解决之道是推出了风河Helix虚拟化平台(Wind River Helix Virtualization Platform)。风河Helix虚拟化平台充分考虑系统的可扩展性与可兼容性,通过异构集成平台来跨越不同操作系统与硬件架构之间的鸿沟,又采用静态配置、动态配置以及动静态混合配置来适应不同系统对可靠与安全性需求,既能满足当前项目需求与合规性,也方便引入新的硬件、软件、框架或云服务,实现旧系统向新系统的无缝升级。



“Helix是统一的平台,一致性高,可扩展性高,维护方便,易于更新,”风河公司航空与国防业务发展总监Alex Wilson告诉探索科技(TechSugar),Helix虚拟化平台有四大特色。


首先是异构集成,一个软件平台支持多种操作系统(包括风河自产操作系统及第三方操作系统),并提供不同等级的安全机制;其次是抽象化,利用风河异构平台中间层,将芯片与应用分割开来,便于系统扩展升级;第三是安全隔离,风河Hypervisor技术为同一系统中的不同操作系统或应用提供安全有效的隔离机制,方便开发者更容易地实现系统整合;第四是统一整合,利用Hypervisor硬件虚拟化技术,开放人员可以用多核单板系统来替换多主板/多处理器系统,既可保持多操作系统的优势,又能降低多处理器集成过程中的复杂度与风险。


Helix平台将系统复杂度收纳在自己平台之内,大幅降低了用户开发维护的难度,但如何保证复杂异构系统之间相互配合时的安全性与可靠性呢?


风河公司航空与国防业务发展总监Alex Wilson


“在核电站、飞机驾驶系统等高安全应用场景,Helix平台将采用静态配置,尽可能减少系统功能子集,增加可靠性与安全性,” 针对探索科技(TechSugar)的这一疑问,Alex表示,风河Helix平台利用不同的配置选择来应对不同的安全等级要求,“在这些应用的核心理念就是减少子集,减少复杂度,确保安全性,绝对不会用到Linux或Windows系统。”


软件外包在航空业已是惯例


在Helix平台推荐应用中,高安全应用将采用静态配置,以确保系统可靠与安全;富生态应用将采用动态配置,以支持复杂多任务及多操作系统类应用场景;而汽车应用则是典型的混合配置场景,自动驾驶功能对安全性要求高,所以只适合静态配置,而人机交互等其他应用,则可以用动态配置来实现更丰富的功能支持。


Hilex平台配置组合


但即便采用最高安全规格要求来开发软件,也并不是万无一失。比如,波音公司已经承认,将升级软件以应对近期波音737MAX在埃塞俄比亚航空公司空难事件暴露出的安全风险。


“过去20年,航空航天领域一直都是外包软件,其他很成功的机型,例如波音787或中国的C919,都采用过软件外包。” 业界有声音认为,波音将部分软件外包应为此负责,但Alex Wilson认为,软件外包是航空航天领域的传统,埃航空难不一定会影响航空业的软件外包商业模式,“不论外包与否,都有非常严格的规范来对软件系统进行检验,但问题是现在软件代码量越来越多,不同功能软件之间的配合要求越来越多,从自动化阶段进化到自主阶段,如何确保系统级的绝对安全,是未来航空航天软件业的核心问题。”


“DO-187C认证标准对安全要求非常高,通过认证的成本也极高,” Alex Wilson向探索科技(TechSugar)解释,传统上,航空行业有非常严苛的软件功能安全认证标准,但当前的问题是人工智能在自主系统中将发挥主要作用,而传统软件功能测试对人工智能的测试覆盖并不完整。“传统软件测试完成后,功能都可以预测,而加入人工智能以后,当前的测试标准很难预测所有状况,这是一个很大的挑战。”


软件在自主系统中的责任


测试覆盖率不完善,可以从技术上去逐渐解决,但自主系统责任认定上还有需要立法的支持。严格意义上的自主系统将不需要人类介入,但如果发生事故导致损失,由谁来承担责任现在还没有明确的法规可以遵循。


以汽车自动驾驶系统为例,不管厂商在宣传上如何暗示自己的自动驾驶系统如何高级,但使用手册上都要明确注明司机不得在行驶中手离方向盘。


“万一出现事故,不是软件的问题,责任由人类驾驶来承担,” Alex表示汽车公司做出声明,就是做好责任切割,“这让我们思考一个有关自主系统的社会问题,人类到底可以让软件做多少的决定,百分百都交给软件控制是否可行?如果系统控制权百分百交给软件,那么软件到底应该是扮演什么样的角色,人类又如何通过测试来确保功能安全,如果出现意外该如何处理,这些都都需要我们去思考。”


Alex强调,这些问题并不是时效性不高的远期问题,而亟待人类尽快讨论出可行解决方案,“就我们的观察来说,越来越多的系统正走在从自动化系统转变成自主系统的路上。”

文章来源于:21IC    原文链接
本站所有转载文章系出于传递更多信息之目的,且明确注明来源,不希望被转载的媒体或个人可与我们联系,我们将立即进行删除处理。

相关文章

    学科——软件工程学,目的就是研究和克服软件危机。 2、软件工程不能解决软件危机 刚开始的时候,软件工程的确解决了一些问题。 然而进入上世纪80年代以后,尽管软件工程研究与实践取得了较大的成就,软件......
    统目前只使用了几百行程序代码。 三、FO软件开发方法是如何解决软件危机的 1、关于软件危机 软件危机是指落后的软件生产方式无法满足迅速增长的计算机软件需求,从而导致软件......
    公司越来越多、越来越大。在先进国家常见顾员上万人的软件公司,我国也在建设软件航母、软件园、软件名城,软件已成为一个新兴的行业。本文引用地址:软件行业在快速发展同时,伴随软件编程产生的软件危机也发展到无法回避和很难克服......
    开发的新方法,从根本上解决目前的软件危机难题,帮助人类开发出模拟现实的真正解决人类难题的软件系统?几十年来,国内外的计算机专家一直在寻找这个答案,并且提出了很多创新的思想方法,比如软件工程的面向对象方法,构件......
    STM32F0xx_ PWR低功耗配置详细过程;Ⅰ、概述 今天总结PWR部分知识,请看“STM32F0x128参考手册V8”第六章。提供的软件工程是关于电源管理中的停机模式,工程比较常见,但也......
    STM32F0如何新建软件工程简介;前言 由于ST公司推出比STM32F1性价比更高的F0芯片,现在市面上F0芯片的占有率也非常高。F0芯片属于M0内核,主频48M(当然,可以超频的,但尽......
    师现在可以在家中透过笔记本电脑存取远程伺器上的应用程序,而不一定得到公司从工作站执行。软件开发也是如此,开发人员可以透过服务器存取在公司的工作站以及工具。” 欧洲工程师如今都靠视频会议和VPN等技......
    现前装量产落地,在此过程中,各种挑战必不可少。那么,禾多科技又是如何克服这些挑战的呢? 4.1满足客户需求的同时,如何提升研发效率 从行业大环境看,智能驾驶域控制器方案已走到比拼交付的赛点,现在......
    件工程师如何缓解中年危机?; 硬件工程师如何缓解中年危机......
    大家准备F0的参考手册和数据手册,方便查阅相关知识,没有的请到ST官网或到我360云盘下载。 今天总结的软件工程是基于“TIM基本延时配置详细过程”修改而来,因此需要将该软件工程下载准备好。我每次都是提供整理好的软件工程......

我们与500+贴片厂合作,完美满足客户的定制需求。为品牌提供定制化的推广方案、专属产品特色页,多渠道推广,SEM/SEO精准营销以及与公众号的联合推广...详细>>

利用葫芦芯平台的卓越技术服务和新产品推广能力,原厂代理能轻松打入消费物联网(IOT)、信息与通信(ICT)、汽车及新能源汽车、工业自动化及工业物联网、装备及功率电子...详细>>

充分利用其强大的电子元器件采购流量,创新性地为这些物料提供了一个全新的窗口。我们的高效数字营销技术,不仅可以助你轻松识别与连接到需求方,更能够极大地提高“闲置物料”的处理能力,通过葫芦芯平台...详细>>

我们的目标很明确:构建一个全方位的半导体产业生态系统。成为一家全球领先的半导体互联网生态公司。目前,我们已成功打造了智能汽车、智能家居、大健康医疗、机器人和材料等五大生态领域。更为重要的是...详细>>

我们深知加工与定制类服务商的价值和重要性,因此,我们倾力为您提供最顶尖的营销资源。在我们的平台上,您可以直接接触到100万的研发工程师和采购工程师,以及10万的活跃客户群体...详细>>

凭借我们强大的专业流量和尖端的互联网数字营销技术,我们承诺为原厂提供免费的产品资料推广服务。无论是最新的资讯、技术动态还是创新产品,都可以通过我们的平台迅速传达给目标客户...详细>>

我们不止于将线索转化为潜在客户。葫芦芯平台致力于形成业务闭环,从引流、宣传到最终销售,全程跟进,确保每一个potential lead都得到妥善处理,从而大幅提高转化率。不仅如此...详细>>