以下の発表を行いました.

会議EuroSPI 2024 (Munich)
発表日2024年09月06日
タイトル Autonomous Vehicles and Ethics: Logical Hierarchy and N-Dimensional Model
2024年10月02日

記事掲載

IT Access さまのサイトで,Ada/SPARCに関する文章を掲載していただきました
2024年08月01日

以下の発表を行いました.

会議2024年 自動車技術会・春季大会(横浜)
発表日2024年05月24日
タイトル 倫理の三階層: 自律走行車において倫理を考慮するために
2024年05月27日

以下の発表を行いました.

会議第9回 オートモーティブ・ソフトウェア・フロンティア 2024
発表日2024年02月20日
タイトル 自律走行車開発における論理的配慮の方法について
2024年02月21日

Cyclo.Req V1.3.4 リリース

Cyclo.Req V1.3.4 をリリースしました.
2024年01月10日

以下の発表を行いました.

会議FAST-zero 2023 (金沢)
発表日2023年11月10日
タイトル The Autonomous Vehicle in Society from the Viewpoint of Ethics
2023年11月17日

以下の発表を行いました.

会議自動車技術会秋季大会(名古屋)
発表日2023年10月11日
タイトル Interaction and Decisions in Autonomous Vehicles ~ From a safety and ethical perspective ~
2023年11月17日

以下の発表を行いました.

会議2023年 自動車技術会・春季大会
発表日2023年5月24日
タイトル 自律走行車と法律
2023年5月25日

講演を行います

2023 年 2 月 1 日 弊社伊藤が,以下の題名で,講演をいたします.
題名「生活世界における自律走行車と倫理」(A1-2)
会名 オートモーティブ・ソフトウェア・フロンティア 2023
2022年12月22日

Cyclo V2 リリース

Cyclo V2 をリリースしました.(詳細)
2022年10月31日

以下の発表を行いました

会議自動車技術会秋季大会
発表日2022年10月14日
タイトル 自動走行車における倫理について
2022年10月14日

xDTS V4.6.1リリース

xDTS V4.6.1 をリリースしました.操作性を向上しています.(詳細)
2022年4月28日

以下の発表を行いました.

会議第7回 オートモーティブ・ソフトウェア・フロンティア 2022
発表日2022年2月25日
タイトル 自律走行車と開発プロセス - AI 組込の観点から -
2022年2月25日

Log4j の脆弱性の弊社製品への影響について

弊社製品は,Log4J が持つ脆弱性(CVE-2021-44228)に関し,問題がないことを確認しています.
2022年1月1日

xDTS V4.6リリース

xDTS V4.6 をリリースしました.レポートに時間概念を導入しています(概要).
2021年11月25日

営業時間変更

新型コロナウイルスの感染拡大に伴い,当面の間,営業時間を縮小します.弊社へのご連絡は,基本的にメールにてお願い致します.
2020年4月13日

xDTS V4.5.2iリリース

xDTS V4.5.2i をリリースしました.
2019年12月19日

以下の発表を行いました.

会議機能安全カンファレンス 2019
発表日2019年12月5日
タイトル テストに依存しない, ソフトウェア欠陥を防ぐ効果的・効率的な形式検証の始め方 ~ SPARK を用いて ~
2019年12月06日

xDTS V4.5.2fリリース

xDTS V4.5.2f をリリースしました.
2019年10月04日

Cyclo.Req 1.2 リリース

Cyclo.Req V1.2 をリリースしました.使いやすさが向上しています.
2019年01月18日

Cyclo.Req プレスリリース

Cyclo.Reqのプレスリリースを行いました.
2018年05月29日

Cyclo.Req リリース

要求検査ツール Cyclo.Req を 6 月 1 日に発売開始します.
2018年05月22日

Cyclo V1.0.1リリース

Cyclo V1.0.1 をリリースしました.
2018年02月22日

xDTS V4.5.1リリース

xDTS V.4.5.1 をリリースしました.
2018年01月29日

弊社伊藤が,以下の展示をしました.

会名HINOKI ANNUAL 2018
期間2017年12月18日 - 12月23日
場所ギャラリー檜 e
タイトルLe cerveau creux
2017年12月25日

年末年始休業のお知らせ

2017年12月30日(土) ~ 2018年1月4日(木)は年末年始休業となります.
2017年12月22日

以下の発表を行いました.

会議The 13th NTCIR Conference
発表日2017年12月7日
タイトルNIL: Using scoring to analyse the ambiguous messages on the NTCIR-13
2017年12月7日

ツールデモ

アイティアクセスさまの展示ブースをお借りして,弊社要求文書解析ツール Cyclo.Req のデモを行いました.
場所第五回自動車機能安全カンファレンス
日時2017年12月5日, 6日
2017年12月7日

xDTS V4.5リリース

xDTS V4.5 をリリースしました.
詳細 »
2017年11月20日

弊社伊藤が,以下の展覧会を開きました.

