ケーススタディ

● 軽戦闘機のためのミッションコンピューターソフトウェア。DOD2167A標準における設計と開発に携わっている。
● 操縦系統の独立検証。
● 早期警戒機レーダーにおけるDO-178B認証。ソフトウェアライフサイクル成果物を生成している。
● 管理レーダーにおけるDO-178B認証。ソフトウェアライフサイクル成果物を生成している。
● SAR(捜索救難)合成開口レーダーにおけるDO-178B認証。ソフトウェアライフサイクル成果物を生成している。
● 人工衛星リモートセンシングのコードウォークスルー。
● スターセンサーシステムのコードウォークスルー。
● 姿勢および軌道制御システムのコードウォークスルー。
● 3次元レーダーにおけるIEEE12207標準に準拠してソフトウェアライフサイクル成果物を生成している。
● 慣性航法装置に基づくRLG(リングレージャイロ)におけるIEEE12207標準に準拠してソフトウェアライフサイクル成果物を生成している。
● MIG-27の電子機器におけるIEEE12207標準に準拠してソフトウェアライフサイクル成果物を生成している。
● 生物医学データにおけるデータ収集システムの設計と開発。
● レーダーフレームワークにおけるIEEE12207標準に準拠してソフトウェアライフサイクル成果物を生成している。