基于ＩＦ的實時系統驗證
2009-01-01 00:00:00沈嘉權劉曉燕字天于立新
計算機時代 2009年4期
摘要：IF是一個對異步實時系統建模和驗證的開放環境，建立在具有豐富表達能力，基于時間自動機的中間語言IF符號集之上。文章描述了IF的組成，包括其體系結構，所使用的符號集；然后給出了IF對實時系統驗證的方法，并運用此驗證方法對一個實時系統實例進行了驗證。
關鍵詞：IF；異步實時系統；時間自動機；實時系統驗證
摘要：IF是一個對異步實時系統建模和驗證的開放環境，建立在具有豐富表達能力，基于時間自動機的中間語言IF符號集之上。文章描述了IF的組成，包括其體系結構，所使用的符號集；然后給出了IF對實時系統驗證的方法，并運用此驗證方法對一個實時系統實例進行了驗證。
關鍵詞：IF；異步實時系統；時間自動機；實時系統驗證
