安全關鍵型軟件
關注創建者：匿名 創建時間：2021-11-25
安全關鍵型軟件的實例教程
Ansys SCADE認證的代碼生成器可確保最高級別的安全性，并為系統工程師和軟件工程師提供預測準確性和速度。我們與霍尼韋爾的合作將為行業客戶開發安全關鍵型軟件提供一體化、綜合全面的解決方案。”
Ansys SCADE認證的代碼生成器可確保最高級別的安全性，并為系統工程師和軟件工程師提供預測準確性和速度。我們與霍尼韋爾的合作將為行業客戶開發安全關鍵型軟件提供一體化、綜合全面的解決方案。”
本次技術聯合將確保航空航天、汽車及其他行業的安全關鍵型系統自動完成驗證，具備安全可靠性能
主要亮點
霍尼韋爾航空航天集團使用Ansys仿真技術加速安全關鍵型嵌入式系統的研發、分析和認證
將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試自動駕駛汽車、電動飛機和安全關鍵型代碼的嵌入式代碼
通過全新深入的合作，Ansys將為霍尼韋爾航空航天集團提供基于模型的研發解決方案，以加速在各個垂直行業對自動駕駛汽車、電動飛機和安全關鍵型代碼中的安全關鍵型嵌入式系統的研發、分析與認證。
安全關鍵型嵌入式軟件必須符合嚴格且復雜的行業法規。這種關鍵型軟件的驗證和確認是一項成本高昂、耗時耗力的工作，和許多手動操作過程一樣，它也容易出錯。霍尼韋爾與Ansys合作開發的基于模型的可靠工作流程進一步擴展了兩家公司的測試與分析功能，在整個軟件研發過程中提供自動化、效率與價值。將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試廣泛應用的嵌入式代碼。
Ansys聯合霍尼韋爾確保航空航天、汽車和其他行業的安全關鍵系統得到自動驗證，且安全和可靠
霍尼韋爾航空航天集團高級技術總監Jeff Radke表示：“Ansys與我們共同致力于轉型軟件研發。此次合作將有助于降低研發成本，縮短霍尼韋爾產品的上市時間。
展開 ANSYS和KRONO-SAFE推出面向關鍵航空航天應用的集成型軟件平臺
http://www.ansys.com/zh-CN/About-ANSYS/news-center/06-21-17-ansys-krono-safe-deliver-integrated-software-platform
新平臺支持航空航天產業研發能夠在多核系統上運行的安全關鍵型航空航天應用
2017年6月21日，匹茲堡訊——得益于KRONO-SAFE和ANSYS（NASDAQ: ANSS）推出的全新集成型解決方案，航空航天客戶能為最新一代航空航天計算機設計和研發安全關鍵型軟件。這款首次上市的解決方案能為航空航天和國防產業的高可靠性應用確保關鍵性、安全性和安全認證。
為打造更安全的飛機，最新的航空航天計算機不僅需要優化機組維護和成本，同時還要能夠處理傳統的安全關鍵型操控應用，并提供現代化的維護監控功能。KRONO-SAFE的集成型實時操作系統平臺ASTERIOS?配合ANSYS的嵌入式軟件ANSYS? SCADE Suite?，能為航空航天客戶提供實時的集成型流程，其非常適合滿足單核或多核平臺上運行的安全關鍵型航空電子多速率應用的需求。SCADE Suite可用于安全自動化應用軟件的研發，ASTERIOS能夠提供安全自動化實時集成功能、并針對多核平臺進行擴展，而這款全新的航空電子自動化設計流程則是集二者之大成。
這款綜合解決方案是在智能安全平臺（S3P）研發項目中完成研發的。S3P項目旨在研發安全智能的軟件研發與執行平臺，以促進物聯網設備、網關和應用的快速低成本研發、部署及使用。
展開 03
講師介紹
周霄
安全關鍵嵌入式軟件專家
多年從事安全關鍵嵌入式軟件研發、管理及咨詢工作，熟悉航空、軌交、汽車行業安全關鍵系統軟件的研發流程以及相應的功能安全標準，有著扎實的技術功底和豐富的項目實戰經驗。
安全關鍵型軟件的相關專題、標簽、搜索
安全關鍵型軟件的最新內容
SCADE可提供嚴謹的安全關鍵型軟件開發環境，而TPT可實現自動化測試生成、執行和分析，使團隊能夠加速迭代、強化早期驗證，并提高復雜控制軟件的質量。這兩種解決方案的結合，可以減少手動驗證工作量，并提高客戶構建跨領域任務關鍵型控制系統的自動化程度，包括高級駕駛輔助、電氣化動力總成、飛行控制、發動機控制和航空電子系統。
新能源汽車試驗T型槽平臺：電池包碰撞與電機耐久測試專用方案
在新能源汽車研發與質檢領域，電池包碰撞測試與電機耐久測試是評估核心部件安全性與可靠性的關鍵環節。新能源汽車試驗T型槽平臺作為測試的核心基準載3個月前
新能源汽車試驗T型槽平臺：電池包碰撞與電機耐久測試專用方案
在新能源汽車研發與質檢領域，電池包碰撞測試與電機耐久測試是評估核心部件安全性與可靠性的關鍵環節。新能源汽車試驗T型槽平臺作為測試的核心基準載體，其結構設計與性能參數直接決定測試數據的性與測試過程的安全性。本文結合新能源汽車試驗平臺、電池包測試專用T型槽、電機耐久試驗基準臺等高頻關鍵詞，針對性解析適配電池包碰撞與電機耐久測試的專用方案
安全隔離的需求
功能安全開發中，軟件階段由軟件V模型左邊的軟件安全需求SSR開始。SSR是從技術安全需求TSR中提取出軟件的功能安全需求，大多數情況下具有不同的ASIL等級。
圖1 功能安全軟件開發V模型
隨后，軟件安全需求會被分配到軟件架構中的軟件組件中。不同ASIL等級的軟件安全需求被分配到軟件組件過后，帶來了級聯失效的問題。若放任不同ASIL
相關閱讀
Ansys新品發布會 | 鎖定首輪2022年新功能更新網絡研討會
嵌入式系統 | 基于SCADE Display模型的驗證
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
Ansys助力Air Race E競賽電動飛機完成首次飛行
Ansys助力EasyMile提高電動自動駕駛汽車安全性
CES 2022 | Ansys隆重揭曉最新可持續交通仿真方案
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
相關閱讀
Ansys助力EasyMile提高電動自動駕駛汽車安全性
CES 2022 | Ansys隆重揭曉最新可持續交通仿真方案
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
Panasonic
相關閱讀
“中車SCADE軟件建模勞動競賽”圓滿結束
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
Ansys攜手EMA推出EMA3D Charge將改進電子組件的設計與安全性
新課程上線
相關閱讀
“中車SCADE軟件建模勞動競賽”圓滿結束
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
Ansys攜手EMA推出EMA3D Charge將改進電子組件的設計與安全性
新課程上線
相關閱讀
Ansys攜手羅克韋爾自動化擴展數字孿生連接優化工業運營
“中車SCADE軟件建模勞動競賽”圓滿結束
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
Ansys攜手EMA推出EMA3D
相關閱讀
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
Ansys攜手EMA推出EMA3D Charge將改進電子組件的設計與安全性
航空航天 | 2021 Ansys Innovation大會
新課程上線 | Ansys SCADE Display基礎課程
嵌入式系統 | 基于Ansys SCADE
