本文へスキップ

スタビリティ株式会社は様々なITサービスを提供するテクノロジーカンパニーです。

TEL. 0120-725-710

サービス/製品一覧SERVICE&PRODUCTS

サービス一覧

エンベッデッドシステムビジネスユニット Embedded System BU

仕様レベルの設計から論理設計及び検証、製造まで、エンベデッドシステム及びプロトタイプシステムに関わるハードウェア/ソフトウェアの設計サービスを行っています。
  ■組み込みシステム開発支援
  ■アルゴリズム設計(C/C++, SystemC, UML)
  ■LSI開発、FPGA開発(HDL, SystemC)
  ■システム設計・検証
  ■LSIレイアウト設計・検証
  ■シミュレーション環境構築( C/C++, SystemC, HDL)
  ■プリント基板設計、製造
  ■各種ファームウェア及びドライバー開発

オープンシステムビジネスユニット Open System BU

様々なソフトウェア開発で蓄積したコンポーネントや開発ツールの豊富な知識やノウハウをベースに、問題解決に最適なご提案を実行いたします。
経験豊富なエンジニアにより、ネットワークサーバ管理、社内ヘルプデスク等の、構築・運営・管理を行っております。
PCの新規/入替に伴うネットワーク設計構築設置まで、全国規模での展開作業を承ります。
  ■業務系システム開発(C/C++, COBOL, etc)
  ■ネットワーク構築、管理、サーバ管理、ヘルプデスク
  ■Webシステム開発、ホームページ作成
  ■Peal/CGI開発
  ■Flash/Javaアプリ開発

EVTools ビジネスユニット Embedded Validation Tools BU

ソリューションおよびコンサル活動の実績により、組込みシステム開発現場での品質向上および効率向上に即効力のある検証ツール群の企画・開発・販売を行います。

  ■ソリューション&コンサルティング
  ■検証ツール開発・販売
  ■検証ツール受託開発・カスタマイズ

製品紹介

Proofsイメージ

制御構造フロー自動生成ツール『Proofs』PROfessional Objective Figure System

制御構造フロー自動生成ツール『Proofs』は、設計者の方々の声を基に、実作業の経験を活かして開発したツールです。
本ツールは面倒な設定をする事なく、入力したCソースコードから即時にソースコードを可視化する事が出来ます。
また、現状の開発プロセスを再構築する必要も無く、ソースコードの構造を『確認したい』時に『知りたい部分』だけを可視化して、確認する事が出来ます。

組込みシステム開発時、こんな事で困った事はないですか?

 ・ソースコードが複雑すぎて解らない
 ・納品時に容易に受入れの確認がしたい
 ・ソースコードレビューの資料が欲しい
 ・ソースコードの劣化度を知りたい
 ・追加・変更の影響範囲を知りたい・・・等々

このツールを使う事で・・・

 ・各設計仕様書通りにソースコードが正しく作られているかの確認をする事が可能
 ・各設計仕様書の補足、レビュー、デバック時に使用する事が可能
 ・不具合解析や情報展開に使用する事が可能
 ・ソースコードを変更した際に変更した箇所がどの部分に影響しているかを容易に把握する事が可能
 ・受入れチェック時の証拠資料として使用する事が可能

EVTools その他の開発ツール一覧

SVG Specification with C-source automatic Verification tool
ソフトウェアユニット設計仕様書とCソースコード自動検証
SAG Specification automatic Generation tool
Cソースコードからソフトウェアユニット設計仕様書を自動出力 
CAG C-source Automatic Generation tool
ソフトウェアユニット設計仕様書からCソースコードを自動出力 


バナースペース

スタビリティ株式会社

〒231-0004
神奈川県横浜市中区
    元浜町三丁目21番2号
    ヘリオス関内ビルB1

TEL 0120-725-710
FAX 0120-724-701