任务关键系统相关论文
任务关键系统要求高可用性,因此当系统发生故障时需要快速恢复。由于任务关键系统中的故障多与软件相关,为满足恢复时间短、对系统......
提出了一种应用概率模型检测技术进行分布式任务关键系统生存性的量化分析研究方法。该方法对攻击者和系统的交互行为进行精简抽象......
硬件问题、软件bug、人为误操作及恶意攻击等现象使得人工完成任务关键系统的管理和维护、保持关键服务的持续提供变得日益困难，为......
针对时间约束下工作流可调度性验证和修正策略不完善的问题,提出一种基于时间约束着色Petri网的任务关键系统(MCS)可调度性分析方......
针对任务关键系统工作流中对时间验证不够完善的问题,提出一种新的工作流建模和时间验证方法。基于库所含时间因素的着色时间Petri......
随着信息化与工业化进程的不断融合，应用于航空航天、武器装备、医疗设备、工业控制、汽车电子、金融政务等诸多国家关键信息领域的......
安全的现状已经清楚地表明:传统的安全理论与技术已经没有办法为任务关键系统的安全提供根本和可靠的保障,如何在灾难发生时尽量保......
面对日益增加的赛博空间威胁,评估任务关键系统能否有效运转变得更加紧要。首先,介绍了任务关键系统赛博安全性的概念内涵;然后,通......
