在开发过程中可以利用哪些工具和技术来满足时间需求:
可以通过访谈确定时间需求,按顺序采访涉及的函数开发人员、网络专家和集成人员获取时间需求,并给出了时间需求的文档格式(Page 204)。AUTOSAR可以使用TIMEX的形式将时间需求纳入需求规范,非AUTOSAR项目则可以以书面形式记录。
对方法和工具的要求(软件检测在功能安全相关的项目中是必要的):
可以通过时间测量、追踪、代码仿真和/或静态代码分析来确定和监测 CET。对于调度层级的时间参数(例如响应时间、时间差 DT或 CPU 负载),可以使用时间测量、追踪、调度模拟和/或静态调度分析。甚至在硬件和软件可用之前,就可以使用基于仿真和模型的方法,可以在较短的评估周期内快速评估不同的配置。通过测量和追踪,可以深入了解不受模型或仿真限制的可能存在的任何错误或缺点影响的真实系统。
如何在最终产品中持续监控时间性能:
一种时间验证方式是看门狗。看门狗需要定期重置计数器,没有重置计数器,则会复位。如果软件由于错误而“挂起”,则计数器不会复位,看门狗也将触发软件重置。软件应具有在初始化过程中确定上次复位原因的能力。
但是看门狗未重置并不意味着系统没有时间问题。看门狗只是最后的一道保障。所以需要常规时间测量作为基础,对时间的监控会更加清晰。用户可以在运行时确定和监测特定的时间参数。最小值和最大值可以有在非易失性存储器(例如NVRAM或EEPROM)中,并在以后访问入式系统时读出。如果非易失性存储器具有足够的空间,则可以在观测到不符合时间需求时永久储存追踪图表。
|