SCADE相关论文
为实现反应堆装料至升功率期间对核裂变反应速率的密切监视,需对反应堆中子倍增时间进行正确稳定的测量。本文基于对中子注量率测量......
目前传统软件开发流程由于开发周期长、代码编写工作量大、测试复杂等问题,已经难以应对复杂的航空机载软件需求,因此需要探索更为......
提出一种能辅助SCADE在模型仿真时与外部实物环境进行联合仿真的方法,可与外界进行通信,获取真实数据,还可进行数据录制及自动回放......
研究了高安全性的应用程序开发环境—SCADE软件的特点和作用。阐述了SCADE软件中的两个重要的基础概念,在此基础上总结了SCADE软件......
列车自动防护(Automatic Train Protection,ATP)是列控系统的核心,负责监控列车速度,防止列车超速,是典型的安全苛求系统。作为安......
科学技术快速发展,软件需求不断增加,嵌入式软件编程更为复杂,为了更高效应用图像处理算法,优化软件安全问题,需要进行SCADE模型的......
随着城市的发展,城市轨道交通的需求越来越大。交通的信号控制系统是轨道交通重要的组成部分,对于信号控制系统的安全负有重要意义......
主要介绍了基于嵌入式软件开发的新方法--实时嵌入式软件开发的高效解决方案XCADE,进行图形化软件开发、代码自动生成的关键技术.......
主要介绍了基于嵌入式软件开发的新方法--实时嵌入式软件开发的高效解决方案XCADE,进行图形化软件开发、代码自动生成的关键技术.......
模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建......
针对新型列控系统(C4D-I)的地面核心设备(Resource Manage Unit,RMU)是没有明确技术规范的创新产品,提出基于SCADE需求分析和用例......
计算机联锁系统软件是一种典型的安全相关软件,具有非常复杂的联锁控制逻辑和以失效为核心的安全需求,在联锁系统的设计开发过程中......
SCADE开发环境采用直观的图形化建模方式搭建系统模型,很大程度上实现了软件开发的自动化,节约开发成本并具有很高的安全性特征。本......
针对我国民用飞机研制过程中,基于模型的机载软件开发技术进行研究,通过一种基于模型的开发工具,建立了一个机载软件模块的模型,在......
该文研究了一种无人机飞行控制软件设计方法,利用高安全性的应用程序开发环境—SCADE(Safety-Critical ApplicationDevelopment En......
余度技术是提高可靠性的有效途径,余度系统同步是余度技术的关键。在SCADE开发环境中采用图形化建模方式搭建三余度飞控计算机任务......
针对目前余度管理软件开发过程中普遍采用手工编码,可靠性和效率较低,验证3-作量大,软件开发周期较长,成本高等问题,本文采用基于SCADE......
在嵌入式控制系统中,PID控制器应用广泛。鉴于实时性和同步性的要求,传统的PID控制器通常采用手工编程来实现。该种实现方式,费时......
主要介绍了基于嵌入式软件开发的新方法——实时嵌入式软件开发的高效解决方案SCADE,进行图形化软件开发、代码自动生成的关键技术......
软件的安全性和可靠性对于军用软件是至关重要的,而软件的开发模式对软件的安全性影响很大,通过阐述了基于模型的开发技术,并在型......
GLUT工具包独立于窗口系统,对窗口和事件的管理工作进行标准化和简化。本文介绍了GLUT程序框架的构建,解析了GLUT回调函数设计思想......
本文介绍了基于模型的现代软件项目开发方法,并结合实际项目的需求,从项目的概要设计到详细设计方面进行了详细的描述,并采用SCADE......
飞机从一个航路点飞向另一个航路点,需要计算两航路点之间距离。地球是一个两级稍扁赤道较长的复杂球体,为了提高大圆航线距离计算......
为提高机载计算机的可靠性和容错能力,普遍采用余度技术。但目前余度管理软件开发过程中通常采用手写代码,容易引入错误,软件可靠性和......
科学技术和社会经济的快速发展使嵌入式软件更加复杂,软件规模不断扩大,伴随而来的是软件的安全性和可靠性问题。在进行SCADE模型......
列车调度软件是ATS系统的核心,以往的ATS系统列车调度软件,按照传统的“V”型软件开发流程进行。由于采用手工编码方式,编码工作量......
随着民航事业的快速发展,业界对飞控系统软件的重视程度日渐提升,但现行的中国民用航空规章第25部涉及的适航要求却存在不完全适用......
列车运行控制系统是保证轨道交通安全、正点、高密度运行的自动化系统,是轨道交通系统的神经中枢。其中,车载ATP设备是列控系统实......
在GLS连续下降进近过程中,飞机需要按照一定的下滑角进行进近。在下降过程中,由于受到外界因素影响,难免会与理论下降航道产生偏差......
利用一种嵌入式软件开发的新方法——嵌入式代码自动生成软件SACDE研究了无人机三余度飞控系统的开发。通过与传统三余度飞控系统......
电接点水位探头是一种工业上常用的液位开关,二次仪表是影响电接点水位探头使用寿命的重要因素,为延长电接点水位探头寿命,提出了......
CTCS-3级列车运行控制系统是我国目前应用等级最高、技术设备最先进的铁路信号设备,主要用于保证列车安全、高效地运行。列车自动......
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety critical applications......
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清......
建立一套基于高安全性应用开发环境(SCADE)的梯形图模型库,并基于该模型库提出一种基于SCADE和梯形图的可视化联锁逻辑实现方法。该......
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清......
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清......
针对传统软件开发方式已经不能满足高安全性系统安全性、完整性的需求,本文提出了基于SCADE的安全软件开发方法,分析SCADE开发的原......
中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCAD......
安全和可靠性是嵌入式软件质量的关键要素,软件的设计模式直接决定了软件的安全和可靠性。本文研究了高安全性应用程序开发环境-SC......
在我国铁路相关技术飞速进步的背景下,信号系统集成化已经成为轨道交通发展的主流,联锁和列控中心作为列车运行控制系统中的关键设......
基于ARINC661架构的显示系统的最大特点在于将实现显示画面生成功能的应用与实现画面逻辑控制功能的应用彻底隔离,使得系统开发后......
随着航空机载软件功能和复杂性的提高,采用传统的人工编码方法来已不能满足其效率和安全性要求,因此寻求一种更有效的航空机载软件......
列车自动防护(ATP)系统是基于通信列车控制(CBTC)系统的重要组成部分。车载ATP在列车运行过程中担负列车安全运行的重要任务,是与......
反应堆保护系统是核电厂最重要的仪控系统之一,当和反应堆运行状态相关的参数达到极限值时触发紧急停堆和安全专设系统,确保核电站......
传统无人机座舱显示系统软件设计通常采用纯手工代码编程的方式来实现,开发周期长、成本高。随着航空航天电子系统软件的迅速发展,......