阅读以下关于安全攸关嵌入式系统相关技术的描述,在答题纸上回答下列问题。 【说明】 某公司机电管理系列产品被广泛应用于飞行器后,外场事故频繁发生,轻则飞机座舱显示机电设备工作异常,重则系统预警,切入备份运行。这些事故给航空公司带来重大经济损失。 公司领导非常

admin2020-08-10  33

问题 阅读以下关于安全攸关嵌入式系统相关技术的描述,在答题纸上回答下列问题。
【说明】
某公司机电管理系列产品被广泛应用于飞行器后,外场事故频繁发生,轻则飞机座舱显示机电设备工作异常,重则系统预警,切入备份运行。这些事故给航空公司带来重大经济损失。
公司领导非常重视航空公司的问题反馈,责令公司王总带队到现场进行故障排查。经过一个多月的排查,故障现象始终未复现,同时,公司实验室内也在反复复现故障,结果未取得显著成效,但发现产品存在偶然丢失协议包的现象。随后,公司领导组织行业专家召开故障分析会。王总在会上对前期故障排查情况进行了说明,指出从外场现象看CCDL协议包丢失是引起系统报警、切换的主要原因。图3-1给出了机电管理产品的工作原理,机电管理系统主要承担了对飞行器的刹车、燃袖和环控等子系统进行监视与控制,它对飞行器而言是安全攸关系统,因此,从系统结构上采用了双余度计算机系统。具体工作流程简要说明如下:
1.机电管理系统由1号计算机和2号计算机组成,双机互为余度备份;
2.双机中分别驻留了一个100ms周期的CCDL任务,完成双机间的交叉对比和实时监控等工作。10ms定时器作为任务的工作频率;
3.交叉对比协议包包含一组“AA55”报头、消息长度、数据和校验码;
4.2号机将协议包通过422总线发送给1号机(422总线接口芯片有8级缓冲);
5.1号机通过中断方式将422总线数据接收到大环形缓冲区中(大小为4096B);
6.100ms的CCDL定时任务将大环形缓冲区的数据以512B为单位拷贝到小环形缓冲区中(大小512B);
7.CCDL任务按照协议包格式解析小环形缓冲的数据,如果校验错误,丢弃当前协议包;
8.在协议包格式正确的情况下,进行数据交叉比对,比对正确则输出;比对不正确,并连续不正确超过门限,则报警。
王总汇报时指出,在设计安全攸关系统软件时,往往不重视安全攸关软件设计方法,不遵守C语言安全编码规范,导致程序质量较差,代码中存在支全隐患。请简要说明表 3-1给出的C语言代码是C语言安全编码标准中(如:MISARC标准)不允许采用的代码 结构的原因。
表3-1 C语言代码实例

选项

答案1.不允许。违背(建议)规则6.3。 2.不允许。违背(建议)规则6.3、(强制)规则5.3和(强制)规则15.5。 3.不允许。违背(建议)规则6.3。 4.不允许。违背(建议)规则6.3、(强制)规则 5.不允许。违背(建议)规则6.3、(强制)规则12.2;x=exp_1(&y)+exp_2(&y);应修改为:x=exp_1(&Y);x+-exp_2(&Y); 6.不允许。违背(建议)规则 6.3、(强制)规则10.3。 (unsignedint*)s;是危险的类型转换。

解析
转载请注明原文地址:https://jikaoti.com/ti/rs67FFFM
0

最新回复(0)