發(fā)布時間：2019-06-19 06:04

【摘要】：已有的實時系統(tǒng)模型無法動態(tài)創(chuàng)建新進程.為此,基于時間自動機模型,提出了異步多進程時間自動機模型,將每個進程抽象為進程時間自動機,其部分狀態(tài)能夠觸發(fā)新進程.考慮到隊列會導(dǎo)致模型圖靈完備,進程都被緩存在集合中,但仍可建模許多實時系統(tǒng).通過將其編碼到可讀邊時間Petri網(wǎng),證明了該模型的可覆蓋性問題可判定.
[Abstract]:Existing real-time system models cannot dynamically create new processes. Therefore, based on the temporal automaton model, an asynchronous multi-process temporal automaton model is proposed, in which each process is abstracted as a process temporal automaton, and its partial state can trigger a new process. Considering that the queue will lead to the completion of the model Turing, the process is persisted in the set, but many real-time systems can still be modeled. By coding it into a readable edge time Petri net, it is proved that the covering problem of the model can be determined.
【作者單位】： 上海交通大學(xué)軟件學(xué)院;
【基金】：國家自然科學(xué)基金(61472240,61672340,91318301)~~
【分類號】：TP301.1

【相似文獻】

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

1 尹傳龍;宋偉;莊雷;;識別時間自動機中可加速環(huán)的方法[J];計算機工程與設(shè)計;2010年23期

2 支小莉,童維勤,戎璐;時間自動機的自動抽象算法[J];西南交通大學(xué)學(xué)報;2004年05期

3 錢俊彥,趙嶺忠;一種基于時間自動機的域構(gòu)造方法[J];計算機應(yīng)用研究;2005年07期

4 朱維軍;王迤冉;李琳娜;周清雷;;時間自動機兩種模型的構(gòu)造互模擬研究[J];微電子學(xué)與計算機;2007年01期

5 周清雷;周顏;趙東明;;對時間自動機中時鐘約束的處理[J];微計算機信息;2008年07期

6 吳永剛;陸慧娟;程倬;陳江;;基于時間自動機的實時系統(tǒng)建模及驗證[J];計算機時代;2011年06期

7 朱維軍;周清雷;;一種時間自動機時鐘離散化算法[J];鄭州大學(xué)學(xué)報(理學(xué)版);2011年03期

8 陳志輝;;基于時間自動機的信息物理融合系統(tǒng)建模與驗證[J];計算機與現(xiàn)代化;2012年10期

9 陳亞;李峭;趙露茜;;時間自動機流量特性的硬件模擬[J];電光與控制;2013年11期

10 宋煌,鄭麗萍,莊雷,蘇錦祥;時間自動機與自動驗證[J];鄭州大學(xué)學(xué)報(自然科學(xué)版);2001年02期

相關(guān)會議論文 前2條

1 ;基于時間自動機的實時系統(tǒng)建模及驗證[A];第六屆和諧人機環(huán)境聯(lián)合學(xué)術(shù)會議（HHME2010)、第19屆全國多媒體學(xué)術(shù)會議（NCMT2010）、第6屆全國人機交互學(xué)術(shù)會議（CHCI2010）、第5屆全國普適計算學(xué)術(shù)會議（PCC2010）論文集[C];2010年

2 高新;臧洌;黃越;;基于分簇和時間自動機的Ad hoc入侵檢測方法研究[A];2010通信理論與技術(shù)新發(fā)展——第十五屆全國青年通信學(xué)術(shù)會議論文集（下冊）[C];2010年

相關(guān)碩士學(xué)位論文 前10條

1 李建龍;PLC系統(tǒng)及其FBD編程語言的形式化建模與實時性驗證[D];華僑大學(xué);2015年

2 常軍旺;基于擴展時間Petri網(wǎng)的嵌入式中斷建模與驗證[D];大連理工大學(xué);2015年

3 石少玲;基于時間自動機的嵌入式工業(yè)控制系統(tǒng)建模與分析[D];昆明理工大學(xué);2016年

4 趙鑫;基于時間自動機的ECA規(guī)則系統(tǒng)建模與交互問題驗證[D];大連理工大學(xué);2016年

5 周顏;時間自動機可達性檢測方法研究[D];鄭州大學(xué);2007年

6 李巖;可調(diào)整時間自動機可達性算法的研究與實現(xiàn)[D];上海交通大學(xué);2014年

7 王靜;基于時間自動機的模型驗證理論及應(yīng)用研究[D];鄭州大學(xué);2005年

8 朱維軍;基于時間自動機若干新模型的研究[D];鄭州大學(xué);2005年

9 孫全勇;時間自動機及其應(yīng)用研究[D];哈爾濱工程大學(xué);2007年

10 程永江;基于時間自動機的模型驗證技術(shù)[D];鄭州大學(xué);2009年

，

本文編號：2502154