富士設備工業㈱　電子機器事業部

バウンダリスキャン手法で、コスト、不良品、開発期間を削減

画像クリックでPDF『エレクトロニクス実装技術』は、1985年の創刊以来、電子回路の設計・製造技術、材料、製造機器の最新情報と企業動向をご紹介している国内唯一の実装技術専門誌です。 エレクトロニクス実装技術 のバックナンバー、購読など

画像クリックでダウンロードページに　ドメインスペシフィックモデリング言語（DSM）を構築することへの関心は高まっているが、正しく行なうための指南書は殆ど無い。ベストプラクティスを留意することに加えて、共通の落とし穴や避けるべきことを知ることは有用である。著者は、広範な76 例のDSM を分析しワーストプラクティスを分類した。15 年間で、4 カ国、様々なツール、100 人にも及ぶ言語開発者、プロジェクト内のモデル担当者が３人から300 人の規模まで。　これらワーストプラクティスを、プロジェクトの進捗にあわせて直面すると考えられる順で紹介する。

中国有人宇宙船計画(CMSP) は天宮1号（Tiangong）宇宙船の複雑でセーフティクリティカルなアプリケーションを解析するために LDRAを採用。CMSPのミッションである宇宙ランデブーや ドッギング実験を遂行するために必要な DO-178B Level-Aの認証取得に求められるプログラミングスタンダードチェック、MCDCカバレッジ解析など、アプリケーションライフサイクルを一貫して支援できる唯一のテストツールとして。CMSPでは２００１年よりLDRAテストツールを採用し、１００以上のライセンスが３０以上の研究施設、関連企業で活用されている。 ニュースリリースへ（英文）

　画像クリックで詳細情報”Cには「未定義の動作」や「整数変換のルール」をはじめとする、言語仕様上機微なニュアンスが少なからず存在します。それらの仕様を知らずに可搬性の低いコードを書くと、脆弱性という名の、社会問題にも発展しかねないセキュリティホールをうっかり作り込んでしまうおそれがあるわけですが、Cプログラマのなかには、脆弱性を作り込まないコーディング手法について教わったり学んだことがないばかりか、そのような事実があることさえ知らない方も少なくありません”（訳者まえがきより）
　画像クリックで詳細情報　CERT/CCの上級脆弱性アナリストが、ソフトウェアの脆弱性の根本原因と、脆弱性を作り込まないための方法について解説。翻訳はJPCERT/CC。
安全性を要件として考えること、それを実装担当側に徹底してもらうこと、を理解し実践する上で大いに参考になります。

JPCERT/CC へのリンクはこちら
TBsecure CERT_C 対応（セキュリティの脆弱性、メモリ解析の強化）

MISRA-C++:2008 のチェアマンが来日！

セミナー報告はこちらから

pure-systems社 Dr.Danilo 氏が来日。2009年4月22日（水）に、50名近くの方に参加いただきました。　セミナー報告はこちら

　画像クリックで案内へ

SW プロダクトライン・ライフサイクルに於けるテストの自動化プロセスをテーマに、MATLAB EXPO 2008、第五回システム検証の科学技術シンポジウム で発表を行い、ESS2008、Jasst九州にデモ・ポスター参加しました。

ポスター内容、概説書、スライド

2008年10月21-23日（英国リバプール）で開催済

　航空・宇宙、防衛などで最も実績のあるLDRAテストツールによる、ミッションクリティカル、高信頼性が求められるシステムに対するテストのテクニック、実践法などの解説を、サンプルを用いたハンズオントレーニングを介し、ワークショップ形式で行います。

・ソースコードに対するコーディングルール（Code Review ）
・ソースコードのテスト容易性、可読性、メンテナンス性を解析する複雑度解析（Quality Review ）
・デザインに対するコードのレビュー（Design Review ）コントロール/データフロー解析
・テストの十分性の評価（Test Verification ）動的解析とコードカバレッジの実現手法.
・ユニットテストの生成・実行からリグレッションテストに至る管理、結果のドキュメント化
・組込みターゲットへの適応方法
・MISRA, IEC 61508 and DO-178B などへの標準に準拠する方法

＜対象＞ 開発マネージャ、ソフトウエア技術者、ソフトウエア品質・テスト担当者 ＜費用＞ £950 （英国ポンド：約25万円）/3日間の講習 ＜場所＞ LDRA Ltd, Portside, Monks Ferry, Wirral CH41 5LH, UK

詳しくは、富士設備までお問合せください。 詳細情報（英文）

”Getting Ready for Safety and Security-Critical Software Certification Webinars”
”高信頼性、安全性ソフトウエアのガイドライン認証について”
航空、防衛、医療、交通システム、自動車、情報通信、政府機関関連サービスなど、何らかの認証標準への適合が求められることが多くなってきています。例えば、DO-178B, IEC 61508, Autosar, IEC 62304 (医療), MILS (セキュリティ)、あるいは政府機関限定のスタンダードなど。
それらソフトウエア認証にかかるコストは、ソフトウエア開発コストの50~70％にまで及ぶと言われています。LDRA 社は過去、顧客の多様な認証プロジェクトを分析し、多くのコストは検証プロセスに伴うマニュアル作業であることを確認しました。
このような課題に対し、LDRA 社は、要件からオブジェクトコードまで一貫した検証作業の自動化支援を提供しています。このWebセミナーでは、機能テスト、ユニットテスト、そして柔軟な要件のトレーサビリティ機能など、最小限のコストで認証プロセスを達成できる、最新鋭の静的、動的解析ツールの統合化環境をご紹介します。

２００８年２月８日（金）　終了　
バリアント/バライアビリティ管理ツールと、ユーザ事例（参加60名）