吃瓜动态 - 网络热议 - 明星新闻 - 吃瓜必看 - 让你随时掌握最新动态!
<menuitem id="hd3kk"></menuitem>
<menuitem id="hd3kk"><b id="hd3kk"></b></menuitem>
<form id="hd3kk"></form>
<menuitem id="hd3kk"></menuitem>
聯系我們
+86 (021) 62118992
sales@formal-tech.com
歡迎訪問豐蕾科技官方網站 ACEPHERE & SMAVE
豐蕾科技
首頁
產品
? ?
SMAVE Model Suite / HMI
模型化嵌入式軟件與人機交互界面開發環境
SMAVE Code Analyzer
嵌入式C代碼分析與形式化驗證工具
SMAVE Virtual System
嵌入式處理器指令級與板級系統仿真與分析平臺
SMAVE Model Fabric
多領域數字模型集成仿真環境
SMAVE AI Fuzzer
基于AI生成對抗學習的網絡Fuzzing測試工具
ACEphere StudioIEC 61131-3
工業控制基礎軟件開發環境
ACEphere Runtime
將任何智能設備或PC轉換為工業控制器
ACEphere Display
在所有類型面板上實現人機交互
ACEphere Motion Control
符合PLCOpen規范的運動控制算法包
??
ACEphere LiteSys
樓宇及輕量級物聯網控制系統
ACEphere GearSys
面向惡劣運行環境的可編程控制系統
ACEphere UniSys
復雜仿真與高性能工業計算
服務
可信計算與高安全軟件
形式化方法培訓
形式化建模與分析驗證服務
可信AI技術服務
可信計算聯合科學研究
基于模型的系統工程
MBSE培訓
DO-178C/DO-331開發實踐
Simulink/SCADE/Modelica模型開發
EAST-ADL與AUTOSAR工程實踐
FACE體系工程實踐
科學研究
形式化方法
MBSE技術
組件模型
工業軟件
定制開發
工業軟件定制開發
嵌入式系統與結構定制開發
機械控制系統定制開發
電子系統軟硬件定制開發
解決方案
航空航天
多學科協同仿真
DO-178C 331/332/333解決方案
ARINC 615A通用數據加載系統
模型驅動控制軟件
高完整性ARINC 664-P7協議棧
汽車電子與車輛控制
VCU新能源整車控制系統
新能源BMS系統
新能源電驅系統
特種運輸車輛電控系統
農機車輛無人駕駛
工業控制
汽車零部件柔性制造
工業視覺識別與追溯
工業印刷控制
智慧樓宇
能源計算結算與管理
暖通與燈光控制
安防與門禁控制
智慧宿舍整體解決方案
智慧教室整體解決方案
機器人
多軸工業機器人控制系統
AGV機器人與調度平臺
服務機器人移動平臺
測試自動化
嵌入式式自動化測試平臺
MIL模型在環仿真
HIL硬件在環仿真
技術支持
資源中心
技術文章
資源下載
論文專著
關于我們
登錄
你的電子郵件
確認
返回到登錄頁面
We use cookies to provide you a better user experience.
Cookie Policy
同意