电子设计工程
電子設計工程
전자설계공정
Electronic Design Engineering
2015年
21期
103-105,109
,共4页
SCADE%嵌入式软件%建模%模拟仿真%形式验证
SCADE%嵌入式軟件%建模%模擬倣真%形式驗證
SCADE%감입식연건%건모%모의방진%형식험증
SCADE%embedded software%modeling%simulation%formal verification
安全和可靠性是嵌入式软件质量的关键要素，软件的设计模式直接决定了软件的安全和可靠性。本文研究了高安全性应用程序开发环境-SCADE的特点和应用，介绍了一种基于该开发环境的软件开发平台方案。大量的工程的应用也表明该方案有助于提高嵌入式软件的开发质量，缩短研制周期，满足软件研制需求。
安全和可靠性是嵌入式軟件質量的關鍵要素，軟件的設計模式直接決定瞭軟件的安全和可靠性。本文研究瞭高安全性應用程序開髮環境-SCADE的特點和應用，介紹瞭一種基于該開髮環境的軟件開髮平檯方案。大量的工程的應用也錶明該方案有助于提高嵌入式軟件的開髮質量，縮短研製週期，滿足軟件研製需求。
안전화가고성시감입식연건질량적관건요소，연건적설계모식직접결정료연건적안전화가고성。본문연구료고안전성응용정서개발배경-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.
