今回のテーマは「CSPモデルの組み込みシステムへの応用」であります。
XMOSチップを使ったイベント駆動型プログラミングは組み込みシステムに大きなインパクトを与えます。
低消費電力だけでなく並列処理、割り込み処理が簡単にする事ができます。
ケース・スタディとしてライン・トレース・カーへの評価をご紹介いたします。
更に形式手法、検証ツール等の話題についても用意しております。
【詳細はこちらから】

平成17年1月20日
CSP(Communicating Sequential Process)は、1979年Oxford大学のHoare教授によって考案されたプロセス代数です。以来25年以上、大学や産業界から大きな評価を得て発展してきました。CSPモデルは、occamと呼ばれる言語に具現化され、従来プロセス指向だけが対象でした。しかし現在では、オブジェクト指向と融合し、Java,やC++にライブラリーとして供給され(JCSP,C++CSP)、高性能なシステムの実現だけでなく、安全なシステムが構築できるようになりました。従来Transputerと呼ばれたマイクロプロセッサー上でしか動作しなかった並列処理言語occam(KRoC)は、現在Linuxマシン上でも実行可能となり、アプリケーションをネットワーク上で高速に並列処理できるようになりました。