一种软硬件一体化系统时序逻辑模型构建方法

本发明属于航天可靠性技术领域，具体涉及一种软硬件一体化系统时序逻辑模型构建方法，能够实现在数字空间下，对复杂电路系统软硬件耦合的复杂逻辑时序和指令传递过程进行表征，支撑系统级时序状态路径生成和搜索。针对当前软硬件一体化系统任务剖面和可靠性集成仿真测试流程，实现在数字空间下，对复杂电路系统软硬件耦合的复杂逻辑时序和指令传递过程进行表征，支撑系统级时序状态路径生成和搜索。