改革開放以來,中國民航產(chǎn)業(yè)迅速發(fā)展,國產(chǎn)大飛機(jī)的自主研發(fā)能力亟待提升以早日實(shí)現(xiàn)整機(jī)國產(chǎn)化。航電系統(tǒng)的安全性和可靠性是飛機(jī)綜合化、信息化、模塊化及智能化方向發(fā)展的重要指標(biāo),因此,自主研發(fā)飛機(jī)航電系統(tǒng)顯得尤為重要�，F(xiàn)階段,在傳統(tǒng)的基于文本的設(shè)計(jì)模式下,航電系統(tǒng)的設(shè)計(jì)、制造、測試和生產(chǎn)幾個(gè)環(huán)節(jié)通過文檔的形式進(jìn)行數(shù)據(jù)傳遞,各個(gè)子系統(tǒng)相對孤立,缺乏對于系統(tǒng)層的架構(gòu)設(shè)計(jì),且文檔之間的一致性得不到保障,嚴(yán)重制約了研制航電系統(tǒng)的可靠性和開發(fā)效率,因此我國亟需改進(jìn)航電系統(tǒng)的設(shè)計(jì)研制模式�；谀Ｐ偷南到y(tǒng)工程（Model-Based System Engineering,MBSE）主要被應(yīng)用到系統(tǒng)工程領(lǐng)域,本文研究MBSE在民機(jī)航電系統(tǒng)設(shè)計(jì)中的應(yīng)用技術(shù),以民機(jī)航電系統(tǒng)中數(shù)據(jù)加載系統(tǒng)（Data Loading System,DLS）為對象,研究基于MBSE的復(fù)雜大系統(tǒng)建模機(jī)制、模型確認(rèn)及測試驗(yàn)證技術(shù)。論文主要思路為:首先深入分析主流MBSE建模方法,結(jié)合民機(jī)航電系統(tǒng)特性,給出符合需求的基于MBSE的建模機(jī)制;然后在IBM Rational Rhapsody平臺(tái)上建立DLS系統(tǒng)的需求模型、頂層模型、組件模型;最... 

【文章來源】：電子科技大學(xué)四川省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：83 頁

【學(xué)位級別】：碩士

【部分圖文】：

SysML模型分類圖

）是統(tǒng)一建模語言，具有面向?qū)ο筇卣�，一般用于對軟件系統(tǒng)的建模[15]。相較于SysML，UML所包含的模型圖形式相對簡單易懂，且格式統(tǒng)一，可視化特性強(qiáng)。UML模型圖包含類、對象等靜態(tài)元素，也包含行為、狀態(tài)、順序等動(dòng)態(tài)元素，能夠?qū)④浖到y(tǒng)中的動(dòng)態(tài)信息和靜態(tài)信息很好地描述出來，對實(shí)際編碼有指導(dǎo)作用。另外，模型與代碼具有雙向關(guān)聯(lián)性，模型可以通過工具生成代碼框架，代碼也可以轉(zhuǎn)化成模型圖。在軟件開發(fā)過程中，UML可以在需求分析、軟件設(shè)計(jì)、測試驗(yàn)證的整個(gè)生命周期使用，能夠提高開發(fā)效率。圖2-2為UML模型分類圖。圖2-2UML模型分類圖如圖2-2所示，UML圖符總體上可劃分為兩大類：一類用于描述系統(tǒng)行為，包含活動(dòng)圖、序列圖、狀態(tài)圖、用例圖、通信圖；一類用于描述系統(tǒng)結(jié)構(gòu)，包含類圖、組件圖、部署圖、對象圖[16]。下面對UML中與SysML不同的模型圖進(jìn)行介紹：（1）類圖（ClassDiagram）類圖具有靜態(tài)特征，不能反映系統(tǒng)的動(dòng)態(tài)過程，可準(zhǔn)確反映出類及其各類間的關(guān)系。類圖主要產(chǎn)生于系統(tǒng)分析與設(shè)計(jì)階段，類圖的實(shí)現(xiàn)需要以需求分析為前提，當(dāng)對需求進(jìn)行系統(tǒng)分析后，將需求進(jìn)行抽象化與模型化轉(zhuǎn)變，為系統(tǒng)編碼提供素材。類的屬性對應(yīng)編碼中的參數(shù)，操作對應(yīng)編碼中的函數(shù)。類圖中包含類、關(guān)聯(lián)、端口、屬性、操作等元素。（2）對象圖(ObjectDiagram)對象圖輔助反映類圖所描述的關(guān)系，用于對類圖中的各種關(guān)系進(jìn)行舉例說明，描述的是對象和對象之間的關(guān)系[17]。對象圖具有生命周期，只存在于系統(tǒng)的某個(gè)時(shí)間段內(nèi)，可以詳細(xì)描述某個(gè)瞬態(tài)的對象狀態(tài)。（3）組件圖（ComponentDiagram）組件圖由組件、接口和關(guān)系組成，組件是封裝好的物理單元，具有可替換性和

