WEKO3
-
RootNode
アイテム
宇宙用途のFPGA外部インタフェース回路開発に対するモデル検査適用
https://ipsj.ixsq.nii.ac.jp/records/193862
https://ipsj.ixsq.nii.ac.jp/records/193862ae3e4d9a-ab36-4386-ae11-81a75ac9d649
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-WWS2019003.pdf (391.9 kB)
|
Copyright (c) 2019 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2019-01-17 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | 宇宙用途のFPGA外部インタフェース回路開発に対するモデル検査適用 | |||||||||||||
| タイトル | ||||||||||||||
| 言語 | en | |||||||||||||
| タイトル | Application of model checking to FPGA external interface circuit development for space application | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | 形式手法 －実システムへの導入を成功させるために－ | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 国立研究開発法人宇宙航空研究開発機構 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 国立研究開発法人宇宙航空研究開発機構 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 国立研究開発法人宇宙航空研究開発機構 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 国立研究開発法人宇宙航空研究開発機構 | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Japan Aerospace Exploration Agency (JAXA) | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Japan Aerospace Exploration Agency (JAXA) | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Japan Aerospace Exploration Agency (JAXA) | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Japan Aerospace Exploration Agency (JAXA) | ||||||||||||||
| 著者名 |
倉林, 翔
× 倉林, 翔
× 梅田, 浩貴
× 石垣, 雄基
× 植田, 泰士
|
|||||||||||||
| 著者名(英) |
Sho, Kurahayashi
× Sho, Kurahayashi
× Hiroki, Umeda
× Yuuki, Ishigaki
× Yasushi, Ueda
|
|||||||||||||
| 論文抄録 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | 本稿では，宇宙用途の FPGA 外部インタフェース回路開発に対するモデル検査適用課題の対策を立て，その対策を基に開発したツールを示す． | |||||||||||||
| 論文抄録(英) | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | In this paper, we set up countermeasures for model inspection application tasks for the development of FPGA external interface circuit for space application, and show the tools developed based on the countermeasure. | |||||||||||||
| 書誌情報 |
ウィンターワークショップ2019・イン・福島飯坂 論文集 巻 2019, p. 5-6, 発行日 2019-01-17 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
