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

・間違いだらけの MDD、形式手法、ソフトウエアプロダクトライン開発

・Simulink/派生開発を支援するSPL・モデル検査・テスト自動生成

IEC 61508, RTCA DO-178B、DO-178C、MISRA、CERT など国際スタンダードの最新情報と、それらの認証取得に必要なテストやツールの最新動向について。
詳細情報はこちらへ

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

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名）