Scade One - 將MBD技術從少數高安全領域向更廣泛的安全嵌入式軟件普及

Scade One是繼Scade Suite version 6自2008年起發展近20年后的首次主要改進版本。在Scade One發布的同時,Scade團隊發布了一系列介紹Scade One的博客。本篇Scade One - Democratizing model-based development是其中的一部分。在后面的內容中,將復述博客中的要點。更多內容,可參考Scade One - Democratizing model-based development

SCADE One 入門級解決方案

隨著2024 R1版本首次發布SCADE One產品,其中包含了"SCADE One Essential"入門級解決方案。這款簡化版產品專為開發可靠嵌入式軟件的小型團隊定制。

SCADE One Essential能做什么?

這是一款從設計到代碼生成全流程覆蓋的非認證嵌入式軟件開發一體化解決方案,包含:
? 建模能力:完整支持Swan語言,首篇博客所述所有建模功能(包括實時檢查、自動布局等)均可使用
? 模型調試功能:支持逐步執行模型
? 代碼生成能力:可生成安全、可移植且高效的C代碼,輕松集成至任意嵌入式平臺

SCADE One Essential的限制?

? 快速原型工具(用于創建仿真調試圖形面板)僅包含在SCADE One Studio中
? 完整代碼生成及模型-代碼追溯功能需使用SCADE One Code Gen版本
? 未來版本中,高級建模與生產力功能將僅集成至SCADE One Studio
? Essential版代碼生成器不會進行認證
? 不支持軟件安全認證相關功能(測試執行、覆蓋率分析、需求追溯等)

注:Essential版與Studio版采用相同語言和項目/模型格式。

SCADE One Essential 適合的用戶群體

SCADE One Essential適合開發關鍵任務嵌入式軟件(無認證需求)的系統/軟件工程師小型團隊。

學生可免費下載學生版軟件,SCADE One學生版將于2025 R1版本推出。

為何將SCADE用于非認證項目?

作為航空國防、汽車、軌道交通、能源及工業領域安全關鍵應用的標桿,SCADE能通過簡化和自動化安全標準要求流程來保障認證:

? 汲取安全關鍵領域最佳實踐:25年安全可靠軟件構建經驗沉淀,連電傳飛控系統/核電站都信賴的工具
? 基于模型設計及早發現缺陷:大部分開發在主機端模型層面完成,既能精細調校行為又可早期發現錯誤,且確保生成代碼在目標平臺表現一致
? 降低對編程技能的依賴:系統/控制工程師無需編程即可通過可視化方式構建復雜行為,打破系統與軟件團隊的協作壁壘
? 專為控制任務設計的領域特定語言:基于Swan語言建模,該語言專為安全可靠嵌入式軟件設計,天然融合數據流與狀態機范式,比C/C++等通用語言更易描述和驗證實時響應行為。Swan模型生成的C代碼無外部依賴、高度可移植;同時模型也能直接調用現有C代碼庫。這種混合開發模式既保留傳統代碼資產價值,又能利用模型化開發優勢。

本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/diannao/76871.shtml
繁體地址,請注明出處:http://hk.pswp.cn/diannao/76871.shtml
英文地址,請注明出處:http://en.pswp.cn/diannao/76871.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

Word在生成PDF后,PDF左側導航書簽目錄錯誤顯示的解決方法

1、打開要轉換的word文件,點擊“開始”,“另存為” 2、保存在本地時,在“保存類型”的下拉列表中選擇“PDF(*.pdf)” 3、選擇完保存類型后,點擊“選項”按鈕 4、在彈出的“選項”框中,選擇“創建…

Windows系統服務器安裝Office Online Server

服務器配置 配置參數OSThe 64-bit edition of Windows Server 2016CPU4RAM8GNetwork開啟Hard disk80GPort80, 443, 809 執行命令 PowerShell中添加Windows服務: Add-WindowsFeature Web-Server,Web-Mgmt-Tools,Web-Mgmt-Console,Web-WebServer,Web-Common-Http,…

【小沐學Web3D】three.js 加載三維模型(Angular)

文章目錄 1、簡介1.1 three.js1.2 angular.js 2、three.js Angular.js結語 1、簡介 1.1 three.js Three.js 是一款 webGL(3D繪圖標準)引擎,可以運行于所有支持 webGL 的瀏覽器。Three.js 封裝了 webGL 底層的 API ,為我們提供了…

簡單程序語言理論與編譯技術·22 實現一個從AST到RISCV的編譯器

本文是記錄專業課“程序語言理論與編譯技術”的部分筆記。 LECTURE 22(實現一個從AST到RISCV的編譯器) 一、問題分析 1、完整的編譯器(如LLVM)需先完成AST到IR的轉換,并進行代碼優化,再到匯編&#xff0…

JavaWeb 課堂筆記 —— 02 JavaScript

本系列為筆者學習JavaWeb的課堂筆記,視頻資源為B站黑馬程序員出品的《黑馬程序員JavaWeb開發教程,實現javaweb企業開發全流程(涵蓋SpringMyBatisSpringMVCSpringBoot等)》,章節分布參考視頻教程,為同樣學習…

Python 如何高效實現 PDF 內容差異對比

Python 如何高效實現 PDF 內容差異對比 1. 安裝 PyMuPDF 庫2. 獲取 PDF 內容通過文件路徑獲取通過 URL 獲取 3. 提取 PDF 每頁信息4. 內容對比metadata 差異文本對比可視化對比 5. 提升對比效率通過哈希值快速判斷頁面是否相同早停機制多進程機制 6. 其他 最近有接觸到 PDF 內容…

