最新ニュース
・ソフトウエアプロダクトライン開発セミナー(9/10) 先人の経験に学ぶバリアント/バライアビリティ管理のコツnew
・ドメインスペシフィックモデリングセミナー(9/1) 派生開発、SPLE、EAST-ADL、Autosarなどnew
・ノンリニアにも対応できる唯一の形式手法(フォーマルメソッド)new
・デバイスドライバーの開発にも活用される ドメインスペシフィック モデリング
・プロダクトライン開発に於ける変更管理について
・静的解析に活用される形式手法で IEC61508、ISO26262 の認証取得
・”セミナー報告・資料公開” IEC61508など国際スタンダード準拠とテストの最新動向
・形式手法:T-VEC/TTM インターフェイス・ドリブンなモデルからのテスト自動生成
・世界標準デバッガ:ロータバッハ NEWS 2010 和文公開
・JTAGデバッガ TI社 CCS4 をサポート 15万円 Ashling
・Rheinmetall 社 防衛システムの品質と生産性を バウンダリスキャンシステムで向上
LDRA
LDRA 派生開発を支援する、静的解析、動的テスト カバレッジ、リグレッションテストツール
MISRA-C++:2008、MISRA-C:1998/MISRA-C:2004、CERT C、IPA/SECコーディング作法ガイド
IEC 61508(SIL 4-1), DO-178B(Levels A~E) 全レベルをサポート
- IEC61508、ISO26262、DO-178B /178C で求められるオブジェクトコードレベルの検証
- SOUP(Software of Unknown Pedigree) レガシーコード に対する理想的なプロセス
- 資料: LDRA tool suite IEC 61508 に対するテスト支援機能
- Java コードの国際スタンダード認証にも対応
- 組込みプレス Vol.17 特集 ”品質改善に役立つ注目のツール” で LDRA/TBsecure CERT C 静的解析ツール が紹介されました
- Fairchild Controls 社 RTW にて自動生成されるコードの検証効率を1000%改善!
- ソフトウエアセキュリティ MILSと Homeland Security スタンダードをサポート LDRA
- 株式会社 IHI DO-178B Level A 認証に必要な カバレッジ 解析を14倍速く!
- LDRA 社 中国有人宇宙船計画で $1 Million に及ぶ契約
- IPA/SEC コーディング作法ガイド プログラミングエラー例 x 20種全てを検出
- 派生開発 レガシーコードとソフトウエアテストのWebセミナー 済み
- MISRA C++:2008,CERT,IEC61508 ソフトウエアテストセミナー 報告
- CERT C セキュアコーディング
- TBvision 欠陥検出 /セキュリティの脆弱性 /メモリエラーの検出
- LDRAテスト自動化ツール IBM Rational Rose RealTime と統合
- LDRA DSP 開発環境をサポート Texas Instruments社 Code Composer
- LDRA DSP 開発環境をサポート Analog Devices社 VisualDSP++
- ロータバッハ社デバッガと統合/ ターゲットテスト と カバレッジ 解析
- LDRA テストツール NASAの Orion CEV Programme に採用
T-VEC
MetaEdit+
MetaEdit+ DSL, DSM の進化をサポートできる唯一のメタモデリングツール
- MDD のベストプラクティスと良くない事例セミナー動画公開
- 通信インフラのプラットフォーム Domain-Specific Modeling 成功事例
- SWとHWのコデザインに、ドメインスペシフィック言語を統合
- IEEE Software 特集記事 ”ドメインスペシフィックモデリングの良くない事例集”
- メタモデリングのハンズオン資料公開 MetaEdit+
- オープンソースカンファレンス 2010 Tokyo/Spring Cincom 社ブースでMetaEdit+ を参考出展
- OOPSLA の DSL パネルの動画リンク情報
- DSL、DSM の構築にどれだけの工数が必要か?
- AUTOSAR, EAST-ADL, SysML を自在に構築・進化 国内ユーザーの声
- MetaCase ニュースレター ”2009年3月号”
- パナソニック電工 ユーザインタフェース・デザインツールの開発 PDF
- EADS 社 機能をモデルでデザインし、コードを自動生成 PDF
- Nokia 社 生産性を10倍向上 PDF
pure::variants
pure::variants プロダクトライン開発 バリアント管理ツール/ 同時並行開発されるファミリーをサポートできる唯一のツール
- ダイムラー社製品開発に採用される プロダクトライン開発バリアント管理ツール販売開始
- 動画デモ SPLのバージョン管理 pure::variants と CVSの統合
- 組込みプレス Vol.17 記事 ”ADLによる組込みシステム開発” で pure::variants が紹介されました
- プロダクトライン開発 IBM Rational Rhapsody に対応/ 日本語動画デモ公開 pure::variants
- pure::variants EA 対応 動画デモ日本語版公開
- pure::variants for IBM Rational DOORS の動画デモ
- 2009年4月 ソフトウエアプロダクトライン開発セミナー 報告
- ダイムラー社による成功事例 ダウンロードは、こちらのページから
- Danfoss Drives社 IBM Software Innovation Prize 2008を受賞
- ジーメンス社のケーススタディ、pure::variants の使用事例 Markus Voelter氏講演動画
- ソフトウエア・プロダクトライン・ライフサイクル支援機能を強化 pure::variants Ver3
XJTAG
XJTAG バウンダリスキャン/ テストの再利用が容易で 基板の修正・変更に柔軟に対応できる唯一のJTAGテストツール
- バウンダリスキャンテスト Syntech社 生産性と品質を改善 XJTAG
- バウンダリスキャンテスト 複数JTAGチェイン・電圧/周波数測定をサポート
- バウンダリスキャンテスト イマジネーションテクノロジー社 SoC 開発を加速 XJTAG
- XJTAG エレクトロニクス実装技術 9月号に記事掲載
- Haliplex 社コスト、不良品、開発期間をXJTAG で削減
- Bluegiga 社 バウンダリスキャンを最大限に活用
- Xilinx Xcell Journal <JTAG チェーンを使った高精度システムおよびダイ内部の消費電力> PDF
- エレクトロテスト・ジャパン 2009に出展 本年もXJTAGガールズ来日
- 限定募集:テクノロジーパートナー
Ashling
Lauterbach
イベント Upcoming
09.01ソフトウエアプロダクトライン開発セミナー 先人の経験に学ぶバリアント/バライアビリティ管理のコツ
09.10ドメインスペシフィックモデリングセミナー 派生開発、SPLE、EAST-ADL、Autosarなど
イベント Past
2010
06.17-18 ET-WEST 組込み総合技術展 関西
講演:間違いだらけの MDD、形式手法、ソフトウエアプロダクトライン開発
05.12-14 ESEC 組込みシステム開発技術展
04.23 国際スタンダードとテストの最新情報セミナー(IEC61508、DO-178B、MISRA-C、CERT など)
オープンソースカンファレンス 2010 Tokyo/Spring Cincom 社ブースでMetaEdit+ を参考出展
Smalltalk VisualWorks の成功事例として
エレクトロテスト・ジャパン 1月20-22日(東京ビッグサイト)
2009
設計・検証ツールトラック DVT-8 11月20日 (金) 10:00~10:45 アネックスホール[F203]
05.18 LDRA ソフトウエアテストのセミナー(MISRA-C++:2008,CERT,IEC61508 など)
05.13-15 ESEC に出展しました
04.22 pure::variants ソフトウエアプロダクトラインセミナー開催
01.28-30 インターネプコン・ジャパン に、XJTAG 出展
2008
12.03 MATLAB EXPO 2008 に出展と講演
11.19-21 Embedded Technology 2008 に出展
11.17-19 第五回システム検証の科学技術シンポジウムで発表
11.14 組込みシステム産学官連携技術交流会in熊本
11.7 JaSST'08 Kyushuに協賛・出展
10.29-31 組込みシステムシンポジウム2008ポスター&デモ
9.04-05 SWEST 10 に協賛しデモ展示しました
7.23-25 AT International 2008 に出展
5.14-16 ESEC 2008 に出展
2.08 プロダクトライン開発: コア資産・バライアビリティ管理に関するセミナーを開催
1.16-18 インターネプコンジャパンに、XJTAG
HOME
