文献

J-GLOBAL ID：201702253194375192   整理番号：17A0115469

ZipPath:ZIPCにおけるHSTM設計のための簡単で有効なパスファインダー【Powered by NICT】

ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC

著者 (8件)： Kong Weiqiang ,  Hou Gang ,  Hu Xiangpei ,  Arimoto Yasuhito ,  Watanabe Masahiko ,  Ando Takahiro ,  Hisazumi Kenji ,  Fukuda Akira
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ICA  ページ： 154-157  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： スマート移動度プラットフォームの機能的正しさの保証信頼性と安全性を向上させるための重要なタスクである。階層的状態遷移行列(HSTM)は一般的なソフトウェア設計言語,スマートなモビリティプラットフォームの基本ソフトウェアを設計するために用いることができる。複雑な階層構造を持つHSTM設計を行うには,可変の参照に変数の初めて値変化からもたらす,経路はHSTM設計者が容易に理解できるかどうかはしばしば有用である。本論文では,ZipPathと呼ばれる自動工具,HSTM設計の,最も短いものを含む,そのような経路を出力することができるを提案した。走行例ZipPathの有効性を調べた。単純であるが,ZipPathは実質的に正しいHSTM設計を開発するために設計者に役立つ可能性がある。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *状態推移行列 ,  階層構造 ,  移動度 ,  ソフトウェア設計 ,  走行 ,  信頼性 ,  言語 ,  安全性 ,  システムプログラム

分類 (2件)： ロボットの運動・制御  (IC04012J) ,  人間機械系  (IB03000G)

タイトルに関連する用語 (2件)： 設計 ,  パスファインダー