基于SCADE模型的高安全性嵌入式软件解决方案设计.docx
版权申诉
95 浏览量
2021-11-08
13:36:05
上传
评论
收藏 379KB DOCX 举报
基于 SCADE 模型的高安全性嵌入式软件解决方案设计
嵌入式技术是计算机发展的趋势之一，被广泛应用于工业和军
事领域。SCADE（高安全性的应用程序开发环境）为嵌入式软件提
供了一套基于模型的开发方式。从嵌入式软件的特点入手，对基于
模型的嵌入式系统软件开发技术进行了深入剖析，并给出了一个基
于 SCADE 的开发实例。
1 引言
随着嵌入式应用技术的发展，嵌入式系统被广泛应用于人们生
活的各个方面。大量功能强大而价格便宜的通用嵌入式硬件随之出
现在市场上。而如何能够在通用硬件平台上，高效的开发出满足安
全性与可靠性需要的专用嵌入式软件成为了制约嵌入式技术应用的
瓶颈。在计算机领域，如何为软件的工业化大生产创造必要的技术
条件和设计模式一直是软件工程研究的首要问题。无论是软件工程
领域出现过的计算机辅助软件工程的热潮，还是，基于面向对象技
术和组件技术的"装配重用'软件思路，都有一些根本性的问题没有
得到解决，因此大规模的"装配'软件生产还处在一个理想阶段。
随着研究的深入，用模型化。组件化的方法定义并开发软件及
其系统的思想引起了人们的兴趣，也提供了一种新的软件工业化大
生产的可能性。在这方面，嵌入式软件由于其本身的特殊性走在了
通用软件（PC 机用软件）的前面。
2SCADE 软件开发环境简介
SCADE（S（afe）ty-Cri（TI）calApplicaTIonDevelop-
mentEnvironment）高安全性的应用程序开发环境，是法国
剩余16页未读，继续阅读
评论0
最新资源