幸运飞艇微信群

产品展示

产品一类    /    产品二类    /    产品三类    /    产品四类    /   

幸运飞艇微信群

关于采用基于模型设计应对机载软件设计的可行性分析和应用
发表时间:2018-05-22 09:36     阅读次数:

  机载软件的安全性是一个永不过时的话题,通常我们都会从系统架构、故障保护、冗余备份等技术层面来考虑这个问题,但是当面对民用航空特别是大型民用飞机严格的适航性要求时,仅仅拥有技术上的保障是远远不够的。我们需要换个角度来思考设计方法、设计流程、设计工具以及△▪▲□△设计管理等方面的问题。我们有能力设计出优秀的系统和算法,但是如果设计过程不可靠或者即使是可靠的我们却无法证明,我们研制的飞机在国际市场的竞争中会受到极大的挑战。

  基于模型设计(Model Based Design,简称MBD)是开发复杂控制系统和嵌入式系统的有效途径。迈斯沃克(MathWorks)公司为MBD提供了完整的MATLAB/Simulink工具链,在众多行业特别是航空航天领域已经得到了广泛的应用,在飞行控制系统、发动机控制系统以及机载航电系统的设计中,已被霍尼韦尔和贝尔直升机等航空企业所采用。

  在最新发布的DO-178C标准中,MBD以附件DO-331的形式出现,对MBD相关的目标和输出都进行了详细的定义,可以从适航标准的发展看到MBD必然成为机载软件设计的行业趋势,采用MBD对于机载软件的适航取证也是最为有效的。

  MBD总体讲是一种设计★-●=•▽思想或者设计方法,具体讲就是MBD的流程、工具与平台。顾名思义,MBD的核心是模型,也就是我们通常所说的Simulink模型,围绕模型,MBD思想中包括以下四个关键要素:可执行的需求描述、仿真环境下的设计、由模型自动生成的代码和贯穿始终持续性的验证。

  看似非常简单的四句话,但每一个要素都深刻反映着对传统设计流程的改进。在MBD中,传递信息的载体已经不仅仅是文档,而是可以图形化表述并且产生运行结果的模型;设计过程不再是静态的或者依赖于众多硬件环境的方式,而是可以通过仿真快速设计和修改的多轮次迭代设计过程;模型可以自动生成更加标准化的源代码,使设计师从繁琐的手写编码中解脱出来;验证不再需要等到编码完成之后的系统集成时,而是在模型设计阶段就开始早期的验证,将设计缺陷发现并解决于早期,有助于系统设计质量的提高和成本的降低。

  需要特别说明的一点,大家有时会认为MBD仅仅是设计层面的事情,对于软件的实现和验证似乎还涉及不到,这主要是由于大家对MATLAB/Simulink的认识还停留在仿真工具的层面造成的。从上述的四个关键点不难看出,我们所讲的MBD,不仅仅局限于基本的设计范畴,已经扩展到实施甚至验证的范畴。也就是说完整的MATLAB/Simulink工具链不仅仅是仿真工具,而是涵盖了建模、仿真、代码生成、验证与□◁确认、项目管理、文档管理、工具定制和适航认证等多种功能的全流程综合性系统设计平台。

  国内飞机设计单位大多仍在沿用传统的软件设计流程,虽然越来越多的单位正在积极尝试MBD流程,但总体来讲仍然处于MBD能力建设的初级阶段,对于MATLAB/Simulink工具链的应用还处于从算法仿真向自动代码生成和模型早期验证的过渡阶段。工具的应用需要与流程有效集成才能发挥其最大的效用,传统的设计流程过于粗放,采用MBD需要重新构建详细的可执行流程,并配合相应的工具集成与定制,这是机载软件研制过程改进中的重点和难点。

  对于传统设计流程的改进目前存在以下具体问题:对应DO-178B要求,传统设计流程多项验证环节缺失,想要实现全部环节需要巨大的工作量。如若采用MBD流程,设计单位需要提高工程师的能力,如需求定义能力、建模能力、代码生成能力等;需要改变部门间的工作接口,由传统的文档交互变为◆●△▼●模型交互,所有部门将围绕共同的模型开展工作;需要重新定义不同工程师的工作重心,如控制工程师的工作将从单纯的需求定义和算法设计扩展延伸到代码的生成和模型验证,而软件工程师的工作将重点关注在软件架构、代码生成工具配置及代码的生成、底层软件开发以及系统集成等。

  当前国内飞机设计单位型号多、任务紧、人员少的客观现实造成流程改进的优先级不高,从而进展缓慢。但是值得一提的是,越来越多的单位已经意识到了MBD的必要性,并且已经开始了积极的尝试。

  MBD可以从流程、工具和平台三个层面来考虑,流程是灵魂,工具是骨骼,平台是躯干,三者融为一体才能发挥最大的效用。首先需要建立基于模型的设计开发和验证流程,然后选用合适的工具辅助流程的实现,最后进行工具和流程的集成从而构建组织统一的工作平台。

  相比传统的控制系统开发流程,MBD流程在完整性上得到很大的提升,包含了设计环节、实施环节、验证环节等,解决了传统设计流程中需求理解差异、早期验证困难、代码编写耗时等问题。

  设计环节基于高层需求进行模型的设计,在模型设计过程中可以不断通过仿真检验设计结果从而反复迭代优化设计。模型所代替的就是传统设计流程中详细设计文档。实施环节通过自动生成代码实现从设计(Design)到实施(Implementation)的过渡。这样极大地简化传统设计流程中多次建模的重复劳动,使工程师可以更加专注于各自的专业。验证环节是贯穿于项目始终的,这在传统设计流程中是很难实现的,特别是在模型设计阶段,就可以开展针对设计的基于需求的功能性测试,以及模型的覆盖率测试,而且早期验证的测试用例可以在代码验证阶段得到重用。验证环节最为重要的是完整性,在这个环节中每一个验证活动都会对应DO-178B中的具体条款,保证符合标准的前提下满足系统的安全性要求。

  工具的价值在于实现工作流程,减少手工劳动,提高工作效率,工具应用的基础是流程的存在。对应MBD符合DO-178B/C的流程,MATLAB/Simulink完整的工具链在每个环节都有相应的工具辅助实现这个流程,并且产生DO-178B/C要求的各类输出结果。

  MATLAB/Simulink本身也是一个开放的工具开发环境,提供了各类工具以及其它外部工具(如DOORS、LDRA、SVN等)的接口。在MATLAB/Simulink的平台下,结合用户▪…□▷▷•定义的详细流程,可以方便的将各类设计、仿真、开发和验证工具集成在一起,也可以定制开发相关的自动化脚本、规范检查项以及标准报告模版等,构建统一的MBD工作平台。

  这是相对于总体流程来讲的,也是国内飞机▽•●◆设计单位最容易忽视的部分。我们每个管理者和工程师都可以很容易的描述出软件开发的“V”流程,对于MBD的总体流程也比较容易理解,但是工程师真正坐在电脑前开始工作时却往往会陷入无从下手的境地,从哪里获取需求,创建模型有什么要求,完成设计后需要提交什么内容、提交到▼▼▽●▽●哪里,提交前需要做那些检查,发现了问题有谁来更改、在那个版本更改等等这些具体的问题都需要通过微流程定义出来。

  微流程可以理解为可执行的流程,对于项目中各个角色(如项目经理、开发工程师、验证工程师等)各个环节(如模型设计、模型验证、问题追踪等)的具体操作,使用的工具和配置,以及每个环节的输入输出都有明确的定义,所有项目成员都是在统一的微流程指导下进行工作,这对于项目团队的协作至关重要,也是真正实现MBD的关键所在。

  根◇=△▲据IFR的统计显示,2016年全球共销售29.4万套工业机器人,同比增长15.74%。预计到202....

  尽管在市场上难得一见,但不少HTPC玩家依然对使用移动平台的MoDT主板情有独钟,小尺寸和低功耗是这....

  超个性化模式被定义为使用机器学习来开发每个个体的文件,然后让该文件学习并随着时间的推移适应各种各样的....

  随着工业的飞速发展,人们对系统实时性的要求越来越高。计算机技术的进步客观上也为进一步提高实时性...

  操作系统是软件产业的基础和龙头,能左右软件产业发展的方向,是世界软件产业最大的利润来源。对于后PC时代和普适...

  在嵌入式系统的软件设计中,“汇编语言+C语言”早已成为理所当然的经典组合。的确,对于硬件配置来说,汇编语言清晰明了;对于上...

  弹载信息处理系统是一种实时嵌入式数字处理系统,用于对弹载导引系统接收信号进行分析处理,实现对目标信号的检测、截获和跟踪以...

  随着信息技术的不断发展和更新,嵌入式操作系统以其速率高、稳定、可配置内核的优势正得到越来越广泛...

  对于当今的各种电子设备尤其是嵌入式系统来说,功耗是一个非常重要的问题。系统部件产生的热量和功耗成比例,为解决...

  设计嵌入系统的主要挑战来自于需要同时优化众多设计因素。这些需要优化的设计因素包括单位成本、NRE(不可回收工程)成本、功率...

  需求分析:随着科学技术的进步和社会发展水平的提高,传统的家用电器已经逐渐无法满足现代家庭的需要,人们....

  在第六届中国机器人峰会上,有很多企业对协作机器人也进行了展示。中科院沈阳自动化所张华良在峰会论坛中说....

  “平台能快速定位故障区段,优化抢修策略,有效提高配网抢修效率,缩短抢修时间。”项目负责人朱洪成说,“....

  “通过我们为移动数据构建的高速移动网络的全球足迹以及Cisco Jasper强大的平台,我们的客户将....

  在嵌入式开发的过程中,开发者往往把大量精力投入到嵌入式微处理器MPU(Micro Processin....

  嵌入式系统这个名词还是比较难以准确定义的,一般把“用于控制、监视或者辅助操作机器和设备的装置”称为嵌....

  嵌入式系统是以应用为中心、以计算机技术△▪▲□△为基础、软硬件可裁剪、适应应用系统对 功•☆■▲能、可靠性、成本、体积、功耗等有严格要求的专...

  随着嵌入式系统硬件体系▲★-●结构的变化,嵌入式系统的发展趋势向嵌入式系统高端,即嵌入式软件系统转移,具体体现在嵌入...

  随着互联网络硬件、软件的迅猛发展,嵌入式系统被广泛应用到工作和生活的各个领域中,如何对这些▼▲设备...

  其模式构成如图1所示。服务云是面向互联网基于云计算技术构建的数据及应用服务中心。其主要任务是实现大规....

  电源对于嵌入式系统中的作用可以看做是空气对人体的作用,甚至更重要:人呼吸的空气中有氧气、二氧化碳和氮....

  我们经常使用许多使用嵌入式系统技术设计的电气和电子电路和套件。计算机,手机,平板,笔记本电脑,数字电....

  为了应对不断高涨的劳动力成本和逐渐激烈的行业竞争,很多的企业开始改变以往的生产方式,想通过工业机器人....

  RFID具有读取速度快、读取距离远、储存信息量大、标签上数据可加密、使用寿命长、工作环境适应性强等多....

  嵌入式PLC系统软件将PLC语言(梯形图语言)、CAN总线嵌入到单片机中,使单片机的产品开发从使用汇....

  在嵌入式系统中,低功耗设计是在产品规划以及设计过程中必须要面对的问题。半导体芯片每18个月性能翻倍。....

  工业4.0(又名工业物联网)和智能工厂等当前的技术趋势正在深刻地改变工业价值创造过程,其特点是更高程....

  设计一个低功耗系统需要采用整体方法,由用例分析驱动设备运行的不同方式 ,因为每个都有自己的功率要求。

  嵌入式系统利用自身的技术特点,逐渐成为众多行业的标配产品。嵌入式系统具有可控制、可编程、成本低等,它....

  工业自动化的第一次迭代使用了“盲”机器人,这取决于要处理的材料的准确定位。

  嵌入式系统许可是将硬件和软件组合到一个产品中,将传统硬▲=○▼件供应商转变为创新软件供应商。

  设计基于51单片机的嵌入式系统,把μC/OS-II操作系统移植到51单片机上,能完成基本的输入和输....

  选择MCU时要考虑MCU所能够完成的功能、MCU的价格、功耗、供电电压、I/O口电平、管脚数目以▲●…△及M....

  以应用为中心,以计算机技术为基础,软硬件可裁剪,适应应用系统对功能、可靠性、成本、体积、功耗严格要求....

  SRAM表示静态随机存取存储器,只要供电它就会保持一个值,它没有刷新周期,由触发器构成基本单元,集成....

  A/D转换器是把电模拟量转换为数字量的电路。实现A/D转换的方法有很多,常用的方法有计数法、双积分法....

  嵌入式操作系统是一种支持嵌入式系统应用的操作系统软件,它是嵌入式系统(包括硬、软件系统)极为重要的组....

  9月11日消息,德国马普研究所新研究登上Scientific Report,通过构建最小化的智能体模....

  虽然嵌入式系统得到了广泛的应用,但每个人对于嵌入式的理解,都会有不同的理解。

  嵌入式系统的可裁减性,必须在嵌入式系统设计中引入子系统和块的概念,只有在顶层设计时明确了子系统和模块....

  随着经济程度的进步和消费结构的转变,人们对消费电子产物的要求越来越高,如产物的机动性、可控性、耐用性....

  同样有助于闪存不断增加的容量是主流比特容量现在是每单元三比特,或三层单元(TLC)技术,具有四电平单....

  物联网漏洞经常暴露在连接的产品中,开发团队为了确保物联网产品的机密性、完整性和可用性,在开发过程中不....

  不同与 NiosII IDE 从.ptf 文件中获取所有的硬件信息,Software Build T....

  工业物联网有时也被称为工业4.0,随着人口红利的终◆■结,未来也正在向自动化前进。

  随着时间的推移,嵌入式系统变得越来越小,越来越智能,使我们能够完成比以前更多的工作。

  Autodesk 3dsMax是Autodesk公司推出的大型工具软件,广泛应用于电影电视▪▲□◁后期特效、....

  电磁污染已经成为继水污染、空气污染和噪声污染之后的第四大污染,逐渐引起人们的极大关切,电磁兼容(E....

  自动化立体仓库,是物流仓储中出现的新概◇•■★▼念。利用立体仓库设备可实现仓库高层合理化、存取自动化、操作简便....

  对国内工业制造行业有所了解的朋友应该知道,中国已经过了人口红利的阶段,越来越少的年轻人愿意走向工厂。

  海量数据中,由于商业用户和消费者对效率和速度的要求越来越高,低延迟已经成了标配。为了满足这种需求,一....

  在未来很长一段时代,人类与人工智能将建立一种良性的合作伙伴关系,这将有利于行业发展,并为人才发展指明....

  拨动开关是通过拨动开关柄使电路接通或断开,从而达到切换电路的目的的。简单的说,拨动开关就是通过拨动其....

  系统的数学模型是描述系统输入、输出变量以及内部各个变量之间关系的数学表达式。

上一篇:意法半导体升级先进惯性测量单元GUI软件:简化体感自定义设计流程
下一篇:基于VHDL语言和FPGA芯片实现乒乓球比赛游戏机的设计与仿真