OpenGL學習筆記(簡介、三角形、著色器、紋理、坐標系統、攝像機)

目錄 簡介核心模式與立即渲染模式狀態機對象GLFW和GLAD Hello OpenGLTriangle 三角形頂點緩沖對象 VBO頂點數組對象 VAO元素緩沖對象 EBO/ 索引緩沖對象 IEO 著色器GLSL數據類型輸入輸出Uniform 紋理紋理過濾Mipmap 多級漸遠紋理實際使用方式紋理單元 坐標系統裁剪空間 攝像機自…

MIPI與DVP接口攝像頭:深度解析與應用指南

1、MIPI 1.1 MIPI簡介 MIPI是什么?MIPI:mobile industry processor interface移動行業處理器接口。它是一個由Intel、Motorola、Nokia、NXP、Samsung、ST(意法半導體)和TI(德州儀器)等公司發起的開放標準…

35信號和槽_信號槽小結

Qt 信號槽 1.信號槽是啥~~ 尤其是和 Linux 中的信號進行了對比(三要素) 1) 信號源 2) 信號的類型 3)信號的處理方式 2.信號槽 使用 connect 3.如何查閱文檔. 一個控件,內置了哪些信號,信號都是何時觸發 一…

6547網:藍橋STEMA考試 Scratch 試卷(2025年3月)

『STEMA考試是藍橋青少教育理念的一部分,旨在培養學生的知識廣度和獨立思考能力。考試內容主要考察學生的未來STEM素養、計算思維能力和創意編程實踐能力。』 一、選擇題 第一題 運行下列哪個程序后,飛機會向左移動? ( ) A. …

使用 Python 爬取并打印雙色球近期 5 場開獎數據

使用 Python 爬取并打印雙色球近期 5 場開獎數據 前期準備安裝所需庫 完整代碼代碼解析 1. 導入必要的庫2. 定義函數 get_recent_five_ssq 3. 設置請求的 URL 和 Headers 4. 發送請求并處理響應5. 解析 HTML 內容6. 提取并打印數據7. 錯誤處理 首先看下運行的效果圖&#xff1a…

前端快速入門學習3——CSS介紹與選擇器

1.概述 CSS全名是cascading style sheets,中文名層疊樣式表。 用于定義網頁樣式和布局的樣式表語言。 通過 CSS,你可以指定頁面中各個元素的顏色、字體、大小、間距、邊框、背景等樣式,從而實現更精確的頁面設計。 HTML與CSS的關系:HTML相當…

JVM 內存區域詳解

JVM 內存區域詳解 Java 虛擬機(JVM)的內存區域劃分為多個部分,每個部分有特定的用途和管理機制。以下是 JVM 內存區域的核心組成及其功能: 一、運行時數據區(Runtime Data Areas) 1. 線程共享區域 內存…

基于SpringBoot的水產養殖系統【附源碼】

基于SpringBoot的水產養殖系統(源碼L文說明文檔) 目錄 4 系統設計 4.1 總體功能 4.2 系統模塊設計 4.3 數據庫設計 4.3.1 數據庫設計 4.3.2 數據庫E-R 圖 4.3.3 數據庫表設計 5 系統實現 5.1 管理員功能模塊的實…

從零構建大語言模型全棧開發指南:第五部分:行業應用與前沿探索-5.2.2超級對齊與AGI路徑探討

?? 點擊關注不迷路 ?? 點擊關注不迷路 ?? 點擊關注不迷路 文章大綱 大語言模型全棧開發指南:倫理與未來趨勢 - 第五部分:行業應用與前沿探索5.2.2 超級對齊與AGI路徑探討超級對齊:定義與核心挑戰1. 技術挑戰2. 倫理挑戰AGI發展路徑:從專用到通用智能階段1:`專用智能…

基于大模型的重癥肌無力的全周期手術管理技術方案

目錄 技術方案文檔1. 數據預處理模塊2. 多任務預測模型架構3. 動態風險預測引擎4. 手術方案優化系統5. 技術驗證模塊6. 系統集成架構7. 核心算法清單8. 關鍵流程圖詳述實施路線圖技術方案文檔 1. 數據預處理模塊 流程圖 [輸入原始數據] → [聯邦學習節點數據對齊] → [多模態特…

盲盒小程序開發平臺搭建:打造個性化、高互動性的娛樂消費新體驗

在數字化浪潮席卷消費市場的今天,盲盒小程序以其獨特的趣味性和互動性,迅速成為了年輕人追捧的娛樂消費新寵。盲盒小程序不僅為用戶帶來了拆盒的驚喜和刺激,更為商家提供了創新的營銷手段。為了滿足市場對盲盒小程序日益增長的需求&#xff0…

前端對接下載文件接口、對接dart app

嵌套在dart app里面的前端項目 1.前端調下載接口 ->后端返回 application/pdf格式的文件 ->前端將pdf處理為blob ->blob轉base64 ->調用dart app的 sdk saveFile ->保存成功 async download() {try {// 調用封裝的 downloadEContract 方法獲取 Blob 數據const …

Spring常見問題復習

############Spring############# Bean的生命周期是什么? BeanFactory和FactoryBean的區別? ApplicationContext和BeanFactory的區別? BeanFactoryAware注解,還有什么其它的Aware注解 BeanFactoryAware方法和Bean注解的方法執行順…

C++_類和對象(下)

【本節目標】 再談構造函數Static成員友元內部類匿名對象拷貝對象時的一些編譯器優化再次理解封裝 1. 再談構造函數 1.1 構造函數體賦值 在創建對象時,編譯器通過調用構造函數,給對象中各個成員變量一個合適的初始值。 class Date { public:Date(in…