安全なシステム・ソフトウェアの開発
本日の内容 ワクチン開発 導入の状況と問題点 欧米におけるワクチン開発 安全性システム 非臨床試験ガイドランの内容
... ワクチンの非臨床試験は、ヒト接種後の有効性及び安全性を外挿するための手法であり、開発 中のワクチンが非臨床から臨床へ移行するために重要である。 1.2 目的 ワクチンの非臨床試験は、製品の特性（安全性及び免疫原性の評価を含む）を明らかにする ...
32
安全解析 法 STAMP/STPA の概要と事例紹介 平成 26 年 1 21 有 宇宙システム株式会社 Japan Manned Space Systems Corporation (JAMSS) 安全開発保証部ソフトウェアグループ星野伸
... Action の識別による ハザードシナリオの分析 4つのガイドワードを基に、想定しうる システムの状態を、開発者も交えてディ スカッションした結果、各セルの⽂中で 下線が引かれている部分が、ハザードに ⾄る可能性のあるシナリオとして識別さ ...
28
IPA/SEC の活動 昨年度まで : ソフトウェア エンジニアリング今年度から : 情報処理システム ソフトウェア障害の対策, 教訓共有等 重点 : 生産性 信頼性向上から安全 安心へ 対象 : 企業 業界レベルから国民レベルへ 開発競争力強化から高信頼化へ 学会 SEC 産業界 大学 研究機関
... ITシステムの高信頼化等に向けたIPA/SECの取組み ＜今期の取組み＞ 重要インフラ分野 * 等のシステム 障害の事例を分析 し， それにより得られた 教訓と対策 を整理・体系化 した上で， ...
12
Androidソフトウェアプラットフォーム開発への取組み
... 要 な MPEG-2コーデックと，放送データを安全に転送 するための著作権保護技術であるDTCP-IPを独自 に実装した。2011年冬春モデルのREGZA Phone T-01Dでは，更に現在放送中のコンテンツをリア ルタイムにスマートフォンに転送し視聴する機能 と，720pの録画コンテンツをスマートフォンに持 ...
7
の概要 目的エンタプライズ系ソフトウェアと組込み系ソフトウェアの開発力強化に取り組むとともに その成果を実践 検証するためのエンピリカル ソフトウェアエンジニアリングを採用し 産学官の枠組みを越えて展開 こうした活動から日本のソフトウェアの競争力向上を実現し 技術開発の推進 国際標準の獲得 中心とな
... 形式手法の適用内容 宇宙機ソフトウェアの非機能要件（耐環境性、信頼性、可用性、資源効率性等）を満足する。 耐環境性は宇宙空間という特殊な環境で継続的な動作が求められていること、信頼性は機 能停止などの起きた場合に安全と経済的・社会的損失に多大な影響を及ぼすこと、可用性 ...
40
災害時の安全な給水システムの確保に関する分野横断型研究
... (1)-② 携行型浄水カートリッジの作製と水質評価（手 嶋・村上・道木） 上述のフィルターを利用して水を浄化した後に，得ら れた水が飲料水として適用可能かどうかを検証するこ とは極めて重要である。このために，簡便かつ安全性の 確認ができるために十分な感度を有する定量測定系の 開発を行っている。 2019 年度は，異なる研究テーマに ...
3
ヘルスソフトウェア開発ガイドライン
... B 安全（セーフティ）の考え方と実現方法 B.1 安全（セーフティ）に対する理解 ソフトウェアの信頼性を高めることと、ヘルスソフトウェアの利用者に安心を与えることは同一ではない。 ヘルスソフトウェアの利用者に安心を与えるということは、想定したリスクを受容できるレベルまで軽減し、 ...
58
国際的な太陽光発電システムの火災安全に関する取組みと安全性技術
... がら、安全性技術は、将来わが国の太陽光発電 システム技術において差別化の源泉にもなる可 能性もあり、積極的に進めるべき分野である。 そのためには、価格だけでなく、安全性の観点 を含めて太陽光発電システムが市場で評価され る仕組みを産業界全体で検討する、または米国 ...
6
1 はじめに ソフトウェアやシステムの品質 開発期間短縮 開発コスト削減に対する要求が厳しくなっている ソフトウェアやシステムの設計や実装の効率化だけでなく 評価や検査も適切で効率的なものが求められている さらに IoT への対応のために ライフサイクルが異なる機器やシステムどうしの通信 事前に想定
... 機器の故障やセキュリティ異常を検知するための機能が正常に働いていること の確認が重要となる。2015 年 12 月に発生したウクライナ発電所を狙った 「BlackEnergy」 [16]と呼ばれるマルウェアによる攻撃では、まず、復旧活動 を妨害する補助的攻撃が行われ、遠隔操作や監視機能を無効化した。その影響 で、何が起きているかの把握が遅れ、復旧までに 6 時間を要し 40～70 ...
88
安全なシステムのためのソフトウェア構築法（PDF）
... 東日本の障害は、COSMOS 開発から 10 年以上経過している。この間 の新幹線の運行数の増大などをどのよう に評価するのかが問われることになる。忙 しい日常業務の中でこのような観点での 注意を払うことはかなり難しいと思う。こ のための予防策としては、ある許容限界を ...
7
JAIST Repository: 形式手法の統合によるシームレスなソフトウェア開発手法の提案
... 検証を行う．そのため，厳密にソフトウェア 開発を進めることができ，ツールによる検証 の自動化により，効率的な品質の向上が見込 めるのである．しかしながら，現状では，形 式手法は，ソフトウェア開発の限定された部 分や工程にしか適用されておらず，上流工程 （仕様分析）から下流工程(実装)まで適用す ...
6
ソフトウェア開発環境 SystemDirector ソリューションのご紹介
... プロジェクトよりお預かりしたドキュメントを基に、 「修正候補一覧表」と「修正済みドキュメント」を返却 するサービスです。 ・詳細設計以降、ｵﾌｼｮｱ開発するﾌﾟﾛｼﾞｪｸﾄや業務経験の浅いﾒﾝﾊﾞが多く参画するﾌﾟﾛｼﾞｪｸﾄ ・設計書の理解ミスによる バグ発生率の抑制とフィードバック工数の削減 ...
31
エンジン制御仕様・ ソフトウェア開発の進化
... ・仕様の抽象度: もっと抽象度の高い仕様記述スタイル・表現技術 ・仕様の多面化・多次元化: 関心のあるコト/粒度の情報だけがすぐに見える/さわれる ・仕様の結合/分割: 自由自在にくっつけられる/分けられる ・圧倒的なスピード: シミュレーション時間<<<リアルタイム ...
28
1. 京 の概要 システムの概要 ソフトウェアの概要 システムの信頼性 1
... Intel, AMDなどのx86系プロセッサを利用したシステムが大半を占める 上位にはGPUを用いたシステムが多数 近年中国などアジアのシステムが増加傾向 GPU・・・3Dグラフィックスの表示に必要な計算処理を行う半導体チップ ...
35
目次 はじめに システムズエンジニアリングの普及に取り組む背景 ソフトウェア開発の環境変化 システム開発の新しいアプローチ システムズエンジニアリング システムズエンジニアリングのポイント説明 パイロット活動の目的
... IoT システム は、なんの知見の蓄積もないまま取り組むのではなく、保有した知見を強みとして発展的に取り組 むのが一般的である。こうした開発現場では、直面する多様性や複雑性の課題に対処するために システムズエンジニアリングを学習して適用する場合、保有していた知見と新たなシステムズエンジ ...
26
組み込みソフトウェア開発のための仕様シミュレーション環境
... 1 はじめに 組み込みシステムのためのソフトウェア開発 において、その個々の製品寿命が短い一方で、似 通った製品を多数開発することも多くなり、ある プラットフォーム向けに開発したソフトウェアを、 少し機能追加して別のプラットフォーム用に開発 ...
8
VSTePによるソフトウェアテストの開発
... – 見逃したバグや検出できたバグ、実際のテストケースなどを分析して、 テスト観点は特定できているのにカバレッジ基準・達成率が低すぎた場合や、 特異点が存在してしまった場合、不適切なリスク値（工数不足）の場合と いった原因を明らかにし、カバレッジ基準・目標率、不足した・誤った前提、 リスク値判定基準などを改善したり、テスト観点や関連を改善する ...
72
学生向け開発関連ソフトウェア
... 3. 「Kivuto Solution からキャンペーン情報や～」は、チェックをしてもしなくてもかまいません。チェックをすると Kivuto 社（このダウンロードサイトの運営会社）からダイレクトメールが送信されます。 4. 写真がと「テキストを入力」とある部分は、写真に写っていて 読むことができる文字列を、「テキストを入力」の欄に半角文 字で入力します。もし読みにくかったりする場合は、変えたり、 ...
10
JAIST Repository: 短期的な協調型開発の失敗要因調査に基づくハッカソン支援システムの研究開発
... A のプログラマ A は 「ハッカソンという活動に初めて参加し重要だと感じたのは，お互いの意思疎通だった」と 述べたほか，チーム B のプログラマ B は HackathonMediator の機能について「有用だと感 じなかった」とした上で，「結局，情報共有はお互い作業しながら話せばいいし，画面を見 ...
125
セキュリティ バイ デザインとは ソフトウェアやシステム開発の過程程で開発の早期段階 ( 分析 設計 ) からセキュリティを作りこむ 対義語? セキュアプログラミングプログラミング工程での脆弱性排除 2
... DFD 境界の意味 データ送受信の相手が信頼できるか？を考える 物理的境界を越えてくるデータは信頼できない 外部エンティティから来るデータは信頼できない 信頼できない相手にデータを送るのは危険 ...
48