【摘要】随着信息技术的发展,计算机技术已经融入了现代社会各个领域,得到极其广泛的应用。然而在这样的背景下,计算机系统的异常可能会造成灾难性后果。测试和仿真通常被用来保障这类安全关键系统的可靠性,但是这类方法针对的是实际运行前的系统,只能检测到系统的错误,而不能证明系统的正确。模型验证是完备的,但是它针对的是系统的抽象模型,难以证明系统的抽象模型和实际系统的等价性,同时这种方法需要遍历系统的所有执行 […]

【摘要】在国民经济与国防现代化建设中,计算机软件在日常生活中的应用越来越普及,软件可靠性问题日趋受到人们的重视,尤其对于一些安全关键领域,如载人航天、高速轨道交通等。应用于这些领域的系统通常是实时控制系统,这类系统不仅要求系统做出正确的响应,且要求系统的响应满足相应的时间约束。系统一旦发生失效,将会给国家安全乃至人员生命带来极大损失,因此如何提高这类系统的可靠性成为目前计算机领域的一个非常重要的研 […]

【摘要】随着嵌入式技术、计算机技术和网络技术的不断发展，以及硬件产品性能和数据处理能力的不断提升，物联网技术得到快速发展。在此背景之下，信息-物理融合系统（Cyber-PhysicalSystems,CPS）作为一种新型嵌入式网络系统应运而生，并且引起了各国政府、学术界和工业界的高度重视。CPS是融合了计算和物理进程的复杂嵌入式网络系统，它通过嵌入式系统和网络对物理设备进行监测和控制，并通过反馈机 […]