会名CrazyDuo 逃走線をめぐる断想
発表日2017年10月30日 - 11月04日
場所ギャラリー檜 B
内容LiDAR を用いた参加型展示他
2017年11月13日

以下の発表資料を掲載しました.

会議自動車技術会秋季大会
発表日2017年10月11日
タイトルモデルを用いたシステムの自然言語要求仕様書の品質向上(第 2 報)
2017年10月12日

以下の発表資料を掲載しました.

会議FAST-zero'17
発表日2017年09月20日
タイトルDESH-G Model and Preliminary Architecture for Multiple ADAS Systems
2017年09月25日

以下の発表資料を掲載しました.

会議EuroSPI 2017
発表日2017年09月07日
タイトルAn Approach for Data Security in the Era of Industry 4.0
2017年09月12日

xDTS V4.4.3.2リリース

xDTS V4.4.3.2 をリリースしました.
2017年05月15日
詳細 »

SPARK ja #2

AdaCore社の「SPARK ユーザガイド」のコア部分を日本語に訳しています. AdaCore 社のTechnical Papersから入手できます.

2017年3月13日

Cyclo 【新製品】 リリース

3月末にメトリクス取得ツール Cyclo(シクロ) をリリースします.
2017年3月10日
詳細 »

SPARK ja #1

AdaCore社の「SPARK 2014 概要」の日本語訳を作成しています.

2016年12月26日

発表

以下の発表資料を掲載しました.

会議自動車技術会 2016年秋季大会
発表日2016年10月21日(金)
タイトル自動車安全のためのHMI概念モデル:DESH-G

2016年10月24日

xDTS V4.4.3 リリース

xDTS V4.4.3 をリリースしました.

2016年09月05日
詳細 »

xDTS V4.4.2 リリース

xDTS V4.4.2 をリリースしました.

2016年08月03日
詳細 »

パートナー契約

AdaCore社とパートナー契約を締結しました.SPARK を用いた新しいツールを近日中に発表予定です.

2016年06月16日

論文発表

2016年06月10日に国立情報学研究所で開催されたNTCIR 12 において,論文発表, ポスタ・ツール展示 を行いました.

2016年06月13日

シンポジウムにて発表

2月2日~2月4日に英国で行われたシンポジウム「Safety-critical Systems Symposium 2016」にて,弊社CEOの伊藤が発表しました. 発表で使用した資料を公開します.

2016年02月08日

xDTS V4.4.0 リリース

xDTS V4.4.0 をリリースしました.

2015年08月13日
詳細 »

ソフトウェア開発環境展(SODEC)

東京ビックサイトにて開催された第24回ソフトウェア開発環境展(SODEC)に出展しました.

2015年05月18日
詳細 »

論文

弊社CEOの伊藤が投稿した論文【概念段階におけるハザード・脅威の識別手法】が掲載された「SEC journal第40号」が公開されています.
SEC Journal公式ページからダウンロードできます.

2015年04月02日

xDTS V4.3.0 リリース

xDTS V4.3.0 をリリースしました.

2015年03月09日
詳細 »

ソフトウェア開発環境展(SODEC)

東京ビックサイトにて開催される第24回ソフトウェア開発環境展(SODEC)に出展します.

2015年03月23日
詳細 »

メンテナンス工事のお知らせ

2014年12月13日(土),2014年12月15日(月)に電話,ネットーワーク工事を行います.

2014年12月10日
詳細 »

xDTS V4.2.1 リリース

xDTS V4.2.1 をリリースしました.

2014年09月24日
詳細 »

xDTS V4.2 リリース

セキュリティのための監査証跡記録・表示を強化した xDTS V4.2 をリリースしました.

2014年08月20日
詳細 »

Nirvana V4.3.2 リリース

Nirvana V4.3.2 をリリースいたしました.

2014年07月23日
詳細 »

Automotive SPICEテンプレート

弊社プロジェクト支援ツール xDTS でご利用いただける A-SPICE テンプレートをリリース予定です.

2014年05月23日
詳細 »

xDTS V4.1 リリース

プロジェクト計画とスケジュール管理を追加した xDTS V4.1 をリリースしました.

2014年07月07日
詳細 »

Nirvana V4.3 リリース

Nirvana V4.3 をリリースいたしました.

2014年05月27日
詳細 »

ソフトウェア開発環境展(SODEC)

東京ビックサイトにて開催された2014年ソフトウェア開発環境展(SODEC)に出展いたしました.

2014年05月20日
詳細 »

コネクティッド・カーEXPO

東京ビックサイトにて開催されたオートモーティブ ワールド 2014/コネクティッド・カーEXPO(運転支援/自動走行ゾーン)に出展いたしました.

2014年01月31日
詳細 »

xDTS V4 発売

モバイルデバイスに対応し更なるナビゲーションの洗練をさせた xDTS V4 を発売いたしました.

2013年12月09日
詳細 »