基于SCADE Vision的主动学习框架Ansys SCADE Vision-感知算法鲁棒性分析测试工具
2021-02-05 06:31
针对目前余度管理软件开发过程中普遍采用手工编码,可靠性和效率较低,验证工作量大,软件开发周期较长,成本高等问题,本文采用基于SCADE的图形化建模开发方法和自动代码生成技
2013-03-04 16:02
安全和可靠性是嵌入式软件质量的关键要素,软件的设计模式直接决定了软件的安全和可靠性。本文研究了高安全性应用程序开发环境-SCADE的特点和应用,介绍了一种基于该开发环境的软件开发平台方案。大量的工程的应用也表明该方案有助于提高嵌入式软件的开发质量,缩短研制周期,满足软件研制需求。
2016-01-04 15:10
安全关键零部件的嵌入式产品级软件提供了SCADE开发套件,支持嵌入式软件详细设计和代码自动生成,有效缩短产品研制周期,提高产品研制效率,提高产品质量。
2024-01-05 14:12
嵌入式技术是计算机发展的趋势之一,被广泛应用于工业和军事领域。SCADE(高安全性的应用程序开发环境)为嵌入式软件提供了一套基于模型的开发方式。从嵌入式软件的特点入手,对基于模型的嵌入式系统软件开发技术进行了深入剖析,并给出了一个基于SCADE的开发实例。
2018-07-26 14:40
嵌入式技术是计算机发展的趋势之一,被广泛应用于工业和军事领域。SCADE(高安全性的应用程序开发环境)为嵌入式软件提供了一套基于模型的开发方式。从嵌入式软件的特点入手,对基于模型的嵌入式系统软件
2017-10-17 10:09
的嵌入式PID控制器通常采用手工编程来实现。该种实现方式费时费力,可靠性低。为解决传统设计方法不足,本文研究了基于模型的高安全性应用程序开发环境-SCADE的技术特点,在该环境下完成了PID控制器的设计与仿真,并对生成的代码进行了分析和效率测试。最终表明,该设计方法切实有效。
2019-04-29 16:21
高安全性应用开发环境( SCADE)的形式化验证组件 Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构建一种
2021-05-28 14:51
在汽车行业,使用具有该架构图形表示的工具(即基于模型的开发)生成软件架构设计也越来越流行。其中包括 IBM Rational Rhapsody、Mathworks Simulink、ANSYS SCADE 等工具。
2022-06-16 17:14
1、Fileàpabrication outputsà选择输出文件的类型,工厂加工制作以Gerber File文件为依据。打印输出Fileàprint previewà设置scade mode为
2016-01-11 08:49