基于SAFERTOS系统的时间隔离实现
原标题:基于SAFERTOS系统的时间隔离实现
SAFECheckpoints基于SAFERTOS的功能安全系统中,除了空间隔离外,针对不同的安全标准,可能还需要时间隔离功能,确保软件的时间处理需求。
在单核处理器中,可以使用软件组件来检测对系统时间需求的破坏。请注意,这并不能强制时间隔离,但可实现检测和恢复操作。
基于优先级调度系统中的时间调度问题
在嵌入式实时系统中,很难实现真正的时间分离,因为根据嵌入式实时系统的定义,对事件的及时响应是至关重要的。
在本例中,周期任务2的执行周期非常不稳定。为了响应触发低优先级任务1的事件,导致任务周期延迟,周期处理尚未完成,下一周期将开始。
为了避免时间调度问题,可以使用SAFERTOS提供的软件定时器监视任务执行的频率(和抖动),以及中断响应时间。
使用定时器来实现监视checkpoint非常简单有用;但存在一些缺点。软件定时器的意外行为可能影响整个监测机制的完整性;由于CPU执行更高优先级任务处理,导致监控未报告及如何识别溢出任务等。
为了解决时间监控问题,并补充SAFERTOS的功能,WHIS提供了一个专门的检查模块SAFECheckpoints,实现时间检查。
SAFECheckpoints机制在系统中以最高优先级的内核任务(timer实例)运行,确保定时器回调处理程序中的任何错误行为不会影响检查监视的操作,并且其他任务处理不能抢占或阻止检查任务的运行。
专用checkpoint机制还在API中提供了额外的功能,提供了安全认证的内核代码:
有限的checkpoint API最大限度地减少了安全监控系统中由于误操作造成的问题
可以选择单次或周期性检查
周期检查可以从绝对或相对检查点运行
通过回调函数实现故障通知;可以指定系统错误处理程序或单个checkpoint回调函数
同一个处理程序管理多个检查点,并识别对应的回调函数
SAFECheckpoint模块为主机应用程序开发人员提供了必要的工具,以便对安全系统中的任务进行实时监视。
责任编辑:David
【免责声明】
1、本文内容、数据、图表等来源于网络引用或其他公开资料,版权归属原作者、原发表出处。若版权所有方对本文的引用持有异议,请联系拍明芯城(marketing@iczoom.com),本方将及时处理。
2、本文的引用仅供读者交流学习使用,不涉及商业目的。
3、本文内容仅代表作者观点,拍明芯城不对内容的准确性、可靠性或完整性提供明示或暗示的保证。读者阅读本文后做出的决定或行为,是基于自主意愿和独立判断做出的,请读者明确相关结果。
4、如需转载本方拥有版权的文章,请联系拍明芯城(marketing@iczoom.com)注明“转载原因”。未经允许私自转载拍明芯城将保留追究其法律责任的权利。
拍明芯城拥有对此声明的最终解释权。