计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2005年
12期
16-23
,共8页
胡军%张岩%于笑丰%王林章%李宣东%郑国梁
鬍軍%張巖%于笑豐%王林章%李宣東%鄭國樑
호군%장암%우소봉%왕림장%리선동%정국량
嵌入式软件%嵌入式系统%嵌入式建模%实时软件
嵌入式軟件%嵌入式繫統%嵌入式建模%實時軟件
감입식연건%감입식계통%감입식건모%실시연건
随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位.本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要特征,以及由此带来的困难和挑战.然后重点介绍目前在解决嵌入式软件系统开发过程中的问题时所采取的建模思想、实现技术和验证方法.最后对嵌入式软件及其相关技术的发展进行了展望.
隨著計算機硬件設備計算能力的迅速提高,嵌入式繫統中軟件的規模和複雜度的急劇增大,軟件可靠性在嵌入式繫統中的重要性佔據瞭統治地位.本文首先概要介紹瞭嵌入式軟件不同于傳統商業軟件、科學計算軟件的物理性、實時性、領域性等重要特徵,以及由此帶來的睏難和挑戰.然後重點介紹目前在解決嵌入式軟件繫統開髮過程中的問題時所採取的建模思想、實現技術和驗證方法.最後對嵌入式軟件及其相關技術的髮展進行瞭展望.
수착계산궤경건설비계산능력적신속제고,감입식계통중연건적규모화복잡도적급극증대,연건가고성재감입식계통중적중요성점거료통치지위.본문수선개요개소료감입식연건불동우전통상업연건、과학계산연건적물이성、실시성、영역성등중요특정,이급유차대래적곤난화도전.연후중점개소목전재해결감입식연건계통개발과정중적문제시소채취적건모사상、실현기술화험증방법.최후대감입식연건급기상관기술적발전진행료전망.
