隨著5G通信、物聯(lián)網(wǎng)技術(shù)的發(fā)展,越來越多軟件、硬件被部署在開放的物理環(huán)境中。然而,系統(tǒng)在該環(huán)境中運(yùn)行存在多種不確定性因素（例如,系統(tǒng)輸入、消息處理時(shí)間和網(wǎng)絡(luò)延遲）,由于缺乏對開放的物理環(huán)境中系統(tǒng)的不確定性因素建模和有效評估的方法,設(shè)計(jì)人員難以對系統(tǒng)的整體性能進(jìn)行準(zhǔn)確分析,不能保證系統(tǒng)可靠性。針對系統(tǒng)在不確定環(huán)境下的建模和分析問題,本文采用主流的場景規(guī)約描述語言UML順序圖,提出了面向不確定環(huán)境場景規(guī)約的建模和分析方法。該方法能夠高效地支持UML順序圖對不確定環(huán)境的建模,同時(shí)支持UML順序圖模型的定量時(shí)間分析。本文的主要貢獻(xiàn)如下:1.擴(kuò)展了UML順序圖的語法和語義,使其支持不確定性行為建模針對系統(tǒng)在實(shí)際運(yùn)行環(huán)境中存在系統(tǒng)輸入、消息處理時(shí)間和網(wǎng)絡(luò)延遲的不確定性,本文擴(kuò)展了UML順序圖的語法和語義,使其支持對不確定性因素的建模。2.提出了不確定環(huán)境UML順序圖定量時(shí)間分析方法框架本文提出了一個(gè)基于統(tǒng)計(jì)模型檢驗(yàn)的面向不確定環(huán)境UML順序圖的定量時(shí)間分析框架。在本文提出的框架中先通過一套完整預(yù)處理機(jī)制對UML順序圖進(jìn)行預(yù)處理,然后將經(jīng)過預(yù)處理的不確定環(huán)境UML順序圖模型自動轉(zhuǎn)化為價(jià)格時(shí)間自動機(jī)模... 

【文章來源】：華東師范大學(xué)上海市 211工程院校 985工程院校 教育部直屬院校

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

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

【文章目錄】：
摘要
abstract
第一章 緒論
    1.1 研究背景與意義
    1.2 研究挑戰(zhàn)
    1.3 研究內(nèi)容與創(chuàng)新點(diǎn)
    1.4 相關(guān)工作介紹
        1.4.1 場景規(guī)約語言研究
        1.4.2 時(shí)間自動機(jī)研究
        1.4.3 定量分析方法研究
    1.5 本文組織結(jié)構(gòu)
第二章 相關(guān)理論介紹
    2.1 場景規(guī)約語言UML順序圖
    2.2 價(jià)格時(shí)間自動機(jī)理論
    2.3 統(tǒng)計(jì)模型檢驗(yàn)理論和工具UPPAAL-SMC
    2.4 本章小結(jié)
第三章 不確定環(huán)境下UML順序圖建模
    3.1 基本UML順序圖建模
    3.2 不確定環(huán)境UML順序圖建模
    3.3 本章小結(jié)
第四章 UML順序圖模型定量時(shí)間分析
    4.1 UML順序圖模型定量時(shí)間分析框架
    4.2 預(yù)處理模塊
        4.2.1 par組合片段預(yù)處理
        4.2.2 alt組合片段預(yù)處理
        4.2.3 loop組合片段預(yù)處理
    4.3 NPTA模型模塊
        4.3.1 前端模型
        4.3.2 后端模型
    4.4 性質(zhì)生成模塊
    4.5 本章小結(jié)
第五章 UML順序圖定量時(shí)間分析框架工具實(shí)現(xiàn)
    5.1 工具鏈
    5.2 SDtoUPPAAL設(shè)計(jì)框架
    5.3 轉(zhuǎn)換工具的具體實(shí)現(xiàn)
        5.3.1 UML順序圖解析模塊
        5.3.2 模型轉(zhuǎn)換模塊
        5.3.3 模型生成模塊
    5.4 本章小結(jié)
第六章 案例研究
    6.1 實(shí)驗(yàn)描述
    6.2 實(shí)驗(yàn)環(huán)境配置
    6.3 限制向前人工駕駛模式切換的場景
    6.4 超速監(jiān)督保護(hù)場景
    6.5 本章小結(jié)
第七章 總結(jié)與展望
    7.1 總結(jié)
    7.2 展望
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間發(fā)表論文和科研情況



本文編號：3539242