Z语言

作品数：93被引量：190H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：缪淮扣朱关铭庄毅郑国梁彭展更多>>
相关机构：上海大学南京航空航天大学广东工业大学山东大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划上海市高等学校科学技术发展基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向高铁信号系统工程测试的测试建模方法
《西南交通大学学报》2024年第5期1023-1033,共11页史增树 李耀 郭进 张亚东 
中国铁路总公司科技研究开发计划(N2018G062,K2018G011);中央高校基本科研业务费专项资金(2682022ZTPY084)。
高铁信号系统工程测试关注系统中各设备间的复杂行为关系和状态同步,工程测试的测试建模方法缺少复杂行为交互和同步机制,针对此问题,提出基于扩展有限状态机的高铁信号系统工程测试建模方法和测试用例生成方法.首先,分析高铁信号系统...
关键词：高铁信号系统 工程测试 有限状态机 Z语言 时间自动机 
铁路信号系统软件测试建模方法被引量：5
《西南交通大学学报》2022年第2期392-400,424,共10页李耀 张晓霞 郭进 张亚东 
国家自然科学基金(61703349)。
针对铁路信号系统软件测试模型不能系统地描述测试需求的问题,提出风险时间状态机建模方法.首先,分析铁路信号系统软件测试建模的特点,并提出建模需求;然后,以有限状态机理论为研究基础,在有限状态机的变迁和状态中分别扩展出时钟和风...
关键词：铁路信号系统软件 建模方法 时钟约束 风险等级 风险时间状态机 Z语言 
基于Z语言和贝叶斯网络的存储系统可靠性评估方法
《计算机测量与控制》2022年第4期249-257,共9页王颖颖 庄毅 孙逸帆 
国家自然科学基金(61572253);江苏省软件新技术与产业化协同创新中心计划(CXZZ13_0171)。
现有的存储系统可靠性评估方法难以动态地描述其可靠性特征,也难以反映其与时间的关系;针对此问题,提出了一种结合Z语言、连续时间马尔科夫链以及贝叶斯网络的可靠性评估方法;该方法将存储系统抽象为两级,分为功能单元和存储系统整体两...
关键词：存储系统 可靠性评估 Z语言 连续时间马尔科夫链 贝叶斯网络 
高铁信号系统安全关键功能测试建模方法被引量：4
《西南交通大学学报》2022年第1期28-35,45,共9页李耀 张晓霞 郭进 张亚东 
国家自然科学基金(61703349)。
测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征不够全面的问题,提出时间状态机测试建模理论和测试用例生成方法.分析高铁信号系统测试建模的特点,提出信...
关键词：铁路信号系统 建模方法 时间状态机 Z语言 时间自动机 
基于XSLT的可靠性模型的自动转换方法被引量：1
《计算机技术与发展》2019年第12期21-26,共6页李蜜 庄毅 
国家自然科学基金面上项目(61572253);航空基金XXX专项(20128052064)
AADL已经广泛应用于嵌入式软件体系结构的建模与分析,并且已有开源平台OSATE为AADL提供建模、验证与分析工具。但AADL作为一种半形式化建模语言,不能满足严格分析评估软件可靠性、安全性等非功能属性的要求。因此需要将AADL可靠性模型...
关键词：AADL Z语言 可靠性 模型转换 XSLT 
一种结合AADL与Z的嵌入式软件可靠性建模与评估方法被引量：6
《计算机科学》2019年第8期217-223,共7页李蜜 庄毅 胡镡文 
国家自然科学基金面上项目(61572253);航空基金XXX专项(2016ZC52030);“十三五”装备预研领域基金(61402420101HK02001)资助
在嵌入式软件开发早期,为其建立可靠性模型能够尽早发现软件设计中存在的问题,从而节约嵌入式软件开发成本。AADL从软件结构和故障传播两个角度来建立软件可靠性模型,但是AADL的半形式化性质使得基于AADL建立的可靠性模型难以对可靠性...
关键词：嵌入式软件 可靠性 AADL Z语言 DTMC 
智能油库管理系统的形式化分析研究被引量：1
《现代计算机》2018年第9期87-90,共4页彭展 
茂名市科技计划项目(No.2017313)
为提高油库的管理效率,油库管理系统的智能化水平越来越高,同时软件规模和复杂度不断增大,系统中的缺陷数量不断增多并且更加具有隐蔽性,这些缺陷给系统的正常运行和油库的安全带来巨大的挑战。提出把形式化方法应用到智能油库管理系统...
关键词：油库管理 形式化方法 Z语言 形式化验证 
基于形式化方法的面向方面需求分析被引量：1
《广东工业大学学报》2017年第6期54-60,67,共8页曲璨 张立臣 
国家自然科学基金资助项目(61572142;61370082);广东省自然科学基金资助项目(2015A030313490)
面向方面编程(AOP)可以通过它的横切属性有效地解决代码缠结和分散的问题,但大部分的工作都集中在编程和实现阶段,很少有对早期的需求分析模型进行研究.本文通过采用AOP技术对软件系统的需求分析进行研究.首先在需求分析阶段,通过关注...
关键词：面向方面 需求分析 Aspect-Z语言 形式化验证 
一种形式化组合式建模方法的研究
《计算机技术与发展》2017年第11期106-109,共4页李勇 李揭阳 曹子宁 
国家"973"重点基础研究发展计划项目(2014CB744900);航空科学基金(20150652008)
构件式系统是一种采用构件组合技术实现的结构系统,即在采用单个构件封装简单的业务功能基础上,通过集成多个构件逐步构造新的组合构件来实现比较复杂的业务功能。在开发构件式系统软件的过程中,正确的子构件模型组合方式才有可能构建...
关键词：体系结构分析设计语言 构件式系统 计算树逻辑 Z语言 模型检测 
实验设备管理软件形式化描述方法研究
《电子技术与软件工程》2017年第21期41-43,共3页章昱 邹成武 
编号为5489校级课题江西师范大学青年成长基金(自然科学类)的资助
针对常规的软件描述方法不够严谨,本文介绍了软件形式化方法的特点和技术类别,介绍了Z语言的表达方式及其各自的特点。然后本文使用Z语言分析了实验设备管理软件,给出了部分形式化分析结果。结果表明,Z语言能够将数理逻辑完备用于的描...
关键词：软件形式化 Z语言 设备管理 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部