PRINCIPIA
ProductsDocumentationsAbout Us

プログラムの正当性検査ツール SSG

SSG はプログラムの正しさを検査するツールです.マルチコアやクラウドのパワーを活用して大規模な検査を並列に実行することができます.テストでは発見することのできない問題を確実に発見することができます.詳細につきましてはこちらをご覧ください.

C/C++ 言語用 CSP 通信ライブラリMCCSP

MCCSPは C/C++ 言語用の CSP 通信ライブラリです.MCCSP を使うと,SyncStitch や SSG で検査した設計モデルを CSP スタイルのままで実装することができます.これにより実装時のバグ混入の可能性を減らすことができます.モデルとソースコードの構成が同じになるので,メンテナンスも容易になります.

MCCSPはとてもシンプルなインターフェイスから構成されており,既存システムのスレッド設計やクラス設計に大きな変更を加えることなく導入することができます.一般のクラスライブラリにありがちな,クラス階層の押し付け問題はありません.

MCCSPは組み込みロイヤリティフリーです.さらにソースコードが付属しますので,ターゲットシステムに合わせて変更してお使いいただけます.詳細につきましてはこちらをご覧ください.

並行システムの設計 トレーニングプログラム

並行システムのモデル化・検査ツール SyncStitch を使った並行システムの設計 トレーニングプログラムを提供しています.詳細についてはこちらのページをご覧ください.

現在,トレーニング資料を全公開しています.トレーニングプログラム受講の判断材料としてご活用ください.

SyncStitch: 並行システムのモデル化・検査ツール

SyncStitch はソフトウェアシステムの動作に関する設計を支援するツールです.SyncStitch を使うと、開発の対象であるシステムやその構成要素であるコンポーネントの動作をモデル化し、期待通りに動くかどうか検査することができます.

詳細についてはこちらのページをご覧ください.

News

2017/07/01 プログラムの正当性検査ツール SSG リリース
2017/07/01 C/C++ 言語用 CSP 通信ライブラリ MCCSP リリース
2016/11/26 並行システムの理論 CSP における重要な定理の1つである,トレースに基づく表示的意味論と操作的意味論の等価性について,定理証明支援器 Isabelle/HOL を使って形式的証明を行うことに成功しました.この証明について 2016年11月26日に東洋大学で行われた第18回 CSP 研究会において報告しました.証明の概要はこちらにあります.
2016/11/19 2016年11月19日に永和システムマネジメント様のコワーキングスペースで行われた静的コード解析の会 第0回において,「並行システムの理論 CSP の紹介」 というタイトルで話をさせていただきました.資料はこちらにあります.
2015/11/22 2015年11月21日に東洋大学で行われた第16回 CSP 研究会において,"A Reduced Modeling Language and Its Processing for Efficient CSP Refinement Checking" というタイトルで話をさせていただきました.資料はこちらにあります.
2015/10/10 並行システムの設計 トレーニングプログラムの提供を開始いたしました.詳細につきましてはこちらのページをご覧ください.
2015/9/30 Lisp Meet Up presented by Shibuya.lisp #32 において,SyncStitch の実装で使われている並行プログラミング言語と,それで記述した並行ウィンドウシステムについて紹介させていただきました.発表資料はこちらにあります.
2015/6/6 2015年6月6日に東洋大学で行われた第15回 CSP 研究会において,"Libraries for Concurrent Programming in C based on CSP" というタイトルで話をさせていただきました.資料はこちらにあります.
2015/04/18 SyncStitch version 1.2.0 をリリースしました.
2014/11/30 2014年11月29日に東洋大学で行われた第14回 CSP 研究会において,"Parallel and On-the-fly CSP Refinement Checking" というタイトルで話をさせていただきました.資料はこちらにあります.
2013/12/26 スマートニュース株式会社さんのご好意により,会議室をお借りして,「並行システムの設計と検証」について再度お話をさせていただきました.
2013/11/27 「並行システムの設計と検証」というテーマで話をさせていただく機会がありました.そのときの資料をSyncStitch 文書のページに置きました.
2013/09/04 SyncStitch version 1.1.1 をリリースしました.
2013/08/26 SyncStitch version 1.1.0 をリリースしました.
2013/07/29 SyncStitch 開発者 blog "Think Stitch" をはじめました.
2013/07/23 並行システムのモデル化・検査ツール SyncStitch リリース
© 2013-2017 PRINCIPIA Limited