实时性验证相关论文
随着无线接入带宽需求的不断增长以及发光二极管的普及，可见光通信技术得到迅速发展，已成为研究热点。新的可见光通信技术在应用前通......
随着嵌入式系统的规模、复杂程度和可靠性需求的不断提升，模型驱动的体系结构开发方法已经成为复杂嵌入式系统开发的主流。体系结构......
IEC 61850智能电子设备(IED)的交互实时性是分布式功能成功实施的关键。为解决现有形式化方法对实时性建模复杂及验证困难的问题，提......
采用PC机作为上位机进行开发时,需要与下位机PLC进行大量的数据通讯。本文基于VB编写上位机程序,与OMRON公司的PLC进行数据通讯,对......
针对目前缺乏描述和分析C^3I系统的理论基础，提出了基于时间自动机理论的C^3I系统的数学模型．建立了C^3I系统中各个子系统的时间自动......
互联网技术的发展和应用在各个生产领域中发挥着越来越积极的作用,但随着网络技术应用的深入,网络系统的实时性成为影响网络安全的......
