发表服务
基于SCADE的信息物理融合系统的分析和设计方法.作者：师大云端图书馆时间：2020-07-31分类：参考文献喜欢：2990.【摘要】信息物理融合系统(CPS)被认为是继计算机、互联网之后的第三次技术革命。.互联网改变了人与人之间的交互方式,而CPS将会改变人类与...
基于SCADE的无人机飞行控制系统软件设计.张合军.【摘要】：无人机飞行控制系统软件是无人机完成各项功能的重要角色,传统无人机软件的设计方法采用人工编码,随着飞行控制系统功能复杂性的提高,人工编码存在着一些不足,比如代码的开发效率和安全性要求...
轨交控制系统对可靠性要求是非常高的,单单传统的验证方法已经不能满足要求,需要提出新的建模与验证方法来完成其开发设计.为此本文提出了一种基于PVS(原型验证系统)对SCADE开发轨交控制系统的形式化建模与验证的方法.研究以SCADESuite作为开发工具的图形化...
基于SCADE的CBTC区域控制器建模与验证-交通信息工程及控制专业论文.docx,研究生优秀毕业论文西南交通大学学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定，同意学校保留并向国家有关部门或机构送交论文...
基于SCADE的计算机联锁与列控一体化系统研究.【摘要】：高铁信号系统是控制高速列车安全、平稳、高效运行的核心设备,分为车载系统,地面系统,计算机联锁和列控中心为地面系统的两大子系统,将两子系统合并成一个系统是可能的。.一体系统软件的安全可靠...
论文研究-基于SCADE与QNX平台的列车测速定位安全软件.pdf07-22为保证列车测速定位软件的安全性,研究了测速定位原理,提出一种新的测速定位模型,在此基础上引入SCADE开发方式,建立测速定位软件模型,并利用SCADE的形式化验证技术保证软件模型的安全性。
SCADE语言结合了Lustre和Esterel两种语言。程序实现就像画流程图一样。（2）如何设计界面ScadeD论文研究-基于SCADE与QNX平台的列车测速定位安全软件.pdf07-22为保证列车测速定位软件的安全性,研究了测速定位原理,...
嵌入式技术是计算机发展的趋势之一，被广泛应用于工业和军事领域。SCADE（高安全性的应用程序开发环境）为嵌入式软件提供了一套基于模型的开发方式。从嵌入式软件的特点入手，对基于模型的嵌入式系统软件开发技术进行了深入剖析，并给出了一个基于SCADE的开发实例。
SCADE版本与发布年份的关系2016年Ansys推出了SCADETest产品，用于实现基于模型的软件验证。SCADETest中包含可通过DO-178C/DO-331TQL-5级工具鉴定的自动化的认证测试环境(QTE:QualifiedTestEnvironment)。
第75页.本篇论文共75页，点击这进入下载页面。.更多论文.基于SCADE的CBTC区域控制器软件测试.基于数据挖掘的入侵检测技术研究.P2P流量优化系统.代理移动IPv6中多接口接入的设计与.基于OSPF的不间断转发与节能技术的.端到端的信息安全传输系统关键技术.
基于SCADE的信息物理融合系统的分析和设计方法.作者：师大云端图书馆时间：2020-07-31分类：参考文献喜欢：2990.【摘要】信息物理融合系统(CPS)被认为是继计算机、互联网之后的第三次技术革命。.互联网改变了人与人之间的交互方式,而CPS将会改变人类与...
基于SCADE的无人机飞行控制系统软件设计.张合军.【摘要】：无人机飞行控制系统软件是无人机完成各项功能的重要角色,传统无人机软件的设计方法采用人工编码,随着飞行控制系统功能复杂性的提高,人工编码存在着一些不足,比如代码的开发效率和安全性要求...
轨交控制系统对可靠性要求是非常高的,单单传统的验证方法已经不能满足要求,需要提出新的建模与验证方法来完成其开发设计.为此本文提出了一种基于PVS(原型验证系统)对SCADE开发轨交控制系统的形式化建模与验证的方法.研究以SCADESuite作为开发工具的图形化...
基于SCADE的CBTC区域控制器建模与验证-交通信息工程及控制专业论文.docx,研究生优秀毕业论文西南交通大学学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定，同意学校保留并向国家有关部门或机构送交论文...
基于SCADE的计算机联锁与列控一体化系统研究.【摘要】：高铁信号系统是控制高速列车安全、平稳、高效运行的核心设备,分为车载系统,地面系统,计算机联锁和列控中心为地面系统的两大子系统,将两子系统合并成一个系统是可能的。.一体系统软件的安全可靠...
论文研究-基于SCADE与QNX平台的列车测速定位安全软件.pdf07-22为保证列车测速定位软件的安全性,研究了测速定位原理,提出一种新的测速定位模型,在此基础上引入SCADE开发方式,建立测速定位软件模型,并利用SCADE的形式化验证技术保证软件模型的安全性。
SCADE语言结合了Lustre和Esterel两种语言。程序实现就像画流程图一样。（2）如何设计界面ScadeD论文研究-基于SCADE与QNX平台的列车测速定位安全软件.pdf07-22为保证列车测速定位软件的安全性,研究了测速定位原理,...
嵌入式技术是计算机发展的趋势之一，被广泛应用于工业和军事领域。SCADE（高安全性的应用程序开发环境）为嵌入式软件提供了一套基于模型的开发方式。从嵌入式软件的特点入手，对基于模型的嵌入式系统软件开发技术进行了深入剖析，并给出了一个基于SCADE的开发实例。
SCADE版本与发布年份的关系2016年Ansys推出了SCADETest产品，用于实现基于模型的软件验证。SCADETest中包含可通过DO-178C/DO-331TQL-5级工具鉴定的自动化的认证测试环境(QTE:QualifiedTestEnvironment)。
第75页.本篇论文共75页，点击这进入下载页面。.更多论文.基于SCADE的CBTC区域控制器软件测试.基于数据挖掘的入侵检测技术研究.P2P流量优化系统.代理移动IPv6中多接口接入的设计与.基于OSPF的不间断转发与节能技术的.端到端的信息安全传输系统关键技术.
发表服务