【摘 要】
：
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范；然后,基于建模语言M
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
航空科学基金资助项目（20128052064）,中央高校基本科研业务费专项资金资助项目（NZ2013306）,国家重点基础研究发展计划项目（2014CB744903）
论文部分内容阅读
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范；然后,基于建模语言MARTE建立扩展Object-Z的规范,即OZ-MARTE,该规范弥补了MARTE规范在形式化描述方面的不足,同时为了方便描述混成系统中连续动态行为属性,给出对混成系统中连续变量的描述转换规则,增强了MARTE对混成系统的描述能力；最后,给出OZ-MARTE规范到混成ZIA规范的转换方法,因此针对混成ZIA规范的验证技术同样适用于对MART
其他文献
在嵌入式音频流媒体播放系统中,音频流媒体服务器作为核心部分发挥着至关重要的作用。结合局域网音频流媒体播放系统实时性要求高和终端缓存资源很有限的特点,提出在服务器端
设计一种应用于5．8GHz有源RFID（Radio Frequency Identification）标签超宽带天线。该天线在覆铜介质基板上通过酸蚀制得，介质基板尺寸为30．0nil3×30．0mm×1．5mm，材料是相对
为了获得更加理想的网络安全态势估计效果,提出一种基于组合方法的网络安全态势估计模型。首先收集网络安全态势样本,进行预处理得到学习样本,然后将训练样本集输入到BP神经
本文从“服务——学习”理论的角度出发,建立对策应用试验项目——“平安建设”学警志愿服务德育实践项目,阐述“服务——学习”理论下志愿服务给公安大学生带来的改变和对公