以下の日程で開催される「第64回宇宙科学技術連合講演会」において弊社とJAXA様連名でDynaSpecを利用した形式検証適用事例を発表します。
本研究は、経済産業省からの委託事業 「宇宙産業技術情報基盤整備研究開発事業(民生部品等を活用した宇宙機器の軌道上等実証)」 の成果です。
第64回宇宙科学技術連合講演会
開催日 2020年10月27日(火)~30日(金)WEB開催
主催 一般社団法人 日本航空宇宙学会
弊社発表セッション
10月28日(水)
OS17 宇宙輸送を⽀える要素技 術の研究開発(3)
2B09 形式検証による⾃律⾶⾏安全システムの安全性検証
10月12日で参加受付は締め切られますが、発表内容にご興味をお持ちの場合は
当サイトの「お問い合わせ」にてご相談下さい。
Comments