網頁 貼吧 文章 作者 工作  
網頁搜尋
 
 愛PO吧 >> 小s黑森林 >> 瀏覽文章
回覆 加入我的最愛 與好友分享

I-Logix Statemate v4.1 英文光碟正式版 (複雜嵌入式系統)

本被文章 0 次, 共有回覆 0  
0
 
0
Dassault




I-Logix Statemate v4.1 英文光碟正式版 (複雜嵌入式系統)




I-Logix Statemate v4.1 英文光碟正式版 (複雜嵌入式系統)



[pre]
≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡
≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡
I-Logix Statemate v4.1 英文光碟正式版 (複雜嵌入式系統)
^^^^^^^^^^^^^^^^^^^^^^^^ 2006年03月最新版!
For WIN 9x/WIN ME/WIN NT/WIN 2000/WIN XP/WIN 2003


原版光碟!!!全新單片裝!!!絕對超值!!!

2006.03.15 全新〞光榮 〞上市 XYZ軟體補給站
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
本站網址:[b]http://xyz566.com[/B]


I-Logix Statemate v4.1 英文光碟正式版 (複雜嵌入式系統)

相關網址:
http://www.ilogix.com/

安裝說明:
請使用crack資料夾內序號產生器,即可完成安裝。

內容說明:

美國I-Logix公司的Statemate 是其多年在從事眾多實際工程的基礎上提煉出來的一個
工具套裝軟體,它是目前世界上最強大和最完整的面向功能需求的系統級自動設計套
裝軟體,它定位於複雜的嵌入式系統或實時系統,其寬廣的工程應用範圍和針對系統
層設計的專業技術是其他在系統級設計的工具(如Mathworks公司的state flow,
simulink,matlab;ISI 公司的Matrixx, BetterState等)所無法比擬的。而飛機的
航空電子與飛行控制系統正是這樣一個複雜的實時嵌入式系統,利用Statemate
MAGNUM從事其設計是非常合適的。
Statemate 軟體運用最先進的行為圖形建模方法和原型生成技術,使系統設計的
工程師能夠在規範階段就可以對整個系統的行為方式、功能要求、控制方式等進行可
視化的調試、驗證、發現和糾正規範文檔中相應的模糊、冗長、錯誤的地方,從而避
免在產品的物理原形階段或測試階段才發現上述問題。

當今嵌入式系統設計者面臨著大量複雜性設計的挑戰。這類挑戰來自於設計內容的
增加,多變的新特徵,模糊的設計參數以及用戶不斷增長的需求。這些挑戰即使是對
那些裝備最精良的設計小組而言也是遠遠超出了他們的技術能力。更令人驚訝的是,
還有大部分複雜系統是用文本形式進行描述的,這種非正規而又不可測試的交流方法
常常導致代價高昂的修改。大量的研究顯示在集成期間糾正一個錯誤的花費將是在規
範制定期間的10至1000倍
當然,產生完整、準確的規範僅僅是整個成功的一半,現在有一種全新的基於模
型的迭代式的方法可以解決以上問題,它允許用戶創建一個可視化的、圖形化的系統
規範,清晰、準確地反映指定系統預期的功能和行為,找到由於需求不明確造成的代
價高昂的錯誤,並盡早地在設計階段中加以改正。這就是--Statemate MAGNUM。



I-Logix首頁


I-Logix Statemate具有以下幾個特點:
採用基於模型的迭代式"V"型開發過程進行系統或分系統總體設計。
運用了最先進的行為圖形建模方法、先期驗證、快速原型、測試用例自動生成、代碼
自動生成、文檔自動生成、實時分佈式系統規劃、需求追蹤、配置管理等技術。
使設計複雜嵌入式系統的工程師在總體方案階段就可以對整個系統的行為方式、功能
要求、控制方式等進行可視化的調試、驗證。
在軟體功能上,覆蓋了從系統需求分析到產品級自動化代碼實現的嵌入式系統設計全
過程。
解決了規範系統設計方法、總體方案早期驗證、嵌入式軟體設計自動化等諸多複雜嵌
入式系統開發設計問題。

I-Logix Statemate 的建模語言
在Statemate MAGNUM中,設計者可使用六種可視化建模語言,即人機交互面板(
Panel),用例圖(Use Case Diagram)、順序圖(Sequence Diagram),連續控制圖
(Continuous Diagram),離散狀態圖(State chart)和功能結構圖(Activity
Diagram),從而有效地捕捉系統需求,實現對包括連續和離散行為的混合系統的描述
和設計。


I-Logix Statemate 的模型檢查和驗證技術
Statemate MAGNUM的ModelChecker和ModelCertifier模組是基於最先進的state of
the art格式驗證技術設計的,從而可以非常高效的完成在傳統測試下十分複雜的測試
驗證工作。
I-Logix Statemate 測試用例自動生成技術
Statemate MAGNUM是ATG模組可根據設計模型自動生成高覆蓋率的測試用例及測試數據
,可解決在後期開展測試工作時,測試人員根據系統需求文檔人工設計大量繁瑣測試
用例。

I-Logix Statemate 的仿真技術
仿真時的一個重要工具是人機交互面板,因為它與設計圖相綁定,可以非常直觀的顯
示仿真結果。此外,仿真器環境提供了所有傳統的調試裝置,如波形、監視器和調試
窗口等。

I-Logix Statemate 的代碼自動生成技術
Statemate MAGNUM的代碼生成器能把Statemate中設計的模型自動為軟體開發者轉
換成高質量的C或Ada碼,Statemate MAGNUM自動產生的代碼實際上就是系統的原型代
碼,它比傳統的手寫原型代碼的方式快幾個量級,並且保證了原型符合設計規範。有
了這種代碼,即使脫離軟體環境,也能為客戶演示系統的虛擬原型(用面板的方式表
現)。

I-Logix Statemate 的嵌入式快速原型技術
在一個複雜系統的設計過程中,工程師們往往要在系統集成期間才會發現系統設
計上的錯誤。為此,工程師往往需要花費大量的時間和金錢來修正錯誤。Statemate
MAGNUM嵌入式快速原型技術能幫助避免這種情況。

I-Logix Statemate 的自動文本生成技術
Statemate MAGNUM的文檔生成器能自動摘錄包括圖形和文字在內的所有模型數據,然
後輸出成為標準的或用戶自定義的文檔,便於整理和歸類。


Statemate enables engineers to rapidly design and validate complex systems
level products through a unique combination of graphic modeling, simulation,
code generation, documentation generation, and test plan definition. As a
result, Statemate has emerged as the standard for high-end embedded systems
development within the medical, automotive, aerospace, and defense
industries.











-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=




[/pre]



I-Logix Statemate v4.1 英文光碟正式版 (複雜嵌入式系統)

逛上一篇:   逛下一篇:

作者: firoqmcnom
  (2010-07-11 22:45)
推薦文章: 將本文章推薦到【百度收藏】 將本文章推薦到【YouPush】 將本文章推薦到【udn共享書籤】 將本文章推薦到【Fiigo】書籤

 本文章共有回覆 0 篇,分 1 頁
 聲明:以上內容不代表本站立場,且內容由網友發表提供,若有爭議或違法由發表者承擔,本站將不負責連帶責任,謝謝。

 IPoBar  愛PK  愛遊戲  愛online
新手教學 客服中心 站務公告 交換連結 合作提案 關於我們
 
版權所有©ipobar Ltd., All Rights Reserved.
論壇內會員言論僅代表個人觀點,不代表本站同意其說法,本討論區不承擔由該言論所引起的法律責任