資料介紹
嵌入式技術是計算機發展的趨勢之一,被廣泛應用于工業和軍事領域。SCADE(高安全性的應用程序開發環境)為嵌入式軟件提供了一套基于模型的開發方式。從嵌入式軟件的特點入手,對基于模型的嵌入式系統軟件開發技術進行了深入剖析,并給出了一個基于SCADE的開發實例。
1引言
隨著嵌入式應用技術的發展,嵌入式系統被廣泛應用于人們生活的各個方面。大量功能強大而價格便宜的通用嵌入式硬件隨之出現在市場上。而如何能夠在通用硬件平臺上,高效的開發出滿足安全性與可靠性需要的專用嵌入式軟件成為了制約嵌入式技術應用的瓶頸。在計算機領域,如何為軟件的工業化大生產創造必要的技術條件和設計模式一直是軟件工程研究的首要問題。無論是軟件工程領域出現過的計算機輔助軟件工程的熱潮,還是,基于面向對象技術和組件技術的“裝配重用”軟件思路,都有一些根本性的問題沒有得到解決,因此大規模的“裝配”軟件生產還處在一個理想階段。
隨著研究的深入,用模型化。組件化的方法定義并開發軟件及其系統的思想引起了人們的興趣,也提供了一種新的軟件工業化大生產的可能性。在這方面,嵌入式軟件由于其本身的特殊性走在了通用軟件(PC機用軟件)的前面。
2 SCADE軟件開發環境簡介
SCADE(Safety-Critical Application Develop-ment Environment)高安全性的應用程序開發環境,是法國Esterel Technologies公司研制的一個用于開發達到歐洲航空業DO一178B標準的嵌入式軟件的完整工具包。它針對嵌入式軟件的特點,運用了正確構建(Correct by Construction)的概念,提出了一種基于模型的圖形化開發方式,覆蓋了從需求分析到代碼實現的整個軟件開發流程。
SCADE開發環境提供的一系列開發工具,實現了直觀的圖形化需求建模功能,基于模型的仿真驗證和軟件測試功能,以及基于模型的標準C代碼和開發文檔的自動生成功能。其嚴謹的建模理論和經過高安全性驗證的代碼生成器KCG,保證了軟件需求和代碼產品的高度同步。
SCADE開發環境的出現,使軟件設計工作可以集中在需求建模的層面,為基于模型的軟件開發方法提供了載體。
3基于SCADE的嵌入式軟件開發理論基礎
根據嵌入式系統的特點,SCADE提出了反應式系統。確定性。同步假設。并發性四個關鍵概念,從嵌入式系統的本質特征出發,極大的簡化了系統設計的考慮,為基于模型的開發方式提供了理論基礎。
3.1反應式系統
反應式(Reactive system)系統是指在運行過程中,不停的和外部環境交換信息,以外部環境的輸入信息為主導,進行特定的計算和輸出的嵌人式系統。
反應式系統的工作方式是一個“輸入一計算一輸出”的連續循環過程。反應式系統一般還兼具實時性和周期性,廣泛應用于工業領域的嵌入式系統大都屬于這種系統。反應式系統的工作方式如圖1所示。

