隨著嵌入式系統(tǒng)在各個(gè)領(lǐng)域的廣泛應(yīng)用,嵌入式系統(tǒng)變得越來越復(fù)雜。在嵌入式系統(tǒng)設(shè)計(jì)中采用模型的方法,有利于確保系統(tǒng)的正確性,縮短開發(fā)周期,降低開發(fā)費(fèi)用。本文以Perti網(wǎng)為建模工具,對(duì)嵌入式系統(tǒng)的建模和分析驗(yàn)證進(jìn)行了一些研究。嵌入式系統(tǒng)具有實(shí)時(shí)性、并發(fā)性等特點(diǎn),并要求高可靠性和正確性。為了設(shè)計(jì)具有這樣特點(diǎn)的系統(tǒng),設(shè)計(jì)過程必須基于一個(gè)形式化描述,以捕獲嵌入式系統(tǒng)的這些特點(diǎn)。Petri網(wǎng)對(duì)這類系統(tǒng)是一個(gè)很好的描述方法:可以表示并行和連續(xù)活動(dòng),并且很容易捕捉不確定性行為。但傳統(tǒng)的Petri網(wǎng)缺乏時(shí)間概念和數(shù)據(jù)表達(dá)力,不能很好的描述嵌入式系統(tǒng)的實(shí)時(shí)性要求和數(shù)據(jù)流。針對(duì)傳統(tǒng)Petri網(wǎng)的這些缺點(diǎn),本文提出基于PRES+的嵌入式系統(tǒng)的建模與分析驗(yàn)證研究。首先,介紹嵌入式系統(tǒng)的一個(gè)形式化計(jì)算模型PRES+,可以描述嵌入式系統(tǒng)的一些重要特征,其中,托肯攜帶數(shù)據(jù)信息,變遷執(zhí)行數(shù)據(jù)的轉(zhuǎn)換,時(shí)間通過與變遷相連的活動(dòng)期限來捕獲。同時(shí),引入PRES+模型的分層機(jī)制和組合修改操作。分層機(jī)制使模型能夠有條理的構(gòu)建,由簡(jiǎn)單的單元組件構(gòu)成,使得設(shè)計(jì)師在每個(gè)描述級(jí)上都可以很容易理解;組合修改操作,通過增加或減少模塊來改變其功... 

【文章來源】：江南大學(xué)江蘇省 211工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：72 頁(yè)

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

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 研究背景
    1.2 研究現(xiàn)狀
    1.3 本文的研究工作及其意義
    1.4 本文的基本結(jié)構(gòu)
第二章 嵌入式系統(tǒng)的模型概述
    2.1 嵌入式系統(tǒng)的特點(diǎn)
    2.2 嵌入式系統(tǒng)的設(shè)計(jì)流程
    2.3 嵌入式系統(tǒng)建模的常用方法
        2.3.1 有限狀態(tài)機(jī)
        2.3.2 狀態(tài)圖表
        2.3.3 數(shù)據(jù)流圖
        2.3.4 Petri 網(wǎng)
    2.4 本章小結(jié)
第三章 基于PRES+的實(shí)時(shí)嵌入式系統(tǒng)建模
    3.1 基本 Petri 網(wǎng)
    3.2 基本PRES+模型
        3.2.1 PRES+的基本定義
        3.2.2 PRES+的功能性描述
        3.2.3 PRES+的動(dòng)態(tài)行為描述
    3.3 PRES+的等價(jià)和分層概念
        3.3.1 PRES+的等價(jià)概念
        3.3.2 等級(jí) PRES+模型
        3.3.3 建模實(shí)例
    3.4 PRES+的組合與修改操作
        3.4.1 網(wǎng)加和網(wǎng)減運(yùn)算
        3.4.2 組合與修改的建模實(shí)例
    3.5 本章小結(jié)
第四章 PRES+模型的分析與驗(yàn)證
    4.1 PRES+模型的分析
    4.2 形式化驗(yàn)證方法
        4.2.1 時(shí)間自動(dòng)機(jī)
        4.2.2 驗(yàn)證工具 UPPAAL
        4.2.3 PRES+模型到TA 模型的轉(zhuǎn)換
        4.2.4 鐵路岔口問題
    4.3 動(dòng)態(tài)行為的模擬
        4.3.1 普通Petri 網(wǎng)動(dòng)態(tài)行為的模擬
        4.3.2 PRES+動(dòng)態(tài)行為的模擬
    4.4 簡(jiǎn)化PRES+模型
    4.5 本章小結(jié)
總結(jié)與展望
致謝
參考文獻(xiàn)
附錄：作者在攻讀碩士學(xué)位期間發(fā)表的論文


【參考文獻(xiàn)】：
期刊論文
[1]基于Petri網(wǎng)的分布式實(shí)時(shí)嵌入式系統(tǒng)調(diào)度的建模[J]. 張海濤,艾云峰.  計(jì)算機(jī)工程. 2006(18)
[2]面向?qū)ο蟮腜etri網(wǎng)在嵌入式系統(tǒng)開發(fā)中的應(yīng)用[J]. 廖曉文,吳永明.  微型機(jī)與應(yīng)用. 2005(04)

博士論文
[1]基于Petri網(wǎng)的嵌入式系統(tǒng)高層級(jí)設(shè)計(jì)方法與技術(shù)研究[D]. 郭軍.西北大學(xué) 2007

碩士論文
[1]基于UML與Petri網(wǎng)的嵌入式系統(tǒng)建模方法的研究[D]. 廖曉文.廣東工業(yè)大學(xué) 2005



本文編號(hào)：3259171