| No | 78337 |
|---|---|
| 標題（和） | 動的再構成システムの仕様化とそのシミュレ-タ |
| 標題（英） | Specification of a Dynamically Reconfigurable System and Its Simulator |
| 研究会名（和） | 交換システム; 情報ネットワ-ク; 通信方式 |
| 研究会名（英） | Switching Systems Engineering;Information Networks; Communication Systems |
| 開催年月日 | 1996-09-24 |
| 終了年月日 | 1996-09-25 |
| 会議種別コード | 2 |
| 共催団体名（和） | |
| 資料番号 | SSE96-72 // IN96-56 // CS96-80 |
| 抄録（和） | 計算機ネットワ-クなどの分散並行システムにおいては,リンクを経由してシステム構成要素間で通信が行われ,所望の分散アプリケ-ションが達成される.リンクが静的ではなく,動的に構成・確立されるのであれば,システムは動的再構成システムとして複雑さを呈することになる.本稿では,システム構成要素を有限状態機械の概念でモデル化し,それらが動的にリンクを確立・解消しながら並行実行するような動的再構成システムの形式的仕様化を与える.同時に,作成されたシステム仕様の挙動を確認し,設計の検証を可能とするシミュレ-タの設計と実現について述べる. |
| 抄録（英） | In a distributed concurrent system such as a computer network, the system components communicate with each other via communication links in order to accomplish a desires distributed application. If the links are dynamically established among the components, the system configuration as well as its behavior becomes complex. In this paper, we give formal specification of such a dynamically reconfigurable system in which the components are modeled byFinite State Machines executed concurrently with the communication links which are dynamically esrablished, disconnected. We also present the design and implementation of a simulator that enables execution of the given specification to validate its behavior. |
| 収録資料名（和） | 電子情報通信学会技術研究報告 |
| 収録資料の巻号 | Vol.96 No.251 |
| ページ開始 | 79 |
| ページ終了 | 84 |
| キーワード（和） | シミュレ-タ |
| キーワード（英） | simulator |
| 本文の言語 | JPN |
| 著者（和） | 高橋薫 |
| 著者（ヨミ） | タカハシカオル |
| 著者（英） | Takahashi Kaoru |
| 所属機関（和） | 仙台電波工業高等専門学校 |
| 所属機関（英） | Sendai National College of Technology |
| 著者（和） | 渡部智広 |
| 著者（ヨミ） | ワタベトモヒロ |
| 著者（英） | Watabe Tomohiro |
| 所属機関（和） | 仙台電波工業高等専門学校 |
| 所属機関（英） | Sendai National College of Technology |
| 著者（和） | 関利美 |
| 著者（ヨミ） | セキトシミ |
| 著者（英） | Seki Toshimi |
| 所属機関（和） | 仙台電波工業高等専門学校 |
| 所属機関（英） | Sendai National College of Technology |
| 著者（和） | 佐藤明日香 |
| 著者（ヨミ） | サトウアスカ |
| 著者（英） | Sato Asuka |
| 所属機関（和） | 仙台電波工業高等専門学校 |
| 所属機関（英） | Sendai National College of Technology |