反應式系統的概念,把嵌入式系統簡化為一個能不斷接收輸入,并計算輸出的黑盒,為嵌人式系統的需求建模提供了基本模型。
3.2確定性
一個系統,如果使用相同的一組輸入序列,在相同的時間調度下,其反應情況相同,始終產生相同的一組輸出,那么它就是確定的。確定性提高了系統的安全性,是大多數嵌入式軟件的重要需求,在航空航天等高科技領域,這也是一個必要條件。‘確定性的要求降低了系統設計的復雜度,簡化了系統建模和仿真驗證的考慮。SCADE開發環境提供的各種機制確保了系統的確定性,開發者不能引入不確定性。
3.3同步假設
同步假設(synchrony hypothesis)是假設反應式系統的處理速度無限快,即系統在一個可以忽略不計的瞬間響應輸入,并產生輸出。這樣,任何兩次響應之間都不會重疊,每一次輸出都會在下一次輸人前完成。
相對于通用軟件的設計,時間是嵌入式系統設計必須考慮的一個因素,而嵌入式軟件的運行時間又是與硬件環境息息相關的。為了簡化系統設計,SCADE提出了同步假設概念,把物理時間從系統設計中剝離出來。一方面確保了系統的實時性,另一方面也體現了設計的平臺無關性。
同時,為了考慮系統的運算時間問題,SCADE通過基本指令步長將實際的物理時間離散成指令周期時間,從而產生了邏輯時間。這樣,就可以使用邏輯時間來代替物理時間,給出運算時間的參考值。
3.4并發性
并發性概念認為系統所有輸入都是并發的,系統運算模塊按照數據流動執行,而且根據同步假設,所有模塊的運行都是在可以忽略不計的時間內完成的。其中,沒有輸入輸出關系的模塊都是并發執行的,有輸入輸出關系的模塊是按照輸入輸出關系順序執行的。
并發性概念進一步簡化了系統設計的復雜度,也為系統仿真提供了一種簡化的“運行”方式。
1引言
隨著嵌入式應用技術的發展,嵌入式系統被廣泛應用于人們生活的各個方面。大量功能強大而價格便宜的通用嵌入式硬件隨之出現在市場上。而如何能夠在通用硬件平臺上,高效的開發出滿足安全性與可靠性需要的專用嵌入式軟件成為了制約嵌入式技術應用的瓶頸。在計算機領域,如何為軟件的工業化大生產創造必要的技術條件和設計模式一直是軟件工程研究的首要問題。無論是軟件工程領域出現過的計算機輔助軟件工程的熱潮,還是,基于面向對象技術和組件技術的“裝配重用”軟件思路,都有一些根本性的問題沒有得到解決,因此大規模的“裝配”軟件生產還處在一個理想階段。
隨著研究的深入,用模型化。組件化的方法定義并開發軟件及其系統的思想引起了人們的興趣,也提供了一種新的軟件工業化大生產的可能性。在這方面,嵌入式軟件由于其本身的特殊性走在了通用軟件(PC機用軟件)的前面。
2 SCADE軟件開發環境簡介
SCADE(Safety-Critical Application Develop-ment Environment)高安全性的應用程序開發環境,是法國Esterel Technologies公司研制的一個用于開發達到歐洲航空業DO一178B標準的嵌入式軟件的完整工具包。它針對嵌入式軟件的特點,運用了正確構建(Correct by Construction)的概念,提出了一種基于模型的圖形化開發方式,覆蓋了從需求分析到代碼實現的整個軟件開發流程。
SCADE開發環境提供的一系列開發工具,實現了直觀的圖形化需求建模功能,基于模型的仿真驗證和軟件測試功能,以及基于模型的標準C代碼和開發文檔的自動生成功能。其嚴謹的建模理論和經過高安全性驗證的代碼生成器KCG,保證了軟件需求和代碼產品的高度同步。
SCADE開發環境的出現,使軟件設計工作可以集中在需求建模的層面,為基于模型的軟件開發方法提供了載體。
3基于SCADE的嵌入式軟件開發理論基礎
根據嵌入式系統的特點,SCADE提出了反應式系統。確定性。同步假設。并發性四個關鍵概念,從嵌入式系統的本質特征出發,極大的簡化了系統設計的考慮,為基于模型的開發方式提供了理論基礎。
3.1反應式系統
反應式(Reactive system)系統是指在運行過程中,不停的和外部環境交換信息,以外部環境的輸入信息為主導,進行特定的計算和輸出的嵌人式系統。
反應式系統的工作方式是一個“輸入一計算一輸出”的連續循環過程。反應式系統一般還兼具實時性和周期性,廣泛應用于工業領域的嵌入式系統大都屬于這種系統。反應式系統的工作方式如圖1所示。

