是时候改变一下嵌入式软件开发思维方式了!

原创 嵌入式资讯精选 2021-09-10 11:42

作者  Stuart Cording (Elektor)

译者  禾沐


国内嵌入式软件开发一直比较传统,除涉及关键系统外的多数项目,都是在“编程”优先的开发方式驱动下实施的。这背后的原因有很多,除了产品上市压力大、建模和仿真工具价格不菲之外,还有一个重要因素——嵌入式软件开发的思维方式转变需要漫长时间和教育过程才能完成。本篇译文详细阐述了如何改变嵌入式软件开发思维方式,并结合几款很实用的工具和汽车电子实例进行了具体分析。


嵌入式软件开发者们总是喜欢躲开关于软件架构、抽象化、建模和模拟的讨论,直接开始进行编程,而嵌入式软件代码往往一旦发布就不能进行改动了,出错的余地非常小。既然我们都知道测试对嵌入式软件非常重要,也有很多进行建模/仿真的工具,那么,为什么还会先编程,然后等待很久才开始测试呢?


啄木鸟带来的危险

那是一次“原来是这样!”的顿悟。当时正在为了一个培训课程进行准备,我在想,为什么嵌入式软件工程师如此不愿意使用在其他软件开发过程中常见的概念和方法呢?在微控制器相关的工程中,我时常会遇到这样的工程师:他们既不定义代码风格标准(尽管软件开发有多个工程师参与),也不会定义任何帮助提高代码可移植性和可用性的设计准则,更不会关心面向对象设计、建模和仿真。


我的脑海中浮现出了下面这句话:如果木匠用程序员编程的方法建造建筑,只需要一只啄木鸟就可以摧毁整个人类文明。这句话从温伯格法则稍微修改而来,它着实引起了我的共鸣。为什么嵌入式软件开发者们不借鉴计算机科学研究成果,使用正确的方式构建代码,或者借力建模/仿真技术呢?


编程太快了吗?

一个原因可能是来自这一代程序员的经历。他们的生涯从资源受限的8位微控制器开始,用汇编语言最高程度地利用硬件的性能是王道,抽象化和工具自动生成的代码只能意味着代码冗余和失去对代码的完全控制。转移到C语言对于一些人来说都有难度,尽管C语言已经非常贴近硬件了。


另一个角度是C语言的教学方式往往注重语法,而不是如何最佳地使用这门语言。但是,就像自然语言一样,精通语法并不能让你成为一位演说家。


物联网(IoT)应用出现以前,升级微控制器的固件基本意味着亲自前往设备的所在地,代码出错的余地非常小。即便如此,许多嵌入式程序员的开发方式也始终没有改变。


推广新的开发方式?

过去,运行在微控制器上的代码往往可以用一个简单的状态机表示,如今微控制器需要解决多维的问题。今天的微控制器可以通过磁场导向控制(FOC)技术对电动机进行换向操作,并同时运行其他任务。虽然相关的代码已经存在,但是,实时确定电动机的角度和计算下次换向的时机就已经非常复杂了。


这样的微控制器如果出现在家用洗衣机中的话,我们还需要考虑IEC 60730标准(自动电子控制1部分:一般要求)。大多数微控制器厂商会提供能够执行CPU寄存器、程序计数器、内存完整性和时钟测试的“B类”库,库代码应该在运行实时电动机控制的同时执行。系统中一般还会有能快速响应的通讯接口和人机交互界面,嵌入式开发者也许可以保证每个部分都能单独运行,但是整合在一起后系统是否依然可靠呢?


一个选项是用统一建模语言(UML)针对应用进行建模并运行仿真。嵌入式软件开发者往往非常不喜欢这种方式,他们认为这样做是浪费时间:如果有时间建模和运行仿真,还不如直接把代码写出来。一些人还在系统设计中滥用UML,导致UML染上了不好的名声。抽象的设计方式还意味着不同的开发过程,说服一个开发团队转变开发过程并不是一件容易的事情。


