ANSYS SCADE Suite建?；A(chǔ)

前言
第1章 開(kāi)啟SCADE之旅
1.1 背景概念簡(jiǎn)介
1.1.1 嵌入式系統(tǒng)
1.1.2 安全關(guān)鍵系統(tǒng)
1.1.3 機(jī)載軟件的適航標(biāo)準(zhǔn)
1.1.4 基于模型的開(kāi)發(fā)與驗(yàn)證
1.2 SCADE介紹
1.2.1 同步語(yǔ)言介紹
1.2.2 SCADE產(chǎn)品的演進(jìn)
1.2.3 SCADE Suite的特點(diǎn)
1.2.4 SCA：DE產(chǎn)品未來(lái)發(fā)展的路線(xiàn)圖
1.3 SCADE快速入門(mén)
1.3.1 SCADE的適用環(huán)境和安裝步驟
1.3.2 創(chuàng)建SCADE Suite工程
1.3.3 SCADE Suite操作符和輸入輸出
的創(chuàng)建
1.3.4 飛機(jī)滾轉(zhuǎn)角示例
練習(xí)題
第2章 SCADE Suite建?；A(chǔ)
2.1 SCADE Suite集成開(kāi)發(fā)環(huán)境常見(jiàn)操作
2.2 SCADE數(shù)據(jù)類(lèi)型
2.2.1 預(yù)定義數(shù)據(jù)類(lèi)型
2.2.2 自定義數(shù)據(jù)類(lèi)型
2.3 常量
2.3.1 常量的定義
2.3.2 常量的使用
2.4 操作符
2.4.1 預(yù)定義操作符
2.4.2 自定義操作符
2.5 條件模塊
2.5.1 條件模塊的概念
2.5.2 條件模塊的創(chuàng)建與編輯
2.5.3 條件模塊中變量的隱式賦值
2.6 導(dǎo)入元素
2.6.1 導(dǎo)入常量
2.6.2 外部引用變量(Sensor)
2.6.3 導(dǎo)入操作符
2.6.4 導(dǎo)入靜態(tài)庫(kù)
練習(xí)題
第3章 SCADE Suite安全狀態(tài)機(jī)
3.1 安全狀態(tài)機(jī)
3.1.1 狀態(tài)機(jī)的組成
3.1.2 狀態(tài)機(jī)的創(chuàng)建
3.2 狀態(tài)的設(shè)置
3.2.1 狀態(tài)
3.2.2 初始狀態(tài)和終止?fàn)顟B(tài)
3.2.3 狀態(tài)的編輯
3.3 遷移的設(shè)置
3.3.1 遷移