实时系统的运行时验证研究 07月25日
【摘要】在国民经济与国防现代化建设中,计算机软件在日常生活中的应用越来越普及,软件可靠性问题日趋受到人们的重视,尤其对于一些安全关键领域,如载人航天、高速轨道交通等。应用于这些领域的系统通常是实时控制系统,这类系统不仅要求系统做出正确的响应,且要求系统的响应满足相应的时间约束。系统一旦发生失效,将会给国家安全乃至人员生命带来极大损失,因此如何提高这类系统的可靠性成为目前计算机领域的一个非常重要的研 […]
基于统计模型检测的CPS软件可信性验证研究 06月30日
【摘要】随着嵌入式技术、计算机技术和网络技术的不断发展,以及硬件产品性能和数据处理能力的不断提升,物联网技术得到快速发展。在此背景之下,信息-物理融合系统(Cyber-PhysicalSystems,CPS)作为一种新型嵌入式网络系统应运而生,并且引起了各国政府、学术界和工业界的高度重视。CPS是融合了计算和物理进程的复杂嵌入式网络系统,它通过嵌入式系统和网络对物理设备进行监测和控制,并通过反馈机 […]