论文部分内容阅读
提出一种定量评价C4ISR（Command Control Communication Computer Intelligence Surveillance and Reconnaissance）系统任务实时性方法——时序着色模糊时间Petri网（TCFTPN）方法。用时序逻辑公式来限制着色Petri网的变迁引发行为，用模糊时间来表示各工作过程的时延特性和降级工作问题。通过估计在规定的时间内标识从任务开始状态到达任务完成状态的概率来确定C4ISR系统的任务实时性。