Ada Core Technologies Inc.【プレスリリース】 by PR TIMES https://prtimes.jp info@prtimes.jp Copyright (c) PR TIMES Inc. All Rights Reserved. 2024-02-01T10:40:24+09:00 ja-JPPR TIMES｜Ada Core Technologies Inc.のプレスリリース・ニュースリリース。 株式会社IHIが自動運転トラックのシステム・ソフトウェア開発にAdaCoreの「QGen」モデルベース・エンジニアリング・ツールスイートを採用 https://prtimes.jp/main/html/rd/p/000000005.000031021.html [Ada Core Technologies Inc.] [画像1: https://prtimes.jp/i/31021/5/resize/d31021-5-235fa58cd8c86352cc52-3.jpg ] AdaCore（エイダコア、本社　米国ニューヨーク州）は、本日、株式会社IHI（以下IHI）が、自動運転トラックシステムの開... Ada Core Technologies Inc. 企業・官公庁・団体 2021-12-13T11:00:07+09:00 2021-12-13 Collins Aerospaceがモデルベース開発を効率化するためにAdaCore QGenコード・ジェネレータを採用 https://prtimes.jp/main/html/rd/p/000000004.000031021.html [Ada Core Technologies Inc.] [画像: https://prtimes.jp/i/31021/4/resize/d31021-4-b47e526f7bab8e606f69-0.jpg ] 2021年7月20日 - AdaCore　（エイダコア、本社：米国ニューヨーク州）ソフトウェア開発検証ツールプロバイダは、本日、Col... Ada Core Technologies Inc. 企業・官公庁・団体 2021-07-21T11:00:08+09:00 2021-07-21 【開発者必見】ソフトウェアの信頼性を向上させる形式検証手法を用いたJTEKT社の電動パワステへの形式検証SPARK Pro応用事例紹介ウェビナー開催 https://prtimes.jp/main/html/rd/p/000000003.000031021.html [Ada Core Technologies Inc.] [画像1: https://prtimes.jp/i/31021/3/resize/d31021-3-125733-0.png ] 自動運転技術の導入が進む自動車に搭載されるソフトウェアは増大の一途をたどっており、加えてより高い安全性、信頼性の確保が要求され... Ada Core Technologies Inc. 企業・官公庁・団体 2021-06-02T11:10:01+09:00 2021-06-02 株式会社ジェイテクト、電動パワーステアリング・システム・サプライヤーが安全性重視の自動車用ソフトウェア開発にSPARK Proを採用 https://prtimes.jp/main/html/rd/p/000000002.000031021.html [Ada Core Technologies Inc.]   [画像1: https://prtimes.jp/i/31021/2/resize/d31021-2-142537-0.png ] AdaCore（エイダコア、本社：米国ニューヨーク州）は本日、株式会社ジェイテクト（以下JTEKT）、自動車用電動パワーステアリ... Ada Core Technologies Inc. 企業・官公庁・団体 2020-06-24T10:02:38+09:00 2020-06-24 株式会社デンソーが長崎県立大学との自動車関連の研究プロジェクトでAdaCore社SPARKを採用 https://prtimes.jp/main/html/rd/p/000000001.000031021.html [Ada Core Technologies Inc.]   AdaCore（エイダコア、本社：米国ニューヨーク州）は本日、株式会社デンソー（以下デンソー）向け研究プロジェクト「Freedom from Interference（以下FFI）を実証するためフォーマルメソッドの適用」が... Ada Core Technologies Inc. 企業・官公庁・団体 2018-01-15T11:00:49+09:00 2018-01-15