实时嵌入式系统的不确定性分析与测试方法研究

由于实时嵌入式系统存在不确定性问题可能导致系统故障在调试或测试过程中难以重现，同时，实时嵌入式系统的不确定性可能改变系统运行的时序特性，以致引发竞态条件的出现从而导致系统崩溃。本课题拟研究基于宿主机/目标机架构的追踪/重演方法，来解决实时嵌入式系统可能出现故障调试的不可重现性问题；并通过研究实时嵌入式系统任务调度及任务间通讯同步的通用模型，构建具有时序特性的竞态条件图，建立相关理论分析系统潜在的竞态条件；同时，研究建立针对实时嵌入式系统的时间事件模型来仿真分析潜在竞态条件对应的系统同步关系，并通过启发式算法来自动产生有效的测试执行序列，以检测出可能导致系统崩溃的潜在故障。最后，开发出一套针对VxWorks及uC/OS-II实时嵌入式系统的自动化测试工具以验证我们的研究成果。