【2025年最新版】Space ROS 概要
はじめに 昨年に引き続き、今年もSpace ROSのアドベントカレンダーを実施します！ ※ 昨年のアドベントカレンダーはコチラ ↓ TL;DR Space ROSとは？についてざっくり説明する。...
2
0
Comment0
4 search resultsShowing 1~4 results
Stocked
You need to log-in
【ツール #4】RACS2とBRASHの比較
はじめに こんにちは。 まずはじめに、RACS2を知らない方は、先に以下の記事で RACS2 について簡単に学んだあとに読むことを推奨します。 RACS2 は、ROS2のトピックとcFSのメッセ...
2
0
Comment0
【コア #4】NASAが作った静的解析ツール「IKOS」基本編
はじめに こんにちは。 本記事は、2024年12月のアドベントカレンダー「Space ROS」に投稿された一連の記事の１つです。 今回は、NASAが作った C/C++ の静的解析ツール IKOS...
4
3
Comment0
【コア #5】NASAが作った静的解析ツール「IKOS」実践編
はじめに こんにちは。 本記事は、2024年12月のアドベントカレンダー「Space ROS」に投稿された一連の記事の１つです。 今回は、NASAが作った C/C++ の静的解析ツール IKOS...
2
1
Comment0
4 search resultsShowing 1~4 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles