微处理机
微處理機
미처리궤
MICROPROCESSORS
2013年
1期
34-37
,共4页
高安全性%基于模型%嵌入式软件
高安全性%基于模型%嵌入式軟件
고안전성%기우모형%감입식연건
嵌入式技术是计算机发展的趋势之一,被广泛应用于工业和军事领域.SCADE(高安全性的应用程序开发环境)为嵌入式软件提供了一套基于模型的开发方式.从嵌入式软件的特点入手,对基于模型的嵌入式系统软件开发技术进行了深入剖析,并给出了一个基于SCADE的开发实例.
嵌入式技術是計算機髮展的趨勢之一,被廣汎應用于工業和軍事領域.SCADE(高安全性的應用程序開髮環境)為嵌入式軟件提供瞭一套基于模型的開髮方式.從嵌入式軟件的特點入手,對基于模型的嵌入式繫統軟件開髮技術進行瞭深入剖析,併給齣瞭一箇基于SCADE的開髮實例.
감입식기술시계산궤발전적추세지일,피엄범응용우공업화군사영역.SCADE(고안전성적응용정서개발배경)위감입식연건제공료일투기우모형적개발방식.종감입식연건적특점입수,대기우모형적감입식계통연건개발기술진행료심입부석,병급출료일개기우SCADE적개발실례.