第二章基于模型的系統(tǒng)工程理論基礎(chǔ)13都可以加入SysML中，實(shí)現(xiàn)SysML的拓展，以便完善系統(tǒng)工程的功能設(shè)計(jì)。圖2-3SysML與UML重用部分2.3主流建模方法論介紹2.3.1Harmony-SE方法介紹Harmony-SE（HarmonyforSystemEngineering）方法是支持MBSE的建模方法論之一，能夠較好處理復(fù)雜與整體性問題，系統(tǒng)模型貫穿系統(tǒng)研發(fā)的整個(gè)生命周期。其運(yùn)行需要依賴Rhapsody或Tau平臺(tái)進(jìn)行，IBMRational是這兩種工具的主要供應(yīng)商。Harmony-SE集成系統(tǒng)和軟件開發(fā)過程如圖2-4所示。圖2-4Harmony-SE架構(gòu)圖從圖2-4可以看出，Harmony-SE的設(shè)計(jì)過程顯示出V字型特征，整個(gè)V模型

【參考文獻(xiàn)】：
期刊論文
[1]基于UML的工會(huì)信息系統(tǒng)的業(yè)務(wù)建模研究[J]. 陳道遠(yuǎn).  信息技術(shù)與信息化. 2019(11)
[2]基于MBSE的民機(jī)飛行管理軟件設(shè)計(jì)[J]. 薛芳芳,王亮亮,繆煒濤,劉文學(xué).  航空計(jì)算技術(shù). 2019(05)
[3]面向SysML模型的安全性分析與驗(yàn)證方法[J]. 李宛倩,胡軍,陳松,張維珺.  計(jì)算機(jī)科學(xué). 2019(11)
[4]基于模型的質(zhì)量可靠性設(shè)計(jì)分析實(shí)踐[J]. 馬永耀,賴喆,方子豪.  電子產(chǎn)品可靠性與環(huán)境試驗(yàn). 2019(03)
[5]基于模型的系統(tǒng)工程的應(yīng)用及發(fā)展[J]. 鄧昱晨,毛寅軒,盧志昂,夏倩雯.  科技導(dǎo)報(bào). 2019(07)
[6]基于模型的衛(wèi)星系統(tǒng)功能架構(gòu)設(shè)計(jì)綜述[J]. 張賀,魏強(qiáng),陳余軍,林驍雄.  科技創(chuàng)新導(dǎo)報(bào). 2019(08)
[7]基于模塊的運(yùn)載火箭電氣系統(tǒng)匹配驗(yàn)證仿真[J]. 李強(qiáng),胡元威,董余紅,鄧夢然.  計(jì)算機(jī)測量與控制. 2019(02)
[8]一種航空電子系統(tǒng)安全性需求驗(yàn)證方法[J]. 丁明,張書玲,張琛,張軍.  西安電子科技大學(xué)學(xué)報(bào). 2019(03)
[9]MBSE在民用飛機(jī)剎車系統(tǒng)需求分析中的應(yīng)用[J]. 楊弘,肖揚(yáng),李冰.  民用飛機(jī)設(shè)計(jì)與研究. 2018(04)
[10]淺析UML在軟件工程中的應(yīng)用[J]. 劉秋香,劉振偉.  電腦知識(shí)與技術(shù). 2018(31)

碩士論文
[1]模型驅(qū)動(dòng)開發(fā)在軟件系統(tǒng)中的應(yīng)用與研究[D]. 姚冬.北京郵電大學(xué) 2012



本文編號：3563315