基于SCADE的嵌入式软件开发方法研究

【文件属性】：

文件名称：基于SCADE的嵌入式软件开发方法研究

文件大小：1.06MB

文件格式：PDF

更新时间：2024-05-06 10:28:35

SCADE 嵌入式软件 建模 模拟仿真 形式验证

安全和可靠性是嵌入式软件质量的关键要素，软件的设计模式直接决定了软件的安全和可靠性。本文研究了高安全性应用程序开发环境-SCADE的特点和应用，介绍了一种基于该开发环境的软件开发平台方案。大量的工程的应用也表明该方案有助于提高嵌入式软件的开发质量，缩短研制周期，满足软件研制需求。