安全关键系统广泛应用于航空电子、航天器、武器装备以及轨道交通等领域,这类系统具有高安全、资源受限、实时响应等特点。近年来,......

随着计算技术、通信技术、传感技术和控制技术的快速发展与突破,使信息物理系统（Cyber Physical System,CPS）追求物理世界和计算资源......

在航天、汽车、航空等领域,安全关键系统有很强的实时需求,因此验证数据流的端到端延迟尤其重要。端到端延迟的变化是受到处理时间......

随着一些高科技的进步,无人驾驶技术逐渐成熟,已经成为一种未来趋势。无人驾驶技术的安全性和可靠性非常重要,也一直是汽车研发团......

随着安全关键性系统的日益复杂,如何提高安全关键系统的安全性成为急需解决的问题.基于形式化模型的复杂系统设计与分析是一种重要......

随着嵌入式实时应用系统的迅速发展,面对着不断增长的嵌入式软件开发的复杂性压力,如何高效的开发嵌入式应用程序,成为软件工程学......

随着功能需求的不断增加,安全关键系统的设计变得越来越复杂。如何通过建模与验证的方法保证安全关键系统的质量,一直以来都是形式......

随着安全关键软件的规模和复杂性不断增长,确保软件设计和功能的正确性变得更加困难。模型驱动开发方法已经成为了安全关键软件设......

安全关键软件广泛应用于航空电子、航天器、武器装备以及轨道交通等领域,这类软件具有高安全、资源受限、实时响应等特点。基于AAD......

信息物理融合系统(Cyber physical Systems,简称CPS)是软件和硬件设备紧密联系、相互影响相互作用的新一代智能系统。随着自动化、......

使用体系结构分析和设计语言AADL（ Architecture Analysis and Design Language ）对月球车导航系统进行分析与建模，把整个导航系统合......

随着系统复杂性的急剧增加,未来安全关键软件越来越多地采用异构构件组合架构,各种构件可能使用不同的计算模型或实现语言,使得整......