本文選題：AADL　切入點(diǎn)：不確定環(huán)境　出處：《華東師范大學(xué)》2017年碩士論文　論文類型：學(xué)位論文

【摘要】：混成AADL由于其簡(jiǎn)單的語(yǔ)法、強(qiáng)大的功能以及良好的擴(kuò)展性等特點(diǎn),常被用作信息物理融合系統(tǒng)的體系架構(gòu)模型設(shè)計(jì)。其設(shè)計(jì)模型既要能夠描述信息物理融合系統(tǒng)中的混成行為,又要作為"黃金參考模型"支持底層實(shí)現(xiàn)的產(chǎn)生,因此其正確性與可靠性是系統(tǒng)構(gòu)造的關(guān)鍵。然而,混合AADL設(shè)計(jì)模型常采用的最差情況分析方法往往導(dǎo)致過(guò)度悲觀的分析結(jié)果,并且當(dāng)系統(tǒng)與不確定環(huán)境緊密相互作用時(shí),這種方法無(wú)法對(duì)系統(tǒng)的整體性能準(zhǔn)確分析。針對(duì)混成AADL在不確定環(huán)境下的建模與分析問(wèn)題,本文提出了面向不確定環(huán)境的混成AADL設(shè)計(jì)與量化分析方法。該方法能夠有效的支持混成AADL的不確定性建模,同時(shí)支持對(duì)混成AADL模型的定量分析。本文主要貢獻(xiàn)如下:1.AADL不確定性附屬語(yǔ)言針對(duì)信息物理融合系統(tǒng)所處的不確定環(huán)境,本文提出了一種AADL不確定性附屬語(yǔ)言。不確定性附屬語(yǔ)言不僅可以精確的對(duì)系統(tǒng)交互環(huán)境引起的性能變化建模,還可以方便的定義系統(tǒng)設(shè)計(jì)者的需求規(guī)約,有效擴(kuò)充了 AADL的不確定性建模方法。2.不確定環(huán)境下混成AADL設(shè)計(jì)量化分析框架本文提出了一種不確定環(huán)境下混成AADL系統(tǒng)設(shè)計(jì)的量化分析框架。本框架將不確定環(huán)境下的混成AADL系統(tǒng)模型轉(zhuǎn)換為價(jià)格時(shí)間自動(dòng)機(jī)模型,通過(guò)統(tǒng)計(jì)模型檢驗(yàn)對(duì)轉(zhuǎn)換后的價(jià)格時(shí)間自動(dòng)機(jī)驗(yàn)證,支持對(duì)混成AADL模型在不確定環(huán)境下的量化分析。3.自動(dòng)化的模型轉(zhuǎn)換工具AADL2UPPAAL本文設(shè)計(jì)并實(shí)現(xiàn)了自動(dòng)化的模型轉(zhuǎn)換工具AADL2UPPAAL,并將其集成到量化工具鏈中。該量化工具鏈包括AADL建模、模型轉(zhuǎn)換和量化分析三大功能,具備完整的量化分析AADL模型的能力。通過(guò)本文提出的工具鏈可以快速、準(zhǔn)確的比較不同AADL設(shè)計(jì)方案的性能差異。中國(guó)列車控制系統(tǒng)3級(jí)中的行車許可場(chǎng)景實(shí)驗(yàn)表明,本文提出的不確定性附屬語(yǔ)言能夠有效地對(duì)不確定環(huán)境建模,量化分析方法能夠幫助AADL設(shè)計(jì)者定量分析和選取設(shè)計(jì)模型,同時(shí),自動(dòng)化的模型轉(zhuǎn)換工具能夠準(zhǔn)確且快速的支持量化分析。
[Abstract]:Because of its simple syntax, powerful function and good expansibility, hybrid AADL is often used in architecture model design of information physics fusion system, whose design model should be able to describe the mixing behavior in information physics fusion system. As a "gold reference model", it is necessary to support the generation of the underlying implementation, so its correctness and reliability are the key to the system construction. However, the worst-case analysis method often used in hybrid AADL design models often leads to overly pessimistic analysis results. When the system interacts closely with the uncertain environment, this method can not accurately analyze the overall performance of the system. In this paper, a hybrid AADL design and quantitative analysis method for uncertain environments is proposed, which can effectively support the uncertainty modeling of mixed AADL. The main contributions of this paper are as follows: 1. The uncertain adjunct language of AADL is based on the uncertain environment of information physics fusion system. In this paper, a AADL uncertainty dependent language is proposed, which can not only accurately model the performance change caused by the system interaction environment, but also define the requirement specification of the system designer. This paper extends the uncertainty modeling method of AADL effectively .2.The quantitative analysis framework of mixed AADL design in uncertain environment is presented in this paper. A quantitative analysis framework for hybrid AADL system design in uncertain environment is presented. The framework will be uncertain ring. The hybrid AADL system model is transformed into the price time automata model. The price time automata after conversion are verified by statistical model test. Support for quantitative Analysis of mixed AADL Model in uncertain Environment .3.Automated model transformation tool AADL2UPPAAL this paper designs and implements an automated model transformation tool AADL2UPPAAL. and integrates it into the quantization tool chain. The quantization tool chain includes AADL modeling. The function of model transformation and quantitative analysis has the capability of quantifying AADL model. The tool chain proposed in this paper can be used quickly. The performance differences of different AADL design schemes are compared accurately. The results of train permission scenarios in China's train control system level 3 show that the uncertainty dependent language proposed in this paper can effectively model the uncertain environment. The quantitative analysis method can help the AADL designers to quantitatively analyze and select the design model. At the same time, the automated model transformation tool can support the quantitative analysis accurately and quickly.
【學(xué)位授予單位】：華東師范大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類號(hào)】：TP29

【參考文獻(xiàn)】

相關(guān)期刊論文 前8條

1 周果;趙會(huì)兵;;區(qū)間占用檢查邏輯的建模與安全分析[J];鐵道學(xué)報(bào);2016年04期

2 陳銘松;顧t，

本文編號(hào)：1651839