1、當前實時系統(tǒng)的開發(fā)漸成熱點,軟件開發(fā)的各個階段,從需求工程到系統(tǒng)設計到編碼實現(xiàn)都需要有適合實時開發(fā)需要的理論和方法的支持.該文首先論述了實時系統(tǒng)的基本分類;并針對實時系統(tǒng)的特殊性,分析了滿足實時軟件開發(fā)要求的方法和技術,同時探討了如何將這些實時軟件工程化的方法和技術應用于實時開發(fā)中.然后討論了幾種實時系統(tǒng)的常用分析設計方法,如:語言描述及數(shù)學分析、流程圖、偽代碼和編程設計語言(PDL)、有限狀態(tài)機及Petri網(wǎng),并對他們的優(yōu)缺點做了簡略

2、的分析和比較;討論了實時系統(tǒng)設計最關鍵最復雜的任務分配及調(diào)度算法,重點介紹了單處理機,多處理機和分布式系統(tǒng)的調(diào)度算法.針對目前中國在實時系統(tǒng)軟件開發(fā)中所采用實時編程語言,編程效率不高、代價昂貴、代碼規(guī)范性差而造成的實時軟件的可維護性較差,浪費人力物力資源的現(xiàn)狀,在比較當前常用的一些可應用于實時編程的通用的高級語言,如:C語言、JAVA語言以及專門的實時語言ADA的基礎上,分析了目前在歐洲國家逐漸被廣泛接受的實時編程語言PEARL,歸納了

3、PEARL的一些基本特征.HI-PEARL是吸收了實時EUCLID的幾個基本原則而形成的一個高度完整的PEARL語言版本,該文著重研究了HI-PEARL中的一些新增特征對實時軟件編程的支持機制.如:如何用SHARED-VARIABLE屬性和一個控制時限的LOCK語句更好的實現(xiàn)了對并發(fā)的控制.在時間表操作中利用SEIZE,FREE,FREE-AFTER,和NEXI-SOLT-AVAILABLE功能(函數(shù))確定任務和同步資源.如何用具有MA