乐于分享
好东西不私藏

深度解析嵌入式软件时间系统|EP08

深度解析嵌入式软件时间系统|EP08

不运行代码就能算出函数最坏情况下的执行时间——这是静态代码分析的核心特点。在硬件还没回来的项目早期,它能给出 WCET 上界;在调度层,类似的思路还能给出每个任务的 WCRT 上界。ISO 26262、DO-178C 等安全相关标准都把它列为推荐方法。

但有时实测最大值会超过这个”上界”。

不是工具算错了,是它本来就不计这一部分——中断对缓存的扰动、多核共享资源的争用、互斥应用模式带来的高估……一旦这些未建模因素显著存在,”上界”的安全保证就不再成立。

看视频,7 分钟讲清楚静态分析的两个层级与共同边界。

欢迎持续关注本系列更新。

关于合兴软件

上海合兴软件科技有限公司成立于2016年,总部位于上海普陀,在成都、天津、重庆和长春设有分公司与办事处。

公司作为一家智能汽车电子技术提供商,致力于为汽车芯片赋能,让汽车电子开发更简单。公司专注于芯片应用工具研发和生态搭建,目前已有多项满足ASIL-D要求的工具和软件投入应用或量产。公司非常重视研发投入,现有研发人员比例在90%以上,核心员工均有十年以上工作经验。公司先后被评为上海市高新技术企业和上海市专精特新中小企业,并因在科技创新方面取得的成绩多次获得上海市“科技创新行动计划”和 上海市“张江国家自主创新示范区专项发展”资金支持。

公司搭建了广泛稳定的汽车电子生态圈,当前是AUTOSAR组织开发会员,中国汽车基础软件生态委员会高级会员,中国RISC-V产业联盟会员,中国汽车芯片产业创新战略联盟成员和上海汽车芯片产业联盟成员。同时与多家头部汽车公司、汽车零部件公司及芯片公司保持着良好合作关系,包括上汽、奔驰、蔚来、大众、小米、吉利、舍弗勒、哈曼、博世、兆易创新、旗芯微、南芯等公司。

公司使命:

为芯赋能,让汽车电子开发更简单

公司愿景:

成为领先的智能汽车电子开发技术提供商

公司价值观:

利他-成就他人,合力共兴

勤奋-付出不亚于任何人的努力

本分-诚实守信,实事求是

  www.hetion.com.cn

点击

关注

扫码获取更多精彩

淘宝店铺

微信公众号