システム検証
- Verification -


弊社ではこれらの検証を行っております。

ソフトウェア検証

静的検証 ◇プログラム解析
◇マイコン置換え
◇システム試験 
コードレビュー・コードインスペクションなど静的コード解析によりプログラムの 競合状態やメモリリーク・バッファオーバーフローなどの検証をおこないます。 さらにアセンブラレベルでの処理速度調査および、処理速度向上提案なども行っております。 また、マイコンの載せ換えによる整合性の検証もおこなっております。 (スタック調査、メモリ調査、処理速度調査、コンパイラの整合性調査)など
動的検証 ◇動作検証  
◇システム評価
実機または治具を使った第三者検証はもとより、不具合の原因調査および対策に対する 検証もおこなっております。 またチェッカー製作から自動評価まで、幅広い検証をおこなっております。

ハードウェア検証

EMC試験
Emission 開発した電気機器が動作する事によって他の機器の動作を阻害したり人体に影響を与える 一定レベル以上の干渉源となる電磁阻害の測定をおこないます。 (機器から放出される放射性阻害ノイズ試験、電源ライン等から放出される伝導性阻害ノイズ試験)
Immunity 外部からの電磁波や静電気等により、開発した電気機器の動作の阻害状況を検証する試験です。
EMC対策 回路パターン調査 回路のノイズ源の調査およびノイズ対策などをおこないます。
自動評価 チェッカー 開発回路の動作自動検証をおこなうための検査機作製もおこなっております。