クリティカル・システムに使う市販ソフトウェアの検証方法(2) ―― 誰が，何をもって市販ソフトウェアが信頼できることを証明するのか
クリティカル・システムに使う市販ソフトウェアの検証方法(2) ―― 誰が，何をもって市販ソフトウェアが信頼できることを証明するのか 酒井 由夫 本連載では，市販ソフトウェアの使用に際して求められるリスク分析や検証作業，市販ソフトウェアの検証記録の作り方について解説する．今回は，市販ソフトウェアをクリティカル・システムに組み込むにあたって，どのような確認が必要なのかを考える．また，米国FDA（食品医薬品局）が発行しているガイダンスに基づいて，市販ソフトウェアの信頼性証明に必要な情報を考える．（編集部） 技術解説・連載「クリティカル・システムに使う市販ソフトウェアの検証方法」 記事一覧 第1回 ソフトウェア品質論の推移とシステムの安全性確保の考え方 第2回 誰が，何をもって市販ソフトウェアが信頼できることを証明するのか 第3回 検証記録に含めるべき事項を考える 第4回 市販ソフトウェア・ベンダ
自動化し，空いた時間で設計改善 ―― モデリング手法やプロダクト・ライン開発などを社内展開している島 敏博氏に聞く
自動化し，空いた時間で設計改善 ―― モデリング手法やプロダクト・ライン開発などを社内展開している島 敏博氏に聞く Tech Village編集部 品質保証部としてではなく，設計部の一員として，ソフトウェア開発の改善活動を進めている人物がいる．セイコーエプソン 商業プリンター事業部 商業プリンター企画設計部の島 敏博氏である（写真1）．島氏は，社内の事業所を渡り歩きながら，それぞれの製品開発を改善しているほか，組込みソフトウェア管理者・技術者育成研究会（SESSAME）などの講師も務めている．同氏に，活動の概要と現在に至る経緯，改善活動に取り組む動機などについて伺った． 写真1 セイコーエプソン 商業プリンター事業部 商業プリンター企画設計部の島 敏博氏 ●チームを渡り歩いて内側から品質改善 ―― ふだん，どのような業務を行っていますか． 島氏：組み込み製品向けソフトウェアを開発しています
実務で使えるモデリングをベテラン・エンジニアに学ぶ ―― 20th Open SESSAME Seminar
実務で使えるモデリングをベテラン・エンジニアに学ぶ ―― 20th Open SESSAME Seminar Tech Village編集部 2013年1月15日，東実年金会館（東京都中央区）にて，組み込みソフトウェア技術者および管理者を対象としたセミナ「仕事に役立つやさしいモデリング ～ベテランにレビューしてもらお～」が開催された（写真1）．主催は組込みソフトウェア管理者・技術者育成研究会（SESSAME）． 写真1 会場のようす 本セミナでは，モデル駆動開発やソフトウェア・プロダクト・ライン開発などに取り組む前にまず必要となる，モデリングの概念や導入方法について解説した．また，参加者が作成したモデルを講師がレビューして，モデルの良しあしだけでなく，どのような観点でレビューすればよいのかについても解説した． ●目的と考え方に応じて最適なモデルは変わる まず，SESSAMEのメンバである
ソフトウェア・プロダクト・ライン開発手法の実践的導入事例(1) ―― 管理者は「石の上にも3世代目」
ソフトウェアの「部品化・再利用」は，多くの企業にとって長年の課題になっている．近年，ソフトウェアの部品化・再利用化を加速する開発手法として，ソフトウェア・プロダクト・ラインが注目を集めている．本連載では，富士通九州ネットワークテクノロジーズのソフトウェア・プロダクト・ライン適用事例を紹介する．第1回は，ソフトウェア・プロダクト・ラインの導入の経緯や，ソフトウェア・プロダクト・ラインが定着するまでに解決しなければならなかったさまざまな課題や困難について，導入を推進した管理者の視点から紹介する．（筆者） ●通信システムは派生開発が多く開発期間が長い 筆者が所属する富士通九州ネットワークテクノロジーズ（以下，富士通QNET）は，富士通の出資によって設立された，通信機器やネットワーク・システムのハードウェア，ソフトウェアを開発する設計開発専門会社です．通信機器は，通信の標準規格に準拠して仕様決定
ソフトウェア・プロダクト・ライン開発手法の実践的導入事例(2) ―― 狙いを定めて投資を回収，ガイドライン策定は必須
ソフトウェア・プロダクト・ライン開発手法の実践的導入事例(2) ―― 狙いを定めて投資を回収，ガイドライン策定は必須 大塚 潤 新しい開発手法を取り入れても，定量的な成果が出てこないと推進が難しくなってくる．富士通九州ネットワークテクノロジーズのソフトウェア・プロダクト・ライン開発適用も壁に突き当たりつつあった．そのような中で，比較的規模の大きなプロジェクトにおいて成功事例が生まれた．第2回は，成功事例に至ったファームウェア開発について，プロジェクト・リーダの立場から解説する．（編集部） 技術解説・連載「ソフトウェア・プロダクト・ライン開発手法の実践的導入事例」 バック・ナンバ 第1回 管理者は「石の上にも3世代目」 経営層の協力を取り付け，プロダクト・ライン開発手法を推進してきた筆者たちでしたが，定量的な成果に結びつくプロジェクトがなかなか現れず，手法の有効性には手ごたえを感じつつも，開
ニュース | 開発文書の品質改善を目指す研究会が2011年7月に発足 2011.6.27_01
[ keyword： 品質管理， 研究開発， ソフトウェア ] 開発文書の品質改善を目指す研究会が2011年7月に発足 ソフトウェアの要求定義書や設計書といった開発文書の品質を測定可能にすることをねらいとした研究会「システム開発文書品質研究会（Association of System Documentation Quality；ASDoQ，略称アスドック）」が，2011年7月に発足する．これまで開発文書は，各社で標準フォーマットを定義したり，プログラムのボリュームに対するドキュメントのボリュームの割合が提案されるなど，形式については議論されてきたが，表現があいまいになっていないか，必要十分な情報が盛り込まれているかなど，内容に踏み込んだ検討はされていないという．同研究会は，システム（ソフトウェア）開発文書品質の定義とそれを測定し改善する方法を研究し，提案することを目標としている．各企業が
理系のための文書作成術(5) ―― 設計レビューでするべきこと，してはいけないこと
前回は，自分の作成した文書を他人に査読してもらうことにより，文書だけでなく，文書に反映される仕事自体の質も改善できることを説明した．今回は，技術的な仕事を確認するためのレビューに目を向け，レビューの対象物としての文書について考えてみる．（編集部） 技術解説・連載「理系のための文書作成術」 記事一覧 第1回 開発文書を分かりやすく記述する 第2回 図表を表現手段として活用する 第3回 開発文書の書き方はしごとのやり方を示す 第4回 自分の「赤ペン先生」を持とう 第5回 設計レビューでするべきこと，してはいけないこと 第6回 仕事で文書を「書かされている」あなたへのメッセージ ●お知らせ 連載「理系のための文書作成術」が電子書籍になりました！ ご購入は「Tech Village 書庫＆販売」のページから． 行うべき仕事がきちんとなされているかを調べる方法の一つに「レビュー」があります．「レビュ
理系のための文書作成術(4) ―― 自分の「赤ペン先生」を持とう
あの女性タレント，デビュー当時は冴えない顔だったけれど，いつのまにか美人になったよね...．それと同じことが文書作成にも言える．今回は，自分の作成した文書を他人に査読してもらう効能について説明する．（編集部） 技術解説・連載「理系のための文書作成術」 記事一覧 第1回 開発文書を分かりやすく記述する 第2回 図表を表現手段として活用する 第3回 開発文書の書き方はしごとのやり方を示す 第4回 自分の「赤ペン先生」を持とう 第5回 設計レビューでするべきこと，してはいけないこと 第6回 仕事で文書を「書かされている」あなたへのメッセージ ●お知らせ 連載「理系のための文書作成術」が電子書籍になりました！ ご購入は「Tech Village 書庫＆販売」のページから． 読者の皆さんは，自分が書いた文章を，ほかの人に査読してもらう機会があるでしょうか？ 多くの女性は，人から見られていることを意識
モデル検査やAUTOSARなどに関連したツールが登場 ―― 第11回 組込みシステム開発技術展（ESEC）レポート（2）
モデル検査やAUTOSARなどに関連したツールが登場 ―― 第11回 組込みシステム開発技術展（ESEC）レポート（2） 組み込みネット編集部 2008年5月14日～16日，東京ビッグサイト（東京都江東区）にて，組み込みシステムに関する展示会「第11回 組込みシステム開発技術展（ESEC）」が開催された（写真1）．モデル検査やAUTOSARなどに関連した開発ツールが注目を集めていた． [写真1] 受付の様子 東京ビッグサイト（東京都江東区）にて開催された． ●モデル検査をシーケンス図や状態図に適用 イーソルは，UMLのシーケンス図や状態図に対して，容易にモデル検査を適用できる検証環境を展示した（写真2）．この検証環境は，UMLモデリング・ツール「Enterprise Architect」からモデル検査ツール「LTSA」用のファイルを出力するものである．モデル検査とは，形式手法（Formal
仕様書をチェックしてソフトウェアの欠陥を予防する ――日本アイ・ビー・エム サービス事業 品質技術 細川宣啓氏に聞く
仕様書をチェックしてソフトウェアの欠陥を予防する ――日本アイ・ビー・エム サービス事業 品質技術 細川宣啓氏に聞く 組み込みネット編集部 日本アイ・ビー・エムでは，ソフトウェアの欠陥を検出するために，「Quality Inspection」と名づけた手法を（組み込み機器開発の部署も含めて）実践している．これは，仕様書を熟視して矛盾や不整合を見つけ出すことにより，ソフトウェアの欠陥を仕様書の段階で検出する方法である．「インスペクション」というとコード・インスペクションが有名だが，Quality Inspectionは，審査の対象がコードではなく仕様書である点，会議の形態をとらずに個々人が作業を分担して実施する点などが異なっている．ここでは，Quality Inspection担当部署である日本アイ・ビー・エム サービス事業 品質技術 プロジェクト品質技術担当の細川宣啓氏に話を聞いた（写真1
ソフトウェア・マネージメントの極意を著名人が解説 ―― ソフトウェアテストシンポジウム 2010東京（JaSST'10 Tokyo）レポート
ソフトウェア・マネージメントの極意を著名人が解説 ―― ソフトウェアテストシンポジウム 2010東京（JaSST'10 Tokyo）レポート 北村 俊之 2010年1月28日～29日の2日間，「ソフトウェアテストシンポジウム 2010東京（JaSST'10 Tokyo）」が目黒雅叙園（東京都目黒区）にて開催された（写真1）．ソフトウェアテストシンポジウムは，北海道，東京，東海，関西，四国，九州の全国7カ所で開催されている研究会で，ソフトウェア品質やテストに関する研究や事例などの発表が行われている．また，ツール・ベンダやコンサルタントによるチュートリアル，ライトニング・トークス（ショート・プレゼンテーション），クイズ・セッション，およびパネル・ディスカッションなどが実施されている．主催は，特定非営利活動法人 ソフトウェアテスト技術振興協会（ASTER）およびJaSST'10（ジャスト・イチ・
自動車制御におけるモデル・ベース開発の現実 ―― MATLAB EXPO 2009レポート 《ユーザ講演編》
制御システムや信号処理システムなどの設計支援ツールである「MATLAB/Simulink」を開発している米国The MathWorks社の日本法人マスワークスジャパンは2009年12月2日，同社の顧客向けの講演会/展示会「MATLAB EXPO 2009」を東京で開催した． 前回の「基調講演編」に続いて，今回はMATLAB EXPO 2009の目玉となるユーザ講演を中心に紹介する． MATLAB/Simulinkの重要な用途に，自動車の制御システム開発がある．顧客向けの展示会「MATLAB EXPO 2009」では，トヨタ自動車，三菱自動車工業，日産自動車の大手自動車メーカ3社が，MATLAB/Simulinkを利用したモデル・ベース開発の取り組みの事例を紹介した． ●課題山積のモデル・ベース開発 トヨタ自動車は，最新のモデル・ベース開発の限界と今後の方向性についての展望を示した．「自動車
CUDA技術を利用したGPUコンピューティングの実際（後編） ―― FFTを利用した光波の伝播（フレネル回折）をGPUで高速計算
CUDA技術を利用したGPUコンピューティングの実際（後編） ―― FFTを利用した光波の伝播（フレネル回折）をGPUで高速計算 下馬場 朋禄，伊藤 智義 ここではGPU（Graphics Processing Unit）コンピューディングを利用したプログラミングの事例を紹介する．行列の乗算を例に，プログラミングの流れを示す．また，処理を高速化するためのカーネルの実装方法についても解説する．最後にFFT（高速フーリエ変換）を利用するフレネル回折の計算をGPUで行った例を紹介する． （編集部） 1．CUDAを用いたプログラミング ここでは行列の乗算を例として，CUDAプログラミングの流れを把握していきます．このプロジェクト（CQ_CUDA_matrix）は，Interface誌のWebサイトからダウンロードできます． 行列の乗算はCUDAのプログラミング・ガイド（1）にも例として登場します．
CUDA技術を利用したGPUコンピューティングの実際（前編） ―― グラフィックス分野で磨かれた並列処理技術を汎用数値計算に応用
CUDA技術を利用したGPUコンピューティングの実際（前編） ―― グラフィックス分野で磨かれた並列処理技術を汎用数値計算に応用 下馬場 朋禄，伊藤 智義 3Dグラフィックス処理の分野では，長年，並列処理技術が利用されてきた．こうしたグラフィックス分野で蓄積された並列処理技術の資産を汎用数値計算に応用しようというのが「GPU（Graphics Processing Unit）コンピューティング」と呼ばれる技術である．ここでは，NVIDIA社が提供しているCUDA（Compute Unified Device Architecture＝クーダ）環境を例に，GPUコンピューティングの概要と開発環境の構築手順を紹介す． （編集部） 3D（3次元）グラフィックスを扱うゲームや3D CAD（Computer Aided Design）などの処理を高速に行うための専用LSIとして，GPU（Graph
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.kumikomi.net/article/report/2008/18esec2/01.html
http://www.kumikomi.net/article/report/2006/26f_safe/01.html