| 講演名 | 2008-01-28 Erlang言語による組込みソフト・アーキテクチャーの品質向上(一般,コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会) 橋詰 賢二, マルコン シャンドル, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 組込みソフトウェアの信頼性やロバスト性は、まずそのアーキテクチャデザインに左右され、次に利用可能なツールに依存する。そこで、Erlang言語の構造がコンカレントなプログラムの実行をより単純なものにし、ソフトウェアの品質向上に寄与する、という仮説をたてテストを行った。テストにおいては、エレベーターの小型実験装置を製作し、シーケンシャル、コンカレント、2つの組込み制御システムにおけるエラー回復動作を比較した。本テストの結果は、Elrang言語が組込みソフトウェアの品質向上に寄与し得るという考えを裏付けるものとなっている。 |
| 抄録(英) | The reliability and robustness of embedded software depends to a large extent on the architectural design, which in turn depends on the available tools. We have tested the hypothesis that the language constructs of the Erlang language may help to improve the software quality by allowing the easy implementation of a concurrent architecture. We have built a small-scale elevator model and compared the error recovery behavior of sequential and concurrent embedded control systems. The results support the claim that using Erlang can improve embedded software quality. |
| キーワード(和) | 組込みソフトウェア / Erlang言語 / コンカレント / エレベーター |
| キーワード(英) | Embedded software / Erlang language / concurrent architecture / elevators |
| 資料番号 | CST2007-45 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2008/1/21(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | Erlang言語による組込みソフト・アーキテクチャーの品質向上(一般,コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会) |
| サブタイトル（和） | |
| タイトル（英） | Improvement of Embedded Software Architecture using Erlang Language |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 組込みソフトウェア / Embedded software |
| キーワード(2)（和/英） | Erlang言語 / Erlang language |
| キーワード(3)（和/英） | コンカレント / concurrent architecture |
| キーワード(4)（和/英） | エレベーター / elevators |
| 第 1 著者 氏名（和/英） | 橋詰 賢二 / Kenji HASHIZUME |
| 第 1 著者 所属（和/英） | 神戸情報大学院大学情報技術研究科 Kobe Institute of Computing |
| 第 2 著者 氏名（和/英） | マルコン シャンドル / Sandor MARKON |
| 第 2 著者 所属（和/英） | 神戸情報大学院大学情報技術研究科 Kobe Institute of Computing |
| 発表年月日 | 2008-01-28 |
| 資料番号 | CST2007-45 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | 471 |
| ページ範囲 | pp.- |
| ページ数 | 4 |
| 発行日 | |