{"id":3639,"date":"2026-07-23T09:28:35","date_gmt":"2026-07-23T09:28:35","guid":{"rendered":"https:\/\/uschinadrone.com\/?post_type=product&p=3639"},"modified":"2026-07-23T09:28:35","modified_gmt":"2026-07-23T09:28:35","slug":"adacore","status":"publish","type":"product","link":"https:\/\/uschinadrone.com\/zh\/product\/adacore\/","title":{"rendered":"AdaCore"},"content":{"rendered":"
\n
\n
\n
\n
\n
\n

AdaCore \u662f\u4e00\u5bb6\u4e3a\u4efb\u52a1\u5173\u952e\u578b\u548c\u5b89\u5168\u5173\u952e\u578b\u65e0\u4eba\u673a\uff08UAV\uff09\u8f6f\u4ef6\u63d0\u4f9b\u503c\u5f97\u4fe1\u8d56\u7684\u5f00\u53d1\u89e3\u51b3\u65b9\u6848\u548c\u5de5\u5177\u7684\u4f9b\u5e94\u5546\u3002<\/strong><\/p>\n

\u8be5\u516c\u53f8\u7684\u00a0\u8f6f\u4ef6\u5f00\u53d1\u5de5\u5177\u5305<\/a>\u00a0\u53ef\u6784\u5efa\u5b89\u5168\u53ef\u9760\u7684\u7cfb\u7edf\uff0c\u8fd9\u4e9b\u7cfb\u7edf\u4e0d\u4ec5\u5177\u5907\u6297\u6545\u969c\u80fd\u529b\uff0c\u8fd8\u80fd\u9ad8\u5ea6\u62b5\u5fa1\u7f51\u7edc\u653b\u51fb\u3002\u8be5\u65b9\u6848\u517c\u5bb9\u4e0a\u767e\u79cd\u73b0\u6210\u53ca\u5b9a\u5236\u64cd\u4f5c\u7cfb\u7edf\u548c\u5e73\u53f0\uff0c\u540c\u65f6\u652f\u6301\u6700\u9ad8\u8fbeDAL-A\u7ea7\u522b\u7684DO-178B\/C\u6807\u51c6\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n

\n
\n
\n
\n
\n
\n

\u7528\u4e8e\u5f00\u53d1\u5b89\u5168\u53ef\u9760\u7684\u65e0\u4eba\u673a\u8f6f\u4ef6\u7684\u4e00\u4f53\u5316\u5f00\u53d1\u5de5\u5177\u5305<\/h2>\n<\/div>\n<\/div>\n
\n
\n

AdaCore \u7684\u5168\u9762\u00a0\u8f6f\u4ef6\u5f00\u53d1\u5de5\u5177\u5305<\/a>\u00a0\u4e3a Ada\u3001C\/C++ \u548c Rust \u63d0\u4f9b\u7f16\u8bd1\u3001\u9a8c\u8bc1\u548c\u5408\u89c4\u6027\u5de5\u5177\uff0c\u652f\u6301\u4e1a\u5185\u8303\u56f4\u6700\u5e7f\u7684\u76ee\u6807\u5e73\u53f0\uff0c\u6db5\u76d6\u4ece\u5c0f\u578b\u5d4c\u5165\u5f0f\u7cfb\u7edf\u5230\u5b8c\u6574\u7684\u670d\u52a1\u5668\u73af\u5883\u3002<\/p>\n

\"AdaCore<\/picture><\/a><\/p>\n

\u53d1\u5c55<\/h3>\n

\u6240\u6709\u5de5\u5177\u5747\u652f\u6301 DevOps\uff0c\u91c7\u7528\u5de5\u4e1a\u7ea7\u7248\u672c\u7684 GCC \u548c LLVM \u7f16\u8bd1\u5668\uff0c\u5e76\u53ef\u8f7b\u677e\u96c6\u6210\u5230\u73b0\u6210\u7684\u6216\u81ea\u5b9a\u4e49\u7684\u6784\u5efa\u7ba1\u9053\u4e2d\u3002\u8bed\u8a00\u8fd0\u884c\u65f6\u53ef\u6839\u636e\u8d44\u6e90\u5360\u7528\u548c\u8ba4\u8bc1\u6210\u672c\u7684\u9650\u5236\u8fdb\u884c\u5b9a\u5236\u3002<\/p>\n

\u9a8c\u8bc1<\/h3>\n

\u672c\u4ea7\u54c1\u4e3a C\/C++ \u4ee5\u53ca\u6240\u6709\u7248\u672c\u7684 Ada \u63d0\u4f9b\u4e86\u9759\u6001\u5206\u6790\u5de5\u5177\uff0c\u5177\u5907\u8bc6\u522b\u7f3a\u9677\u548c\u68c0\u6d4b\u7f51\u7edc\u5b89\u5168\u6f0f\u6d1e\u7b49\u4e00\u7cfb\u5217\u5173\u952e\u529f\u80fd\u3002\u9488\u5bf9 Ada\u3001C\/C++ \u548c Rust \u7684\u52a8\u6001\u5206\u6790\u529f\u80fd\u5305\u62ec\u5355\u5143\u6d4b\u8bd5\u3001\u6700\u9ad8\u652f\u6301 MC\/DC \u7684\u7ed3\u6784\u5316\u4ee3\u7801\u8986\u76d6\u7387\u5206\u6790\uff0c\u4ee5\u53ca\u4ee3\u7801\u6a21\u7cca\u6d4b\u8bd5\u3002<\/p>\n

\u5408\u89c4<\/h3>\n

AdaCore \u5de5\u5177\u652f\u6301 FACE\uff08\u672a\u6765\u673a\u8f7d\u80fd\u529b\u73af\u5883\uff09\u6807\u51c6\uff0c\u5e76\u7b26\u5408 DO-178 \u8ba4\u8bc1\u7684\u8981\u6c42\u3002\u6240\u6709 AdaCore \u4ea7\u54c1\u7684\u8f6f\u4ef6\u7269\u6599\u6e05\u5355 (SBOM) \u5747\u91c7\u7528\u884c\u4e1a\u6807\u51c6\u7684 SPDX \u683c\u5f0f\u63d0\u4f9b\uff0c\u53ef\u65e0\u7f1d\u96c6\u6210\u5230\u6f0f\u6d1e\u7ba1\u7406\u548c\u62a5\u544a\u7cfb\u7edf\u4e2d\u3002<\/p>\n<\/div>\n<\/div>\n

<\/div>\n
<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n
\n
\n
\n
\n
\n
\n

\u65e0\u4eba\u673a\u822a\u7535\u7cfb\u7edf<\/h2>\n<\/div>\n<\/div>\n
\n
\n

\u65e0\u4eba\u673a\uff08UAV\uff09\u7684\u822a\u7535\u5e73\u53f0\u662f\u590d\u6742\u7684\u7cfb\u7edf\uff0c\u5fc5\u987b\u5904\u7406\u5404\u79cd\u4efb\u52a1\u5173\u952e\u578b\u548c\u8f6f\u4ef6\u9a71\u52a8\u7684\u529f\u80fd\uff0c\u5305\u62ec\u81ea\u52a8\u9a7e\u9a76\u4eea\u3001\u98de\u884c\u63a7\u5236\u3001\u53d1\u52a8\u673a\u548c\u7535\u673a\u63a7\u5236\u3001\u5bfc\u822a\u7b49\u3002 \u8fd9\u4e9b\u7cfb\u7edf\u6838\u5fc3\u7684\u4ee3\u7801\u6781\u6613\u53d7\u5230\u7b2c\u4e09\u65b9\u7f51\u7edc\u653b\u51fb\uff0c\u56e0\u6b64\u9700\u8981\u91c7\u7528\u5f3a\u5065\u7684\u5b89\u5168\u5173\u952e\u578b\u5f00\u53d1\u65b9\u6cd5\u624d\u80fd\u5f97\u5230\u5168\u9762\u4fdd\u62a4\u3002<\/p>\n

\"AdaCore<\/picture><\/a><\/p>\n

AdaCore \u7684\u5de5\u5177\u4f7f\u65e0\u4eba\u673a\u5f00\u53d1\u4eba\u5458\u80fd\u591f\u5bf9\u8f6f\u4ef6\u7684\u5173\u952e\u90e8\u5206\u8fdb\u884c\u6d4b\u8bd5\u3001\u8c03\u8bd5\u3001\u5347\u7ea7\u548c\u91cd\u5199\uff0c\u4ece\u800c\u5f7b\u5e95\u6d88\u9664\u4efb\u4f55\u7f3a\u9677\u6216\u6f0f\u6d1e\u3002\u6b64\u5916\uff0c\u8fd9\u4e9b\u5de5\u5177\u8fd8\u63d0\u4f9b\u4e86\u7b26\u5408 DO-178C \u6807\u51c6\u6240\u9700\u7684\u8ba4\u8bc1\u5e93\u548c\u5408\u683c\u5de5\u5177\uff0c\u4ece\u800c\u7b80\u5316\u4e86\u5de5\u4f5c\u6d41\u7a0b\u5e76\u964d\u4f4e\u4e86\u5f00\u53d1\u6210\u672c\u3002<\/p>\n

\u8fd9\u4e9b\u5148\u8fdb\u7684\u8f6f\u4ef6\u5de5\u5177\u975e\u5e38\u9002\u5408\u7528\u4e8e\u786e\u4fdd\u4e00\u7cfb\u5217\u65e0\u4eba\u673a\u5b50\u7cfb\u7edf\u7684\u53ef\u9760\u6027\uff0c\u5305\u62ec\uff1a<\/p>\n