基于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的形式化验证技术研究_信息与通信_工程科技_专业资料。针对软件开发中的一种软件验证技术———形式化验证技术进行研究,分析这种方法的原理和应用情况,...
内容提示:计算机系统应用c-S—a.org2012年第2l卷第3期三角函数的SCADESuite实现方林枫(中国商用飞机有限责任公司上海飞机设...
内容提示:劣臻交硕士学位论文基于SCADE的CBTC区域控制器软件开发北京交通大学SCADESupportedSoftwareDevelopmentofZoneControllerinCBTCSystem作者:张路...
本文在论述SCADE开发环境与无人机飞行控制软件开发技术的基础上,详细介绍了利用SCADE开发无人机飞行控制软件的设计方案和实现方法。论文首先介绍SCADE开发环境,对基于SCADE...
最后通过半物理实时试验,验证了采用SCADE设计飞行控制软件的正确性。实际飞行控制软件设计过程与测试结果表明,SCADE在很大程度上实现了软件开发的自动化,节约了开发成本...
【摘要】:针对传统软件开发方式已经不能满足高安全性系统安全性、完整性的需求,本文提出了基于SCADE的安全软件开发方法,分析SCADE开发的原理、流程及应用方式,并以城市轨道交...
轨道交通论文:基于PVS对SCADE开发轨交控制系统的形式化建模与验证【中文摘要】随着计算机微处理器技术的迅速发展,嵌入式系统的调计越亚越复杂。特别是对于安全性...
毕业论文，知乎干货文章推荐：在家使用中国知网免费下载论文的方法9104赞同·338评论回答如何快速写...
2005年爱斯特尔技术公司扩展了SCADE品牌,SCADE旨在成为面向安全关键嵌入式领域的、基于模型的、覆盖全生命周期应用的工具。原SCADE产品更名为SCADESuite,适用于控制软件的逻辑建模...
轨道交通论文基于PVS对SCADE开发轨交控制系统的形式化建模与验证中文摘要随着计算机微处理器技术的迅速发展嵌入式系统的调计越亚越复杂特别是对于安全性要求极高的系统例如飞机火箭...