反應式系統的概念,把嵌入式系統簡化為一個能不斷接收輸入,并計算輸出的黑盒,為嵌人式系統的需求建模提供了基本模型。
3.2確定性
一個系統,如果使用相同的一組輸入序列,在相同的時間調度下,其反應情況相同,始終產生相同的一組輸出,那么它就是確定的。確定性提高了系統的安全性,是大多數嵌入式軟件的重要需求,在航空航天等高科技領域,這也是一個必要條件。‘確定性的要求降低了系統設計的復雜度,簡化了系統建模和仿真驗證的考慮。SCADE開發環境提供的各種機制確保了系統的確定性,開發者不能引入不確定性。
3.3同步假設
同步假設(synchrony hypothesis)是假設反應式系統的處理速度無限快,即系統在一個可以忽略不計的瞬間響應輸入,并產生輸出。這樣,任何兩次響應之間都不會重疊,每一次輸出都會在下一次輸人前完成。
相對于通用軟件的設計,時間是嵌入式系統設計必須考慮的一個因素,而嵌入式軟件的運行時間又是與硬件環境息息相關的。為了簡化系統設計,SCADE提出了同步假設概念,把物理時間從系統設計中剝離出來。一方面確保了系統的實時性,另一方面也體現了設計的平臺無關性。
同時,為了考慮系統的運算時間問題,SCADE通過基本指令步長將實際的物理時間離散成指令周期時間,從而產生了邏輯時間。這樣,就可以使用邏輯時間來代替物理時間,給出運算時間的參考值。
3.4并發性
并發性概念認為系統所有輸入都是并發的,系統運算模塊按照數據流動執行,而且根據同步假設,所有模塊的運行都是在可以忽略不計的時間內完成的。其中,沒有輸入輸出關系的模塊都是并發執行的,有輸入輸出關系的模塊是按照輸入輸出關系順序執行的。
并發性概念進一步簡化了系統設計的復雜度,也為系統仿真提供了一種簡化的“運行”方式。
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 嵌入式软件开发的特点、设计流程、嵌入式软件的结构38次下载
- 嵌入式软件开发做什么?嵌入式开发培训学哪些19次下载
- 嵌入式软件开发环境7次下载
- 嵌入式开发(一):嵌入式开发新手入门79次下载
- 嵌入式软件开发基础实验报告4×4键盘控制10次下载
- 嵌入式软件开发基础实验报告数码管显示3次下载
- 嵌入式软件方向的学习难点有哪些应该如何学习0次下载
- 如何使用LPC2000微控制器进行嵌入式软件结构的设计6次下载
- ARM嵌入式软件开发65次下载
- 基于SCADE的嵌入式软件开发方法研究10次下载
- 嵌入式开发平台的搭建与软件移植67次下载
- 基于嵌入式系统的软件开发51次下载
- 嵌入式系统及其实时软件的开发55次下载
- 基于模块化设计的嵌入式软件测试方法23次下载
- 使用C++构建嵌入式开发框架12次下载
- 嵌入式软件开发和软件开发的区别2982次阅读
- 嵌入式Linux开发的三种方式1332次阅读
- 嵌入式软件与生态系统:为嵌入式开发者提供必要的组件932次阅读
- 先楫hpm_sdk开发方式的优缺点 与单片机传统开发方式的不同点3422次阅读
- 搭建一套优秀的嵌入式软件框架必备的通用工具包1309次阅读
- 基于UML嵌入式软件开发环境的自动取款机系统的应用方案4018次阅读
- 嵌入式开发的产品有哪些_嵌入式开发的流程11558次阅读
- 以嵌入式系统为基础的数字扩频收发信机硬件设计流程概述1496次阅读
- 基于模型的软件开发环境SCADE的技术特点和开发流程设计浅析9504次阅读
- 嵌入式软件开发编程规范介绍4657次阅读
- 嵌入式软件开发的这些编程规范你了解吗4198次阅读
- 基于SCADE模型的高安全性嵌入式软件解决方案设计3120次阅读
- 嵌入式开发好学吗_嵌入式开发职业发展方向是什么9699次阅读
- 学嵌入式开发入门_学嵌入式开发需要看哪些书籍36327次阅读
- 嵌入式指纹锁的设计与实现3072次阅读
下載排行
本周
- 1TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 2開關電源基礎知識
- 5.73 MB | 6次下載 | 免費
- 3100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 4嵌入式linux-聊天程序設計
- 0.60 MB | 3次下載 | 免費
- 5基于FPGA的光纖通信系統的設計與實現
- 0.61 MB | 2次下載 | 免費
- 6基于FPGA的C8051F單片機開發板設計
- 0.70 MB | 2次下載 | 免費
- 751單片機窗簾控制器仿真程序
- 1.93 MB | 2次下載 | 免費
- 8基于51單片機的RGB調色燈程序仿真
- 0.86 MB | 2次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應用800例(新編版)
- 0.00 MB | 33564次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關電源設計實例指南
- 未知 | 21548次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數字電路基礎pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅動電路設計》 溫德爾著
- 0.00 MB | 6653次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537796次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191185次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183278次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
評論