汽车与其他普通消费类产品的重要差别之一就是更高的安全性要求。在汽车产业中,往往系统的功能与质量相比只能处于次要地位。汽车操控的安全性与组成整个汽车的零件都有密切关系。每个零部件都被要求能达到最高的质量与可靠性,甚至实现零缺陷(Zero Defect)的理想状态。
汽车零部件及相关产品的最大推动力往往不是先进的技术,而更多的是质量的水平;而质量的提升需要严格管控程序来实现。目前汽车产业的重要质量管理系统与相关规范包括由汽车电子设备委员会(Automotive Electronics Council
前言
在航空、航天、国防、核工业、通信、汽车、医疗、金融等尖端产业,对应用软件的安全性、可靠性提出零缺陷的苛刻标准。从事零缺陷软件开发的专业公司中,英国LDRA公司(Liverpool Data Research Associates)由Mike Hennell教授在1975年创建,它的零缺陷软件开发(ZDSD)调试和测试工具是拳头产品。下文对业界著名的嵌入式调试和测试工具ZDSD作简要介绍。
ZDSD解决方案
LDRA公司的ZDSD解决方案的层次模型如图1所示。在嵌入式系统开发项目
ARM指令集中所有ARM指令都是可以带条件执行的。下面是条件代码的列表:
EQ : 等于 如果一次比较之后设置了 Z 标志。 NE : 不等于 如果一次比较之后清除了 Z 标志。 VS : 溢出设置 如果在一次算术操作之后设置了 V 标志,计算的结果不适合放入一个 32bit 目标寄存器中。 VC : 溢出清除 如果清除了 V 标志,与 VS 相反。 HI : 高于(无符号) 如果一次比较之后设置了 C 标志并清除了 Z 标志。 LS : 低于或同于(无符号) 如果一次比较操作之后