论文部分内容阅读
嵌入式软件广泛应用于不同领域，如消费电子、工业控制、汽车电子、移动通信等。嵌入式软件的可靠性保证十分关键。嵌入式软件中常见的错误包括状态机错误、时序错误、栈溢出／存储溢出等，在开发过程中对嵌入式软件进行验证十分重要。
一种基于模型检查的嵌入式软件验证方法
【摘 要】
：
嵌入式软件广泛应用于不同领域，如消费电子、工业控制、汽车电子、移动通信等。嵌入式软件的可靠性保证十分关键。嵌入式软件中常见的错误包括状态机错误、时序错误、栈溢出／存
【机 构】
：
中国电子科技集团公司第三十八研究所
【出 处】
：
单片机与嵌入式系统应用
【发表日期】
：
2009年5期
其他文献
引言单片机应用于工业控制等方面时，经常要将电流、电压、温度、位移、转速等模拟量转换成数字量，然后在单片机内作进一步运算和处理，完成相应的数据存储、数据传输和数据输出，达
本文介绍一种计算离散付里叶变换的新算法，并通过例子说明这种算法的实用性。
针对Nucleus系统的移动设备硬件平台,分析了自适应多速率（AMR）编解码算法的工作原理,提出了基于AMR语音压缩算法的语音录音功能的设计方案,重点研究了手机语音多媒体软件设计。
为了研究适宜桃树生长的日光温室,在对现有温室研究的基础上,经过4a摸索,总结出了"二苫三膜"新型日光温室结构。结果表明:该类型温室在空间上更加适应设施桃的栽植,在温度、
采用稀释平板法研究了温室试验条件下,施用不同生物制剂对黄瓜土壤中微生物数量及发病率和产量的影响。结果表明：在整个测定期间,与不施肥（CK）相比,发根宝生物制剂施入后土壤中