InterruptSafe，一款中断数据竞争缺陷的检测工具，采用缺陷模式、抽象解释、过程间分析和指针分析等技术对中断引入的并发语义进行可靠性分析，为软件开发人员与测试人员提供中断数据访问冲突的场景，同时检查给定代码块的原子性是否被违反，避免由于中断问题导致程序崩溃等状况。该工具支持多任务与多级中断（不同中断的优先级不同）的检测，同时也支持中断导致的数据访问冲突（即数据竞争）和代码块的原子性违反等缺陷类型检测。

平台可针对硬件电子设备提供接口测试、功能测试、安全测试和性能测试，覆盖单机调试、软件配置项测试和环境模拟试验等全生命周期过程测试需求，支持50多种典型通信协议与工控协议。

平台具有模块化、可扩展、高度自动化等特点，已广泛应用于航天、航空和国防等行业领域。