TOP
お知らせ
会社案内
ご挨拶
会社概要
企業理念
製品・サービス
採用情報
お問い合わせ
本サイトのご利用にあたって
個人情報保護方針
特定個人情報の適正な取扱いに関する基本方針
情報セキュリティ基本方針
Ada Coreについて
Top
製品・サービス
先端設計開発環境サービス
Adacoreについて
製品一覧
ブログ・ケーススタディ
お知らせ・プレス
リンク集
P
RODUCT LIST
製品一覧
GNAT Pro for Rust
統合開発環境 Ada/C/C++/Rustコンパイラ
GNAT PRO Assurance
認証取得対応
統合開発環境 Ada / C / C++ コンパイラ
GNAT PRO Enterprise
産業機器対応
統合開発環境 Ada / C / C++ コンパイラ
SPARK Pro
形式検証
形式検証/静的解析ツール
GNAT PRO
ツール
統合開発環境 Ada / C / C++ コンパイラ
GNATcoverage
カバレッジ
形式検証/静的解析ツール
DO-178C
EN50128
IEC61508
ISO26262
認証取得
CODEPEER
静的検証
形式検証/静的解析ツール
B
LOG
ブログ・ケーススタディ
2025.11.05
自動車の機能安全を実現するための形式手法への取り組み
TechPaper
2025.11.05
NSAとCISAが、AdaとRustをメモリ安全言語として推奨
ブログ
2025.09.09
ミッションクリティカルシステムにおけるRustのメモリ管理
TechPaper
2025.05.12
Ada、SPARK、Rust言語の メモリ安全性
TechPaper
2025.03.27
DO-178C ソフトウェア・レビュー
ブログ
2025.02.12
プログラミング言語C/C++、Ada、SPARK、Rustの選択に関して
ブログ
2025.01.29
AdaCore + アビオニクス
製品カタログ
2024.12.17
DO-178Cとは?
コラム
2024.10.24
ED-203A / DO-356A セキュリティ反証(Refutation)オブジェクティブに関するガイドラインと考慮事項
ケーススタディ
2024.10.01
そのプログラム、正しく書けている?「形式検証」入門:第三回 SPARK
コラム
連載コラム
ブログ・ケーススタディ一覧を見る
N
EWS
お知らせ・プレス
2025.07.08
Ada/SPARK言語がNVIDIAと連携し、自動車向けISO 26262市場に参入
プレス
2025.04.22
人とくるまのテクノロジー展 2025 YOKOHAMA 出展のご案内
お知らせ
2024.12.19
AdaCore、Rustコンパイラの初認定を発表しました
プレス
2024.10.02
2024国際航空宇宙展 出展のご案内
お知らせ
2024.05.08
人とくるまのテクノロジー展 2024 YOKOHAMA – 5/22-5/24 出展のご案内
お知らせ
お知らせ一覧を見る
L
INKS
リンク集
AdaCore社はNVIDIA社と共同でファームウエアのセキュリティを強化
モデルレベルデバッグ手法の紹介
自動運転向け安全制御ならびに監視ソフトウエアの開発に関して
Systems-to-software integrity(SSI):要求仕様をコードまで継承する手法のご紹介
AdaCore社のWEBページ
AdaCore 資料(資料トップ)
書籍関連
AdaCore 資料(日本語資料)
AdaCore ブログ(ブログトップ)
CONTACT
まずはお気軽に
お問い合わせください!
お電話での
お問い合わせはこちら
045-474-9095
フォームでの
お問い合わせはこちら
PAGE TOP