MathWorks、Simulink Code InspectorのDO-178認証対応を強化

この記事をtweetする このエントリーをはてなブックマークに追加


MathWorks、Simulink Code InspectorのDO-178認証対応を強化


掲載日:2011/09/12


News

 MathWorksは、Simulinkモデルから生成したソースコードのレビューを簡素化する「Simulink Code Inspector」の提供を開始した。価格は165万円から。

 「Simulink Code Inspector」は、航空宇宙関連のエンジニアが、DO-178B Table A-5に規定されているソースコードの検証とトレーサビリティに関する目標を達成するために、モデルからコード、コードからモデルの詳細な検査レポートを作成できる。自動化されたプロセスを使用して、生成されたコードの構造がモデルに対して検証され、モデルで使用されているブロック、パラメーター、設定を生成されたコードの演算、演算子、データと体系的に比較して、構造的に等しいことを確認する。

 検証とトレーサビリティのレポートを生成してレビュー、アーカイブし、それらを認証機関と共有できるため、検証にかかる時間とコストの削減を図れる。「Simulink Code Inspector」を活用する場合は、一般的に高信頼性システムに使用される特定のSimulinkブロックやモデルパラメーターのサブセットを使用して、モデルをコード検査のために準備する。その後、モデルからコードを生成して検査し、検査とトレーサビリティのレポートをレビューする。システムの設計とシミュレーションにSimulink、フライトコードの生成にEmbedded Coder、ソースコードのレビューにSimulink Code Inspectorという組み合わせを使用することで、航空宇宙業界のエンジニアは、高度に自動化された柔軟な環境で、モデルベースデザインとDO-178に基づく開発と検証を行なえる。

 これらにより、認証でのボトルネックの低減、認証プロセスの効率化を図れる。


出荷日・発売日 −−−
価格 165万円〜

関連キーワード

  ※製品ニュースに関するお問合せ : 企業サイトへ


  ※関連キーワードのリンクは自動で行っているため、適切でない可能性があります。ご了承ください。


図解でわかりやすいIT技術の解説記事2000本
ITセミナー400件、IT製品情報1000件以上!

キーマンズネットは、アイティメディア株式会社が運営する「企業向けIT関連情報サービス」です。会社で導入するIT関連製品の検討・選定にお役立ていただける情報サービスです。情報量・登録料ともに無料です。安心してご利用下さい。

「特定業種向けシステム」関連の情報を、チョイスしてお届けします

※キーマンズネット内の「特定業種向けシステム」関連情報をランダムに表示しています。

「特定業種向けシステム」関連の製品

全銀TCP/IPアダプタ BroadZT 【システム・エンジニアリング・サービス】 個人信用情報照会システム L-CRIP 【セイコーソリューションズ】 REACH対応含有化学物質管理ソリューション ProChemist 【NEC】 ProSCOPE-C 【日立SC】 業種特化 物流ソリューション 【東計電算】
特定業種向けシステム 特定業種向けシステム 特定業種向けシステム 特定業種向けシステム 特定業種向けシステム
全銀ベーシック手順から全銀TCP/IP手順への移行、対外接続ネットワークのIP化を実現するレガシーシステム連携ソリューション。短期間での移行が可能。 個人信用情報機関との通信制御から独自の個信審査まで、融資審査業務に欠くことのできない個人信用情報照会の機能を装備したパッケージ。導入実績110社以上。 REACH、RoHSなど各種環境法規に対応した情報管理ソリューション。
化学物質やSVHCに関する情報の統合管理、JAMP情報流通基盤への接続、含有量の自動計算などの機能を網羅。
化学・プロセス・マテリアル業界の生産プロセスに特化した原価計算パッケージ。工程別総合原価計算に対応するなど、正確な原価計算を可能にする機能を搭載している。 販売管理、運行管理、庫内管理、財務管理、勤怠管理、人事給与管理のサブシステムをオープン&シームレスにつなげる物流業向けERPシステムなどのソリューションを提供。

「基幹系システム」関連 製品レポート一覧

このページの先頭へ


Myリストへ 印刷用ページへ

この記事をtweetする このエントリーをはてなブックマークに追加


掲載されておりますサービス内容・料金などは掲載日時点のものです。変更となる場合がございますのでご了承下さい。


20036049


IT・IT製品TOP > 基幹系システム > 特定業種向けシステム > 特定業種向けシステムのITニュース > ニュース詳細

このページの先頭へ

キーマンズネットとは

ページトップへ