![基于MDE模型转换的若干研究]()
论文摘要随着模型驱动技术在软件开发中的广泛应用,以UML为代表的大量可视化建模语言不断涌现,但它们中的大部分目前还没有严格的形式语义,所建立的模型存在很多潜在不一致性等问题,大...
![分布式实时系统调度分析工具的改进研究]()
论文摘要随着信息科技的高速发展,针对网络化、嵌入式集成特点的计算机系统得到广泛研究,于是出现了分布式结构的实时系统。由于系统规模的扩大以及系统功能与非功能属性的逐渐丰富,开发人...
![轨道电路读取器测试序列生成方法的研究]()
论文摘要轨道电路读取器（TCR）是专门设计用于350km/h高速客运专线动车组的信号子系统。它利用了JT1-CZ2000的成熟技术,是根据既有的JT1-CZ2000机车信号车载...
![实时模型检测中精确加速的研究]()
论文摘要实时系统经常会出现不同的时间度量。然而,当这些系统建模成时间自动机,然后运用符号模型检测技术进行验证时,验证速度会由于不必要的符号状态空间分裂(片段问题)而明显下降。精...
![基于时间自动机的CTCS-3级列控车载设备建模与验证]()
论文摘要铁路系统历来对安全性要求较高,CTCS-3级列控设备作为高速列车的控制系统对安全性的要求更高。车载设备系统是中国铁路CTCS-3级列控系统中的重要组成部分,UPPAAL...
![基于公钥加密体制的SIP协议安全模型研究与实现]()
论文摘要会话初始化协议（SIP）是由IETF提出的信令协议,近年来发展成为下一代网络（NGN）和3G中的核心协议之一。本文研究的内容是SIP的安全性问题。文中首先对SIP进行了...
![基于时钟同步的网络化运动控制方法与实现]()
论文摘要网络化运动控制系统具有降低布线成本、便于诊断和维护、以及提高系统柔性等优点,运动控制网络是其关键组成部分。网络化运动控制系统需要通过控制网络在控制器和各个运动轴驱动器之...
![实时系统模型检测工具FPTAT的算法与实现]()
论文摘要模型检测方法是最近二十年来最成功的自动验证技术之一,目前已经广泛应用于有穷状态系统(包括通信协议和电路设计)的分析和验证。实时系统的安全性至关重要,模型检测方法可以有效...
![移动Ad Hoc网络入侵检测与主动响应机制研究]()
论文题目:移动AdHoc网络入侵检测与主动响应机制研究论文类型:博士论文论文专业:计算机应用技术作者:易平导师:张世永关键词:移动,网络,路由协议,网络安全,入侵检测,入侵响应...
