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

Research on SCADE-Based embedded software development methods

作　　者：高玉娜[1] 

机构地区：[1]上海海洋大学工程学院,上海201306

出　　处：《电子设计工程》2015年第21期103-105,109,共4页Electronic Design Engineering

基　　金：2013上海高校青年教师培养资助计划(B1-5409-13-0028)

摘　　要：安全和可靠性是嵌入式软件质量的关键要素,软件的设计模式直接决定了软件的安全和可靠性。本文研究了高安全性应用程序开发环境-SCADE的特点和应用,介绍了一种基于该开发环境的软件开发平台方案。大量的工程的应用也表明该方案有助于提高嵌入式软件的开发质量,缩短研制周期,满足软件研制需求。Safety and reliability are essential for the embedded software quality, and they are decided by the software design mode. The Characteristic of the Safety-Critical Application Development Environment-SCADE is researched in this paper and a software development platform based on SCADE is introduced. The experiment shows that the modeling technology is greatly helpful for improving the quality of embedded software and shortening the development time, satisfying the whole-course manufacture requirement.

关 键 词：SCADE 嵌入式软件 建模 模拟仿真 形式验证 

分 类 号：TN99[电子电信—信号与信息处理]