営業品目

4Links商品

        1355 Routine Switch
　　　- 8 ポート
       - 400Mbps（全二重）
       - Cascade接続可能
       - 非圧縮で画像伝送可
       - CCIR601インターフェース
   拡大可                - Closネットワーク可能

JCSP, C++CSP, occam-Pi, Tranterpreterは全てオープンソースです。　　　

JCSPは　　　        http://www.jcsp.org/
C++CSP は　       http://www.twistedsquare.com/cppcsp/
occam-Pi は         http://www.cs.kent.ac.uk/projects/ofa/kroc/
Transterpreterは    http://www.transterpreter.org/wiki/Main_Page

にあります。

これらのプログラミング言語を用いた社内研修教育、システム開発を行っています。
詳細は以下をご覧下さい。

高度組込みシステム向けスペシャル技術者養成コースのご案内

高度組込みシステム技術者教育プログラムはソフトウェア工学の体系に基づいて作成されています。教育手法は主として欧米の大学のコンピュータ科学科に於いて採用されている方法であります。これらのコースの目的はモデル検証の基づく設計方法とそのプログラミング技法を習得する事で、高度で安全なシステム設計ができる一流技術者の育成にあります。

国内でもこれらの教育プログラムはいくつかの情報工学/科学系の大学院、企業、各種セミナーでも実施されています。この教育内容はSWEBOKのガイドラインに準拠するもので、IPAが提案しています情報教育レのITSS, ETSSを強化する事ができます。

仕様記述言語Z、プロセス代数の理論、モデル検証方法、そして実装のためのプログラミング言語(occam-π/JCSP/C++CSP/CIF)を学ぶことで、上位設計から実装まで一貫した設計方法を採用する事ができます。今後いくつかの組み込みボードにも対応する予定です。

セミナーの値段は基本的に一人当たりの価格となります。参加人数に従って、値段を下げることは可能です。

初心者がCSPプログラミングモデル全体を把握するためにJCSP/C++CSPの基礎コースであっても他のコースの内容の一部をブレンドする事 は可能です。ご予算に合わせて、内容、日程の吟味も可能であります。