在[Scade One] Swan 官方參考材料介紹中，在討論Swan語言教程時(shí)提到，該教程假設(shè)讀者已經(jīng)具備Scade 6語言的素養(yǎng)。因此，這里對(duì)SCADE Suite / Scade 6的官方發(fā)布參考材料也進(jìn)行敘述，作為補(bǔ)充。

SCADE 開發(fā)者文檔

在developer.ansys.com中，與SCADE開發(fā)者文檔相關(guān)的部分包含了與 SCADE Suite / Scade 6 相關(guān)的主要主題：

• Scade 語言入門。Scade 6 原生語言是所有 SCADE 模型的基礎(chǔ)。其特性使其非常適合安全關(guān)鍵型應(yīng)用。這種語言為開發(fā)人員提供了一種直接且高效的建模方法，使他們能夠靈活修改通過圖形界面設(shè)計(jì)的 SCADE 圖相關(guān)代碼，或通過編碼從頭創(chuàng)建模型。
• SCADE Suite算子庫手冊(cè)。SCADE 軟件附帶的運(yùn)算符庫可簡(jiǎn)化模型設(shè)計(jì)。這些庫包含各種布爾運(yùn)算符、函數(shù)運(yùn)算符、三角運(yùn)算符和數(shù)學(xué)運(yùn)算符，使您能夠輕松創(chuàng)建穩(wěn)健且精密的模型。
• SCADE Python API 教程。
• SCADE 元模型參考。用 UML 符號(hào)圖表示的 API 元模型列表。

ANSYS 知識(shí)論壇、SCADE Suite Student、Ansys中國(guó)

在ANSYS知識(shí)論壇innovationspace.ansys.com中，與嵌入式軟件相關(guān)的主題下，包含SCADE Suite產(chǎn)品中各功能相關(guān)的系列教程。

SCADE Suite Student安裝部署后的環(huán)境中，也包含了豐富的文檔資料參考。

在B站(bilibili.com)Ansys中國(guó)發(fā)布的系列視頻中，包含了使用 Scade Suite 進(jìn)行建模的視頻教程。

額外參考

通過<同步反應(yīng)式系統(tǒng)>課程，將學(xué)習(xí)到在 SCADE Suite / Scade 6 于2008首次發(fā)布的同年，Scade 6 語言編譯機(jī)制也相應(yīng)在2008年發(fā)表。該機(jī)制在往后 PARKAS 團(tuán)隊(duì)的持續(xù)貢獻(xiàn)下，以Rocq(Coq)形式化技術(shù)進(jìn)行了實(shí)現(xiàn)。主要敘事脈絡(luò)包括：

• Biernacki 2008[1]。概述了Scade 6編譯器的基礎(chǔ)技術(shù)。
• Lelio Brun 2020[2]。遵循 Biernacki 2008 的設(shè)計(jì)，使用Coq (現(xiàn)更名為Rocq) 實(shí)現(xiàn)。
• Basile Pesin 2023[3]。對(duì) Lelio Brun 2020 作補(bǔ)充，拓展控制流。
• Paul Jeanmaire 2024[4]。對(duì)語言提供指稱語義。

[1]: Darek Biernacki, Jean-Louis Colaco, Gr′egoire Hamon, and Marc Pouzet. Clock-directed Modular Code Generation of Synchronous Data-flow Languages. In ACM International Conferenc on Languages, Compilers, and Tools for Embedded Systems (LCTES), Tucson, Arizona, June 2008

[2]: Lélio Brun. Mechanized semantics and verified compilation for a dataflow synchronous language with reset. Programming Languages. Université Paris sciences et lettres, 2020. English. ffNNT : 2020UPSLE003ff. fftel-03068862f

[3]: Basile Pesin. Verified Compilation of a Synchronous Dataflow Language with State Machines. Computer Science [cs]. PSL University, 2023. English. ffNNT : ff. fftel-04830529f

[4]: Paul Jeanmaire. Une sémantique dénotationnelle pour un compilateur synchrone vérifié. Informatique [cs]. Université PSL (Paris Sciences & Lettres), 2024. Fran?ais. ffNNT : ff. fftel-04885682f