天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當前位置:主頁 > 科技論文 > 計算機論文 >

基于狀態(tài)圖和構件的嵌入式系統(tǒng)軟件設計及其可靠性分析

發(fā)布時間:2021-12-31 05:13
  嵌入式系統(tǒng)已經(jīng)獲得了廣泛的應用,但是目前使用的嵌入式軟件的開發(fā)方法仍舊比較落后。本文提出了一種基于狀態(tài)圖和構件的嵌入式軟件開發(fā)方法,使用狀態(tài)圖建模來描述系統(tǒng)的動態(tài)行為,構建應用程序的框架,而軟件功能的具體實現(xiàn)是通過組裝構件來完成。并將這種方法運用到控制器局域網(wǎng)(Controller Area Network,CAN)節(jié)點的軟件實現(xiàn)中,其中構件使用的是飛思卡爾提供的XGATE Lib構件庫中的構件。闡述了一種基于場景的可靠性分析方法,用于分析基于構件的軟件可靠性,并將這種方法用于分析前面設計的CAN節(jié)點的軟件可靠性。本文首先闡述了狀態(tài)圖和構件在嵌入式軟件開發(fā)中的應用,包括狀態(tài)圖和構件技術應用在嵌入式軟件開發(fā)中的原因,UML中的狀態(tài)圖的使用方法以及狀態(tài)圖開發(fā)工具VisualSTATE簡介。詳細闡述了CAN節(jié)點的硬件設計。CAN節(jié)點主要包括CAN總線消息的發(fā)送和接收模塊、用于獲取協(xié)調(diào)世界時(Universal Time Coordinated,UTC)的全球定位系統(tǒng)(Global Position System,GPS)模塊和用于顯示信息的LCD模塊。使用狀態(tài)圖和構件技術實現(xiàn)了CAN節(jié)點的軟... 

【文章來源】:天津大學天津市 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】:72 頁

【學位級別】:碩士

【部分圖文】:

基于狀態(tài)圖和構件的嵌入式系統(tǒng)軟件設計及其可靠性分析


狀態(tài)機元素-8-

狀態(tài)圖,狀態(tài)圖,圖形化,UML狀態(tài)機


圖2-5帶有遷移描述的狀態(tài)圖isualSTATE介紹isualSTATE是IAR公司開發(fā)的一個集成化的開發(fā)工具,其可以設計基于狀態(tài)機理論的嵌入式應用[35]。VisualSTATE覆蓋了嵌入式產(chǎn)品發(fā)步驟:圖形化的設計、快速的原型生成、自動代碼的生成、系統(tǒng)和開發(fā)文檔的自動生成。isualSTATE的主要特點:于UML狀態(tài)機的圖形化設計。成的開發(fā)環(huán)境,包括圖形化的設計界面和測試工具,以及圖形(或)對應的代碼和文檔生成器。設計模型進行規(guī)范性驗證,檢查系統(tǒng)的邏輯性、一致性,查找出系者錯誤,比如死鎖,從未用到的輸入,系統(tǒng)不可達狀態(tài)等。供圖形化的測試和驗證工具,用于靜態(tài)和動態(tài)的系統(tǒng)分析。

模塊圖,位數(shù),總線,模塊


分”電壓形式出現(xiàn)的[46]。如圖3-1所示。圖3-1 CAN總線的位數(shù)值3.2.2 MSCAN模塊簡介MC9S12XEQ512的CAN模塊是符合Motorola的MSCAN12規(guī)范的,也符

【參考文獻】:
期刊論文
[1]基于MDA的構件開發(fā)方法的研究[J]. 許峰,王志堅.  計算機應用與軟件. 2009(11)
[2]基于UML的CAN總線監(jiān)控軟件建模研究[J]. 曾倩,袁海文,張莉.  中國測試. 2009(05)
[3]基于構件軟件的可靠性評估模型[J]. 鄧勇進,王海軍.  電子產(chǎn)品可靠性與環(huán)境試驗. 2009(03)
[4]基于構件的NHPP類軟件可靠性增長模型的研究[J]. 侯春燕,崔剛,劉宏偉,楊孝宗.  計算機科學. 2009(04)
[5]基于模型驅(qū)動的軟件開發(fā)模式研究[J]. 黃書強.  微電子學與計算機. 2009(04)
[6]層次狀態(tài)機在集群設備中的應用[J]. 肖濤森,羅克露.  微計算機信息. 2008(36)
[7]協(xié)調(diào)世界時UTC:歷史和未來[J]. 魏娜.  測繪科技情報. 2008 (04)
[8]機器人程序設計中的狀態(tài)轉(zhuǎn)換方法[J]. 王明順.  東北大學學報(自然科學版). 2008(02)
[9]模型驅(qū)動的嵌入式系統(tǒng)設計[J]. 吳一帆,張毅玲,周世安.  空間控制技術與應用. 2008(01)
[10]統(tǒng)一建模語言狀態(tài)圖的Petri網(wǎng)模型及其分析方法[J]. 郭峰.  計算機集成制造系統(tǒng). 2007(07)



本文編號:3559681

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/kejilunwen/jisuanjikexuelunwen/3559681.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權申明:資料由用戶24dd4***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com