注冊 | 登錄讀書好,好讀書,讀好書!
讀書網-DuShu.com
當前位置: 首頁出版圖書科學技術計算機/網絡操作系統(tǒng)形式化方法在構件組裝實時系統(tǒng)中的應用研究

形式化方法在構件組裝實時系統(tǒng)中的應用研究

形式化方法在構件組裝實時系統(tǒng)中的應用研究

定 價:¥50.00

作 者: 席琳,馬傳連 著
出版社: 中央民族大學出版社
叢編項:
標 簽: 暫缺

購買這本書可以去


ISBN: 9787566016683 出版時間: 2019-07-01 包裝: 平裝
開本: 16開 頁數(shù): 129 字數(shù):  

內容簡介

  隨著軟件系統(tǒng)復雜性的增加、規(guī)模的擴大,以及軟件開發(fā)機構對開發(fā)成本、開發(fā)周期要求的提高,繼面向對象開發(fā)方法之后,基于構件的軟件開發(fā)( Component - Based Software Development, 簡稱CBSD)方法(1,2), 即將外部開發(fā)的構件集成到具體應用環(huán)境中來構建面向特定應用的軟件系統(tǒng),已經成為當前軟件領域的主流技術和研究熱點。這種CBSD的思想將制造業(yè)中的組裝生產模式引人軟件開發(fā)中,為軟件裝配定制提供了理論和技術基礎。CBSD不僅僅能避免大量的重復勞動,減少財力浪費,提高生產效率,還能促進分工合作,顯著提高軟件產品的質量。因此,構件技術在軟件開發(fā)過程中得到了越來越廣泛的應用,并逐漸滲透到諸如航空航天、軍事過程控制等領域的實時系統(tǒng)開發(fā)中。實時系統(tǒng)(real-time systems)是指能對來自所控制的外部環(huán)境(物理過程)的交互作用做出及時響應以達到預定目的的計算機系統(tǒng),是一種定量的反應式系統(tǒng)。如過程控制、指揮通信、鐵路調度、敏捷制造、核反應堆等很多計算機控制系統(tǒng)都屬于實時系統(tǒng)。這類系統(tǒng)的任何一個錯誤都會帶來不可預料的經濟損失、環(huán)境破壞,甚至威脅到生命安全。2003 年8月14日,在美國電力檢測與控制管理系統(tǒng)中,由于分布計算機系統(tǒng)試圖同時訪問同-資源引起軟件失效,造成美國東北部大面積停電損失超過60億美元; 2009年9月14日,由于空管軟件中的時鐘管理缺陷,美國洛杉磯機場400余架飛機與機場指揮系統(tǒng)度失去聯(lián)系,給幾萬名旅客的生命安全造成威脅。

作者簡介

暫缺《形式化方法在構件組裝實時系統(tǒng)中的應用研究》作者簡介

圖書目錄

暫缺《形式化方法在構件組裝實時系統(tǒng)中的應用研究》目錄

本目錄推薦

掃描二維碼
Copyright ? 讀書網 ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網安備 42010302001612號