Erlang言語による組込みソフト・アーキテクチャーの品質向上

摘要

組込みソフトウェアの信頼性やロバスト性は、まずそのアーキテクチャデザインに左右され、次に利用可能なツールに依存する。そこで、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.