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

不运行代码就能算出函数最坏情况下的执行时间——这是静态代码分析的核心特点。在硬件还没回来的项目早期,它能给出 WCET 上界;在调度层,类似的思路还能给出每个任务的 WCRT 上界。ISO 26262、DO-178C 等安全相关标准都把它列为推荐方法。
但有时实测最大值会超过这个”上界”。
不是工具算错了,是它本来就不计这一部分——中断对缓存的扰动、多核共享资源的争用、互斥应用模式带来的高估……一旦这些未建模因素显著存在,”上界”的安全保证就不再成立。
看视频,7 分钟讲清楚静态分析的两个层级与共同边界。
欢迎持续关注本系列更新。
关于合兴软件
上海合兴软件科技有限公司成立于2016年,总部位于上海普陀,在成都、天津、重庆和长春设有分公司与办事处。
公司作为一家智能汽车电子技术提供商,致力于为汽车芯片赋能,让汽车电子开发更简单。公司专注于芯片应用工具研发和生态搭建,目前已有多项满足ASIL-D要求的工具和软件投入应用或量产。公司非常重视研发投入,现有研发人员比例在90%以上,核心员工均有十年以上工作经验。公司先后被评为上海市高新技术企业和上海市专精特新中小企业,并因在科技创新方面取得的成绩多次获得上海市“科技创新行动计划”和 上海市“张江国家自主创新示范区专项发展”资金支持。
公司搭建了广泛稳定的汽车电子生态圈,当前是AUTOSAR组织开发会员,中国汽车基础软件生态委员会高级会员,中国RISC-V产业联盟会员,中国汽车芯片产业创新战略联盟成员和上海汽车芯片产业联盟成员。同时与多家头部汽车公司、汽车零部件公司及芯片公司保持着良好合作关系,包括上汽、奔驰、蔚来、大众、小米、吉利、舍弗勒、哈曼、博世、兆易创新、旗芯微、南芯等公司。
公司使命:
为芯赋能,让汽车电子开发更简单
公司愿景:
成为领先的智能汽车电子开发技术提供商
公司价值观:
利他-成就他人,合力共兴
勤奋-付出不亚于任何人的努力
本分-诚实守信,实事求是

www.hetion.com.cn
点击
关注
扫码获取更多精彩


淘宝店铺

微信公众号
夜雨聆风