对于在设计和实现中各编程一次的担心,我们称为过程的不连续性(phase discontinuity。理想状况下,建模过程应该解决这一问题,比如实时面向对象建模(ROOM)领域特定语言(DSLROOM专门针对事件驱动的实时系统,它支持建模和模拟,还能够生成针对目标硬件的代码。


ROOM从三个维度描述软件:结构、行为和继承。结构可以用角色(actor)通过端口(port)互相通信表示,消息通过运行时软件库进行传递。角色的行为通过多层有限状态机进行表示,并可以图表形式输出。进入和离开状态的代码可以用代码生成器(比如针对微控制器的C编译器)的目标语言进行定义。当端口接收消息或者收到回应时,状态改变会发生。


继承提供了ROOM中面向对象的部分,既将角色看作可以多次实例化的类。每个实例继承状态机,需要的话,状态机还可以进一步扩展。最后一个概念是分层(layering),它允许应用互相进行通信,或者通过服务访问点(SAP)使用服务(比如定时器)。


Eclipse集成开发环境插件eTrice支持这一软件开发方式。模型可以通过图形或者文本创建,并可以输出CC++或者Java代码。在模型上运行模拟将会输出消息序列图(MSC),UML工具Trace2UMLAstade[8]的一部分)可以将序列图进行可视化。图1所示的是一个简单的“乒乓” 样例应用,其中定时器SAP决定了响应延迟的时间。通过图像和ROOM DSL可以检查应用的结构和行为。执行模型将会在命令行上输出结果,模拟的输出是MSC(见图2)。

       

     

             

1  eTrice“乒乓”样例工程,可以看到“乒”和“乓”的角色(左)以及它们的行为(右)


2   在“乒乓”模型上运行模拟所产生的消息序列图


为什么测试开始得很晚?

在匆匆开始编程之后,许多嵌入式开发团队往往会等到已经编写了不少代码后才考虑开始测试问题,这样做的背后有很多繁杂的原因,比如错误地认为测试必须由一个团队或者部门负责,或是缺乏清晰、易于测试的软件需求。集成开发环境强大的调试器也可能让我们产生了虚假的安全感。


Lisa Simone在《If I Only Changedthe Software, Why is the Phone on Fire?》一书[9]中用幽默的方式探讨了程序错误带来的后果。在一个例子中,不当的数据类型导致了温度控制算法的错误。虽然Simone完整地描述了寻找这类问题根源的过程,但事实上,这些问题在单元测试中就应该被发现。


单元测试是一种白盒风格测试,即编写测试的工程师有源代码的知识,往往编写者就是源代码的作者。在微控制器上,单元测试需要一个能够执行测试和分析输出的应用,最终结果往往通过串口输出到控制台上。这意味着,我们需要能够执行测试的硬件平台。Arduino和其他类似的平台提供UARTUSB转换,这让在控制台上输出测试结果变得更容易。但是,针对每个软件模块开发和维护一个测试应用确实是很大的工作量。


iSYSTEM开发的testIDEA提供了显著降低测试难度的方法。iSYSTEM开发的调试工具意味着开发环境不仅能访问源代码,还可以通过调试接口访问微控制器的环境。使用testIDEA只需要提供能够写入微控制器闪存的编译过的应用代码(ELF格式)。


testIDEA中定义的测试用预定义的参数单独测试函数(图3)。在软件中我们能够任意修改RAM,从而注入任何类型的数据和指针。测试的通过与否取决于函数的的返回值是否正确,测试中还可以通过跟踪功能提供代码覆盖的数据。工具中有对C++的支持,但是在测试各类方法之前需要先调用构造函数。测试还可以输出进入Python环境,帮助测试的自动化。


3   通过testIDEA测试在微控制器上运行的软件函数


testIDEA的一大功能是所有内部和私有变量值都可以在测试时进行注入,当你调试时可以想做什么就做什么。这对于在编译中优化过的代码非常有帮助:我们都知道无用代码的移除和代码段的重组意味着优化后代码的行为和优化前并不完全一致,换言之,代码和二进制代码的关系会变得模糊,这让调试变得更加有挑战性。通过在testIDEA中运行同样的测试,你可以在进行系统整合前确定基础代码的行为没有变化。


多少测试才足够?

对初次接触测试的工程师来说,确定最佳的策略并不简单。像《爱丽丝梦游仙境》中的兔子洞一深入研究测试的方法,你会觉得需要测试的东西越来越多。软件的多维性和复杂的依赖关系意味着我们很难预估多少测试是足够的。参与过安全关键项目的工程师都知道,相关的标准都不是绝对的,比如汽车相关的ISO 26262和医疗相关的ISO 14971IEC 60601。举例来说,ISO 26262“非常推荐”代码分支覆盖作为测试覆盖的基准,然后只是“推荐”语句覆盖和MC/DC(修改条件、决策覆盖)。只有和测试领域的专家合作,才能确定在你的应用中如何测试才是最佳的。


为了确保代码的全部分支都被覆盖,所有可能的代码组合都要被测试到,我们可以借助sepp.med GmbH公司的MBTsuite产品。其基于模型的测试框架能够帮助确定所有可能的测试组合,因而非常适合系统集成和测试。


确定测试范围的第一步是将系统需求输入到Enterprise Architect这类的工具中。接下来构造系统的模型,将其和系统需求链接在一起。设计中较为复杂的部分可以用子模型来表示,从而保持模型整体的抽象程度和简洁性(见图4和图5)。


4   电子驻车制动装置的EnterpriseArchitect模型

释放刹车部分的Enterprise Architect子模型,可以看到模型到要求间的链接


接下来将完成的模型导入到MBTsuite中。软件允许你定义不同的测试策略,全路径覆盖(Full Path Coverage)会生成覆盖整个模型的测试方案,最短路覆盖(Shortest Path)用最短的路径遍历模型(见图6)。此外,随机策略可以帮助发现形式化策略可能无法发现的问题,也可以作为在目标硬件上验证测试机制的冒烟测试(smoke test )的一部分。


6    MBTsuite中电子驻车刹车的模型产生全路径覆盖测试方案


从电子驻车刹车(EPB)的模型(见图4)可以看出,遍历节点的过程中可能会进入无限循环。循环数目(number of loop)和最长路径长度(maximum path length)参数可以用来避免这一情况的产生。你也可以通过指定模型的区域来生成针对特定功能的测试。


MBTsuite最简单的用法是产生WordExcel文档详述测试的步骤和各个验证点预期的结果,手动测试时可以勾选每一步的完成情况,最终给出通过/失败的结果。自动化测试的情形下,软件根据模板生成合适的格式,比如Python代码。


在硬件上快速测试

理想条件下,应用在开发过程中应该进行硬件在环(HIL)测试,这对于在高压、高电流或者有活动部件的环境中运行的应用尤其重要。但是,这样的测试机制可能会很昂贵,许多团队也可能需要在同一套硬件上测试多种产品。其结果是HIL测试的瓶颈效应导致测试直到开发末期才进行。在当前新冠疫情的影响下,HIL测试甚至可能完全无法进行。


为了应对这一挑战,PROTOS Software GmbH开发了miniHIL平台。平台包括一个A4纸大小的硬件板,其上右侧是安装STM32 Nucleo开发板的位置,左侧有一个强力的STM32H743微控制器,中间则是连接两侧的针脚矩阵。STM32H743的作用是模拟STM32 Nucleo控制的设备,并产生同样的信号。这一平台非常适用于在没有实体洗衣机或者电钻的情况下测试电动机控制应用。


miniHIL环境支持eTriceCaGeCase Generator语言进行测试的开发。这既让开发者可以快速检查代码改动的正确性,也允许整个平台和持续集成(CI)平台相结合,比如Jenkins。这样一来,自动测试可以定期在硬件上执行,比如每晚执行测试,第二天一早在仪表盘上检查结果(见图7)。


7   miniHIL和运行Jenkins持续集成平台服务器的PC整合(来源:PROTOS SoftwareGmbH


寻找偶发失效

今天的汽车应用非常复杂,在一辆汽车上运行的代码量和Windows NT类似。代码开发的分布性意味着很多供应商(甚至客户)都参与到了其中。偶发的失效往往和定时有关,而不是功能,多核处理器和虚拟机的广泛应用更是加剧了这一情况。


即使在测试充分的情况下,即将发货的硬件上,甚至是客户环境中,奇怪的事情还是时而发生。一个汽车电子的实例:两个通过CAN总线相连的电子控制单元(ECU)会偶发错误,ECU AB连接偶尔会出错,但是和C连接不会,ECU BC能正常协同工作。问题的根本原因是ECU石英频率的微小不同,运行时间足够长的情况下,两个微控制器的时钟差异会导致CAN消息的偶尔丢失。


Inchron AG[17]chronSIMchronVIEW,以及Vector InfomatikGmbHTA Tool Suite等工具将定时看得和功能一样重要。它们允许在编写任何代码前在目标系统上构建模型,从而帮助系统架构师针对多种不同的硬件设计最佳的系统架构。这些工具会分析在不同处理器核上运行代码的影响,这对于在核心频率不同的异构多核处理器上运行的应用而言至关重要。最后,工具分析事件链(见图8),并测量事件从传感器到达系统,并最终到达执行器的时间。这些工作对于整合若干数据速率不同的传感器数据的自动驾驶系统而言尤为重要。


8  Inchron Tool Suite通过建模、仿真和分析等方法突出定时的重要性,图中展示的是一个事件链的分析(来源:INCHRON AG


通过定义代码段的超时时间,以及同时注意功能和定时特性,与时间相关的ECU通过CAN连接的问题可以在设计层面上解决。在模型中,可以理解时钟频率变动、核心分配、代码执行时间和时钟频率变化的影响。这些工具还可以分析在实际硬件上运行的微控制器产生的跟踪数据,检查在不同测试条件下代码段的执行时间是否合乎需求。


是更加重视建模的时候了?

嵌入式软件开发领域一直比较传统。“急于编程”的思维方式被微控制器供应商提供的编程和调试工具链所加剧,这些工具多是免费的,这样一来其他付费授权的工具链就失去了存在的意义。


支持嵌入式系统建模和仿真的工具提供了一个在开始编程前后退一步、进一步抽象化的机会。这一方式的背后是重复性的分析和测试,它因此可以帮助在开发太过深入前以较低的成本纠正设计上的问题。桌面HIL还允许通过压缩的测试周期快速验证小的代码改动,而不是在整合后的代码上运行完整的测试。最后,虽然最复杂的实时应用(比如汽车)开发中建模和测试手段已经被广为应用,我们还是应该在功能要求的基础上添加定时的要求。


采用这些基于模型的工具的最大挑战,是对改变的畏惧。它们的抽象性让传统嵌入式开发者不得不离开他们熟悉和喜欢的硬件,前往一个陌生的地方。它们还需要开发过程做出改变,这导致了很多负面的意见。这些工具从纸面上看非常合理,但只有真正开始使用,我们才能知道在实际操作中它们带来的益处。许多此类工具已经存在了十年或者更久,它们的地位和作用已经建立起来了。这些工具可以降低开发时间和开销、提高产品的质量,开发者们需要从实际的开发过程出发,分析这类选项是否适用于他们的产品。



相关链接

[1]https://quoteinvestigator.com/2019/09/19/woodpecker/.

[2]IEC 60730-1:2013. https://webstore.iec.ch/publication/3117.

[3]例如Hitex B类库:http://www2.hitex.com/dl-classb-sam-d2x.

[4]A. E. Bell. Death by UML Fever. https://queue.acm.org/detail.cfm?id=984495.

[5]B. Selic, G. Gullekson, P. Ward, Real-TimeObject-Oriented Modeling, Wiley, 1994.

[6]https://en.wikipedia.org/wiki/Real-Time_Object-Oriented_Modeling.

[7]https://www.eclipse.org/etrice/downloads/.

[8]https://wiki.astade.de/dokuwiki/doku.php?id=start.

[9]L. Simone, If I Only Changed the Software,Why is the Phone on Fire?, Newnes, 2007.

[10]https://www.isystem.com/products/software/testidea.html.

[11]Feabhas Ltd, “A Quick Guide to ISO 26262,”2016. https://www.feabhas.com/sites/default/files/2016-06/A%20quick%20guide%20to%20ISO%2026262[1]_0_0.pdf.

[12]https://mbtsuite.com/.

[13]https://sparxsystems.com/.

[14]https://docs.protossoftware.de/minihil/latest/Reference/CaGe/index.html.

[15]https://www.jenkins.io/.

[16]https://www.visualcapitalist.com/millions-lines-of-code/.

[17]https://www.inchron.com/.

[18]https://www.vector.com/int/en/products/products-a-z/software/ta-tool-suite/.

 

本文授权来自本刊的合作伙伴Elektor媒体集团,如果希望免费订阅Elektor的英文在线内容,请访问https://www.elektormagazine.com/。

 

1.2021年第9期《单片机与嵌入式系统应用》电子刊新鲜出炉!

2.苹果进军RISC-V

3.我是做驱动还是应用更好?

4.嵌入式项目生成器,了解一下!

5.嵌入式还有哪些风口值得入?

6.教你在RISC-V中使用DSP指令!

嵌入式资讯精选 掌握最鲜资讯,尽领行业新风
评论
  •     IPC-2581是基于ODB++标准、结合PCB行业特点而指定的PCB加工文件规范。    IPC-2581旨在替代CAM350格式,成为PCB加工行业的新的工业规范。    有一些免费软件,可以查看(不可修改)IPC-2581数据文件。这些软件典型用途是工艺校核。    1. Vu2581        出品:Downstream     
    电子知识打边炉 2025-01-22 11:12 46浏览
  • 本文介绍瑞芯微开发板/主板Android配置APK默认开启性能模式方法,开启性能模式后,APK的CPU使用优先级会有所提高。触觉智能RK3562开发板演示,搭载4核A53处理器,主频高达2.0GHz;内置独立1Tops算力NPU,可应用于物联网网关、平板电脑、智能家居、教育电子、工业显示与控制等行业。源码修改修改源码根目录下文件device/rockchip/rk3562/package_performance.xml并添加以下内容,注意"+"号为添加内容,"com.tencent.mm"为AP
    Industio_触觉智能 2025-01-17 14:09 161浏览
  •  万万没想到!科幻电影中的人形机器人,正在一步步走进我们人类的日常生活中来了。1月17日,乐聚将第100台全尺寸人形机器人交付北汽越野车,再次吹响了人形机器人疯狂进厂打工的号角。无独有尔,银河通用机器人作为一家成立不到两年时间的创业公司,在短短一年多时间内推出革命性的第一代产品Galbot G1,这是一款轮式、双臂、身体可折叠的人形机器人,得到了美团战投、经纬创投、IDG资本等众多投资方的认可。作为一家成立仅仅只有两年多时间的企业,智元机器人也把机器人从梦想带进了现实。2024年8月1
    刘旷 2025-01-21 11:15 293浏览
  • 现在为止,我们已经完成了Purple Pi OH主板的串口调试和部分配件的连接,接下来,让我们趁热打铁,完成剩余配件的连接!注:配件连接前请断开主板所有供电,避免敏感电路损坏!1.1 耳机接口主板有一路OTMP 标准四节耳机座J6,具备进行音频输出及录音功能,接入耳机后声音将优先从耳机输出,如下图所示:1.21.2 相机接口MIPI CSI 接口如上图所示,支持OV5648 和OV8858 摄像头模组。接入摄像头模组后,使用系统相机软件打开相机拍照和录像,如下图所示:1.3 以太网接口主板有一路
    Industio_触觉智能 2025-01-20 11:04 141浏览
  • 日前,商务部等部门办公厅印发《手机、平板、智能手表(手环)购新补贴实施方案》明确,个人消费者购买手机、平板、智能手表(手环)3类数码产品(单件销售价格不超过6000元),可享受购新补贴。每人每类可补贴1件,每件补贴比例为减去生产、流通环节及移动运营商所有优惠后最终销售价格的15%,每件最高不超过500元。目前,京东已经做好了承接手机、平板等数码产品国补优惠的落地准备工作,未来随着各省市关于手机、平板等品类的国补开启,京东将第一时间率先上线,满足消费者的换新升级需求。为保障国补的真实有效发放,基于
    华尔街科技眼 2025-01-17 10:44 221浏览
  • Ubuntu20.04默认情况下为root账号自动登录,本文介绍如何取消root账号自动登录,改为通过输入账号密码登录,使用触觉智能EVB3568鸿蒙开发板演示,搭载瑞芯微RK3568,四核A55处理器,主频2.0Ghz,1T算力NPU;支持OpenHarmony5.0及Linux、Android等操作系统,接口丰富,开发评估快人一步!添加新账号1、使用adduser命令来添加新用户,用户名以industio为例,系统会提示设置密码以及其他信息,您可以根据需要填写或跳过,命令如下:root@id
    Industio_触觉智能 2025-01-17 14:14 120浏览
  • 高速先生成员--黄刚这不马上就要过年了嘛,高速先生就不打算给大家上难度了,整一篇简单但很实用的文章给大伙瞧瞧好了。相信这个标题一出来,尤其对于PCB设计工程师来说,心就立马凉了半截。他们辛辛苦苦进行PCB的过孔设计,高速先生居然说设计多大的过孔他们不关心!另外估计这时候就跳出很多“挑刺”的粉丝了哈,因为翻看很多以往的文章,高速先生都表达了过孔孔径对高速性能的影响是很大的哦!咋滴,今天居然说孔径不关心了?别,别急哈,听高速先生在这篇文章中娓娓道来。首先还是要对各位设计工程师的设计表示肯定,毕竟像我
    一博科技 2025-01-21 16:17 95浏览
  • 2024年是很平淡的一年,能保住饭碗就是万幸了,公司业绩不好,跳槽又不敢跳,还有一个原因就是老板对我们这些员工还是很好的,碍于人情也不能在公司困难时去雪上加霜。在工作其间遇到的大问题没有,小问题还是有不少,这里就举一两个来说一下。第一个就是,先看下下面的这个封装,你能猜出它的引脚间距是多少吗?这种排线座比较常规的是0.6mm间距(即排线是0.3mm间距)的,而这个规格也是我们用得最多的,所以我们按惯性思维来看的话,就会认为这个座子就是0.6mm间距的,这样往往就不会去细看规格书了,所以这次的运气
    wuliangu 2025-01-21 00:15 154浏览
  • 数字隔离芯片是一种实现电气隔离功能的集成电路,在工业自动化、汽车电子、光伏储能与电力通信等领域的电气系统中发挥着至关重要的作用。其不仅可令高、低压系统之间相互独立,提高低压系统的抗干扰能力,同时还可确保高、低压系统之间的安全交互,使系统稳定工作,并避免操作者遭受来自高压系统的电击伤害。典型数字隔离芯片的简化原理图值得一提的是,数字隔离芯片历经多年发展,其应用范围已十分广泛,凡涉及到在高、低压系统之间进行信号传输的场景中基本都需要应用到此种芯片。那么,电气工程师在进行电路设计时到底该如何评估选择一
    华普微HOPERF 2025-01-20 16:50 73浏览
  • 嘿,咱来聊聊RISC-V MCU技术哈。 这RISC-V MCU技术呢,简单来说就是基于一个叫RISC-V的指令集架构做出的微控制器技术。RISC-V这个啊,2010年的时候,是加州大学伯克利分校的研究团队弄出来的,目的就是想搞个新的、开放的指令集架构,能跟上现代计算的需要。到了2015年,专门成立了个RISC-V基金会,让这个架构更标准,也更好地推广开了。这几年啊,这个RISC-V的生态系统发展得可快了,好多公司和机构都加入了RISC-V International,还推出了不少RISC-V
    丙丁先生 2025-01-21 12:10 105浏览
  •  光伏及击穿,都可视之为 复合的逆过程,但是,复合、光伏与击穿,不单是进程的方向相反,偏置状态也不一样,复合的工况,是正偏,光伏是零偏,击穿与漂移则是反偏,光伏的能源是外来的,而击穿消耗的是结区自身和电源的能量,漂移的载流子是 客席载流子,须借外延层才能引入,客席载流子 不受反偏PN结的空乏区阻碍,能漂不能漂,只取决于反偏PN结是否处于外延层的「射程」范围,而穿通的成因,则是因耗尽层的过度扩张,致使跟 端子、外延层或其他空乏区 碰触,当耗尽层融通,耐压 (反向阻断能力) 即告彻底丧失,
    MrCU204 2025-01-17 11:30 179浏览
我要评论
0
点击右上角,分享到朋友圈 我知道啦
请使用浏览器分享功能 我知道啦