偏序化简相关论文
随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控......
针对并发程序的模型检测存在大量的冗余交互和严重的状态空间爆炸问题，提出以迁移标记系统为建模语言计算Persistent Set并完成偏序......
为解决控制系统软件中多重中断导致的系统不稳定性和难以预测性,根据控制系统并发程序的具体特点,设计面向多重中断并发程序的测试......
