针对目前余度管理软件开发过程中普遍采用手工编码，可靠性和效率较低，验证工作量大，软件开发周期较长，成本高等问题，本文采用基于SCADE的图形化建模开发方法和自动代码生成技
2013-03-04 16:02
安全和可靠性是嵌入式软件质量的关键要素，软件的设计模式直接决定了软件的安全和可靠性。本文研究了高安全性应用程序开发环境-SCADE的特点和应用，介绍了一种基于该开发环境的软件开发平台方案。大量的工程的应用也表明该方案有助于提高嵌入式软件的开发质量，缩短研制周期，满足软件研制需求。
2016-01-04 15:10
嵌入式技术是计算机发展的趋势之一，被广泛应用于工业和军事领域。SCADE（高安全性的应用程序开发环境）为嵌入式软件提供了一套基于模型的开发方式。从嵌入式软件的特点入手，对基于模型的嵌入式系统软件
2017-10-17 10:09
高安全性应用开发环境（ SCADE）的形式化验证组件 Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质，但不能充分描述拥有复杂时序性质的安全需求。为解决该问题，构建一种
2021-05-28 14:51
1、Fileàpabrication outputsà选择输出文件的类型，工厂加工制作以Gerber File文件为依据。打印输出Fileàprint previewà设置scade mode为
2016-01-11 08:49
