第 2 回 STAMP Workshop in Japan 28 November, 2017 システムモデルを用いた STAMP/STPA 試行の事例紹介 株式会社日立産業制御ソリューションズ橋本岳男 Takeo Hashimoto Embedded Systems Engineering Gro
|
|
|
- さなえ さだい
- 4 years ago
- Views:
Transcription
1 第 2 回 STAMP Workshop in Japan 28 November, 2017 システムモデルを用いた STAMP/STPA 試行の事例紹介 株式会社日立産業制御ソリューションズ橋本岳男 Takeo Hashimoto Embedded Systems Engineering Group Hitachi Industry & Control Solutions, Ltd.
2 Contents 1. 会社紹介 2. Motivation 3. システムモデルについて 4. ドライバ異常時安全停車システム ( 事例紹介 ) 5. まとめ 1
3 Contents 1. 会社紹介 2. Motivation 3. システムモデルについて 4. ドライバ異常時安全停車システム ( 事例紹介 ) 5. まとめ 2
4 1. 会社紹介 株式会社日立産業制御ソリューションズ 代表者 : 取締役社長木村亨 資本金 : 30 億円 ( 日立製作所 100% 出資 ) 設立 : 2014 年 4 月 社員数 : 3,752 名 (2017 年 4 月 ) 本社 茨城本社茨城県日立市 東京本社東京都台東区 ( 秋葉原大栄ビル ) 他の拠点 事業拠点 : 6 ヵ所 営業拠点 : 8 ヵ所 日立グループの産業ソリューション事業における中核企業 産業ソリューション 製造管理 ( 自動車等 ) ガス / プラント監視制御 SAP *1 エンジニアリング 医薬品製造管理システム 自動車製造管理システム システムエンジニアリング 情報システム ( 金融他 ) プラントエンジニアリング ビッグデータ解析 自治体向け通信システム 鋳造シミュレーション 組込みエンジニアリング 車載情報システム 車両制御システム 画像処理 認識 組込みソフト ハード国内シェア 6 位 *2 セキュリティソリューション フィジカルセキュリティ モニタリング ( カメラ ) 映像配信ソリューション 指静脈認証装置国内シェア 1 位 (41%) *3 *1 SAP は SAP AG のドイツおよびその他の国における登録商標または商標です *2 組込みソフト事業ミック経済研究所調べ ( エンベデットシステム ソリューション市場 :2015 年度実績 ) *3 富士経済調べ ( 2016 年セキュリティ関連市場の将来展望 :2015 年度実績 ) 3
5 1. 会社紹介 私たちは お客さまが開発現場で抱えるさまざまな課題を解決する Engineering Service Provider です Navigation ADAS,AD Meter Camera, Image Recognition In-vehicle Network Wireless Communication Body Power Control Our experience Engine Motor Suspension Inverter Brake Steering Hybrid Integrated Control 自動車システムの高度化 複雑化により 安全性や利便性の向上に関わる 組込み技術の重要性が高まっています 当社は 長年培ってきた組込み技術と車両制御 車載情報機器開発で蓄積した技術を融合し 最適化した自動車開発ソリューションを提供します 組込み技術機能安全セキュリティ 自己紹介橋本岳男 (Takeo Hashimoto) 業務経歴無線通信システム開発従事後 現在は 自動車制御システム開発担当 4
6 Contents 1. 会社紹介 2. Motivation 3. システムモデルについて 4. ドライバ異常時安全停車システム ( 事例紹介 ) 5. まとめ 5
7 2.Motivation 実験 被験者 :7 名ある事例に対してコントロールストラクチャーを記述 結果 7 パターン ( 同じものは一つも無し ) 登場人物 抽象度 相互作用もそれぞれ異なるものが出てきた 分析対象の想定アーキテクチャ 分析の目的が異なることによるバラツキ 6
8 2.Motivation Challenge システムズエンジニアリングアプローチによる試行 システムモデルの活用により ( 後述 ) 1) STPA 分析の過程の可視化 2) STPA 分析の結果 ( 安全制約 ) をシステム設計へ反映 Controller Control Action Controlled Process Feedback 上流で効果的に適用したい V model 7
9 Contents 1. 会社紹介 2. Motivation 3. システムモデルについて 4. ドライバ異常時安全停車システム ( 事例紹介 ) 5. まとめ 8
10 3. システムモデルについて システムモデルのイメージ (SysML のケース ) Model element 9
11 3. システムモデルについて 本事例では システムの記述言語の一つである OMG Systems Modeling Language(OMG SysML ) を選択 OMG SysML は Object Management Group (OMG ) の米国およびその他の国における登録商標または商標です SysMLv1.5 より ISO/IEC 19514:2017(E) として国際標準化 ダイアグラムの種類 SysML Diagram type : 今回使用 : 分類 Package Diagram パッケージ図 Requirement Diagram 要求図振舞図構造図 Behavior Diagram Structure Diagram Parametric Diagram パラメトリック図 Use Case Diagram State Machine Diagram Activity Diagram Sequence Diagram Block Definition Diagram Internal Block Diagram ユースケース図ステートマシン図アクティビティ図シーケンス図ブロック定義図内部ブロック図 10
12 STAMP/STPA 3. システムモデルについて 試行ステップと SysML ダイアグラム活用マップ ( 一例 ) Activity Define Preliminary Architecture (Intended function) SysML Diagram type Package Requirement Behavior Structure Parametric Package (model setup, View & viewpoint) Requirement (Responsibility) Use Case Activity State Machine Block Definition Internal Block - (MOEs) Table /Matrix Matrix Step0 (SC,CS) - Requirement (Safety Constraints) State Machine (Process Model) - Matrix Step1 (UCA) - - Sequence State Machine Internal Block (Control Structure) - Table Step2 (HCF) - - Activity Sequence - Table Derive Safety Requirements - Requirement Table 11
13 3. システムモデルについて 試行ステップとシステムモデルとの関係 Cameo Systems Modeler は No Magic 社の米国およびその他の国における登録商標または商標です Systems Engineering System model STAMP/STPA Preliminary Architecture Definition モデリングツールは No Magic 社の Cameo Systems Modeler を使用 Step0: Safety Constraint Control Structure Step1: Unsafe Control Action Step2: Hazardous Casual Factor 12
14 Contents 1. 会社紹介 2. Motivation 3. システムモデルについて 4. ドライバ異常時安全停車システム ( 事例紹介 ) 5. まとめ 13
15 4. ドライバ異常時安全停車システム ( 事例 ) ( 免責事項 ) 本事例は 仮想システムを題材としており 実際の開発および関連する製品 知的財産権等とは一切関係ありません ( 仮想 ) ドライバ異常時安全停車システム Emergency Stop Active Safety System 責務 : ドライバの異常を検知したら自動的に車両を安全に停車する 前提 : 既存の自動ブレーキシステム ( 衝突被害軽減ブレーキ ) に上記責務を追加する より開発現場に近い想定を設定 ( 既存システムの統合や機能追加により新たな価値を提供 ) Normal Abnormal case 飲酒 居眠り急病危険 etc 14
16 4. ドライバ異常時安全停車システム ( 事例 ) 15
17 4. ドライバ異常時安全停車システム ( 事例 ) Stakeholder の識別とニーズの獲得 ( 今回は User における View Point) <<stakeholder>> Service-Engineer Sales Support 販売 <<stakeholder>> Dealer sales より安全で安心な社会になってほしい <<stakeholder>> User <<stakeholder>> Auto dismantler Utilization Utilization Maintenance Disposal Production <<stakeholder>> Factory-Engineer <<stakeholder>> System Architect Concept & System design Verification & Validation <<stakeholder>> Test-Engineer <<stakeholder>> Safety Engineer <<stakeholder>> x-engineer Software Dev. Electronics Dev. Mechatronics Dev. Implementation Example of System Life Cycle <<stakeholder>> x-engineer 16
18 4. ドライバ異常時安全停車システム ( 事例 ) 対象システムと登場人物を定義 (Context Level でシステム境界を明確化 ) ドライバ 乗客 自然環境 今回は システムの外部に着目 車体 環境 人 車含む障害物 システム外部 システム内部 走行システム ドライバ異常時安全停車システム External Internal System boundary 道路環境 対象システム 自動ブレーキシステム ドライバ監視システム 17
19 4. ドライバ異常時安全停車システム ( 事例 ) システムの使われ方 使う環境に対して各コンポーネントの想定されるコンディション シチュエーションの識別例 ドライバ状態 明るい 明るさ 正常 異常 暗い 有り 障害物有無 車両走行状態 無し 停止 走行 平地 道路勾配 走行システム動作状態 ドライバ異常検知状態 勾配 アイドル 減速中 加速中 ドライバ正常 ドライバ異常 複雑にならないよう抽象度を高く記述 ( この段階では遷移条件も記載しない ) 18
20 4. ドライバ異常時安全停車システム ( 事例 ) Context Level の振舞いと相互作用を定義 環境 ドライバ ドライバ異常時安全停車システム 光 走行システム 車体 光を生成する Resource 環境情報 運転指示 トルク制御する 環境を反射する 運転する メンタル情報 追加機能の割当 制御トルク 車体トルク 顔の表情を反射する ドライバ状態 異常検知する 検知結果 減速指示 トルクを伝達する トルクを受ける 減速指示する 抽象度をコントロール ( 機能 ( 振舞 ) の階層化 ) 19
21 4. ドライバ異常時安全停車システム ( 事例 ) Context Level の振舞いからインターフェースを識別し コンポーネント間の構造 (Interconnection) を定義 ドライバ ドライバ異常時安全停車システム 車体 環境 走行システム 20
22 4. ドライバ異常時安全停車システム ( 事例 ) 21
23 4. ドライバ異常時安全停車システム ( 事例 ) STAMP/STPA<Step0>: 安全制約の識別 アクシデント ハザード 安全制約を導出し 結果を紐付け追従性を確保 Table 表記 Matrix 表記 <<Accident>> <<Hazard>> <<Safety Constraint>> は SysML 標準にはないため STAMP 用にプロファイルを追加 22
24 4. ドライバ異常時安全停車システム ( 事例 ) STAMP/STPA<Step0>: Control Structure(CS 図 ) の構築 Preliminary Architecture( 構造 振舞 ) から STPA 分析用に CS 図を作成 コンポーネントの再配置 運転指示 ドライバ (Human Controller) ドライバ状態 光環境情報システム状態 インターフェース一覧 ドライバ異常時安全停車システム 減速指示 環境情報 環境 インタラクションの反映 走行システム 制御トルク 車速 車体 車体トルク 23
25 4. ドライバ異常時安全停車システム ( 事例 ) STAMP/STPA<Step0>: Control Structure(CS 図 ) の構築コンテキストレベルの制御構造の確認 ドライバ監視ループ ドライバ正常時ループ ドライバ (Human Controller) ドライバ異常時安全停車システム 環境 ドライバ異常時は Controller がドライバからシステム側へ切替る 走行システム 車体 ドライバ異常時ループ 24
26 4. ドライバ異常時安全停車システム ( 事例 ) STAMP/STPA<Step1>: Unsafe Control Action の識別 (UCA) 各コンポーネント間のインタラクションと状態 (Context) の時系列変化をシーケンス図で確認 ドライバ正常 ドライバ異常 25
27 4. ドライバ異常時安全停車システム ( 事例 ) STAMP/STPA<Step1>: Unsafe Control Action の識別 (UCA) 各コンポーネント間のインタラクションと状態 (Context) の時系列変化をシーケンス図で確認 コンポーネント ( 登場人物 ) 状態 ドライバ ドライバ異常シーケンス ドライバ異常時安全停止システム走行システム車体環境 異常ドライバ正常加速中走行明るい インタラクション ドライバ異常 Time 26
28 CANo. Source Type Control Action Target 4 Driver Provide Health Information Context (Value, Valuable) Driver 異常検知走行システム Vehicle Environment Environment Environment Not provide Provide Incorrect Timing/Order DEASS 正常 OFF 非作動停止明るい障害物なし平地暗い障害物なし平地 走行明るい障害物なし平地暗い障害物なし平地 なし停止明るい障害物なし平地暗い障害物なし平地 走行明るい障害物なし平地暗い障害物なし平地 加速停止明るい障害物なし平地暗い障害物なし平地 走行明るい障害物なし平地暗い障害物なし平地 減速停止明るい障害物なし平地暗い障害物なし平地 走行明るい障害物なし平地暗い障害物なし平地 正常非作動停止明るい障害物なし平地暗い障害物なし平地 走行明るい障害物なし平地暗い障害物なし平地 なし停止明るい障害物なし平地暗い障害物なし平地 走行明るい障害物なし平地暗い障害物なし平地 加速停止明るい障害物なし平地暗い障害物なし平地 走行明るい障害物なし平地 暗い障害物なし平地減速停止明るい障害物なし平地 暗い障害物なし平地走行明るい障害物なし平地 暗い障害物なし平地異常非作動停止明るい障害物なし平地 暗い障害物なし平地走行明るい障害物なし平地 暗い障害物なし平地なし停止明るい障害物なし平地 暗い障害物なし平地走行明るい障害物なし平地 暗い障害物なし平地加速停止明るい障害物なし平地 暗い障害物なし平地走行明るい障害物なし平地 暗い障害物なし平地減速停止明るい障害物なし平地 暗い障害物なし平地走行明るい障害物なし平地 暗い障害物なし平地異常 OFF 非作動停止明るい障害物なし平地 暗い障害物なし平地走行明るい障害物なし平地 暗い障害物なし平地なし停止明るい障害物なし平地 暗い障害物なし平地 走行明るい障害物なし平地 暗い障害物なし平地加速停止明るい障害物なし平地 暗い障害物なし平地 走行明るい障害物なし平地 暗い障害物なし平地減速停止明るい障害物なし平地 暗い障害物なし平地 走行明るい障害物なし平地 暗い障害物なし平地正常非作動停止明るい障害物なし平地 暗い障害物なし平地走行明るい障害物なし平地 暗い障害物なし平地なし停止明るい障害物なし平地 暗い障害物なし平地 走行明るい障害物なし平地 NP P T D 安全制約違反になるか? 安全制約に ドライバ情報 ( 正常 ) が提供されない 正常を認識できず ドライバ情報 ( 正常 ) が提ドライバーの意図しな供される い減速指示が発生す る (SC1 違反 ) ドライバ情報 ( 異常 ) が検知出来ない 走行中は異常検知がOFF にならないこと? システムが無い状態に対して悪化しないので問題な い? ドライバ情報 ( 異常 ) が検知出来ない 走行中は異常検知がOFF にならないこと? システムが無い状態に対して悪化しないので問題な い? ドライバ情報 ( 異常 ) が検知出来ない 走行中は異常検知がOFF にならないこと? システムが無い状態に対して悪化しないので問題な い? ドライバ情報 ( 異常 ) が提供される突する (SC2 違反 ) 暗い障害物なし平地 加速停止明るい障害物なし平地 暗い障害物なし平地走行明るい障害物なし平地 暗い障害物なし平地減速停止明るい障害物なし平地 暗い障害物なし平地走行明るい障害物なし平地 暗い障害物なし平地異常非作動停止明るい障害物なし平地 暗い障害物なし平地走行明るい障害物なし平地 暗い障害物なし平地なし停止明るい障害物なし平地 暗い障害物なし平地走行明るい障害物なし平地 暗い障害物なし平地加速停止明るい障害物なし平地 暗い障害物なし平地 走行明るい障害物なし平地 暗い障害物なし平地減速停止明るい障害物なし平地 暗い障害物なし平地走行明るい障害物なし平地 暗い障害物なし平地 ドライバ情報 ( 異常 ) を正常と検知してしまう 異常を認識できていないため 減速指示が出来ず衝 ドライバ情報 ( 異常 ) が提供されない ドライバ情報 ( 異常 ) が提 異常を認識できず 供される 減速指示が遅れ衝突する (SC2 違反 ) - - Stopped Too Soon/Applied too long ドライバ情報 ( 正常 ) が短すぎる 正常を認識できず ドライバーの意図しない減 速が発生する (SC1 違反 ) ドライバ情報 ( 正常 ) が短すぎる ドライバ情報 ( 異常 ) が短すぎる 異常を認識できず 減速指示が遅れ衝突す る (SC2 違反 ) SC1 SC2 SC3 ( 急減速じゃなく てもダメだから SC4?) 4. ドライバ異常時安全停車システム ( 事例 ) STAMP/STPA<Step1>: Unsafe Control Action の識別 (UCA) 基本動作からコンセプトの検証 &CA と Context の関係を一覧にする 分析に必要な Context の組み合わせを一覧にしてガイドワード (N,P,T,D) を使い UCA を抽出 ドライバ正常シーケンス Process Model ドライバ : 正常 異常異常検知 : 正常 異常走行 : アイドル 加速 減速車体 : 停止 走行明るさ : 明 暗 CA No. Source Type Control Action Target Context (Value, Valuable) Driver ESASS dcs Vehicle Environment 1 Driver Acceleration dcs ドライバ 対象システム 走行システム車体 環境 2 dcs Torque Vehicle Normal Driver Normal Acceleration Moving Bright 3 Vehicle Torque Env. 4 Driver Provide Health Info. ESASS Driver Normal 5 ESASS Braking dcs 6 dcs Torque Vehicle 7 Vehicle Torque Env. Abnormal Abnormal Detected Acceleration Moving Bright 27
29 4. ドライバ異常時安全停車システム ( 事例 ) STAMP/STPA<Step1>: Unsafe Control Action(UCA) の識別 各 CA に対する分析により抽出された UCA の例 ドライバ監視ループ ドライバ正常時ループ ドライバ状態の通知 ( 異常 / 正常 ) ドライバ異常時ループ Control Action ドライバ状態の異常通知 (CA-4) N P T D Not providing causes hazard Providing cases hazard Incorrect Timing/Order Stopped Too Soon/Applied too long ドライバが異常時に ドライバが異常時に ドライバ異常が提供さドライバ異常が提供さ れない れる 異常を認識できず 減速指示が遅れ衝突する (SC3 違反 ) - ドライバが異常時にドライバ異常が短すぎる 異常を認識できず 減速指示が遅れ衝突する (SC3 違反 ) 28
30 4. ドライバ異常時安全停車システム ( 事例 ) STAMP/STPA<Step1>: UCA 導出方法 走行システム ドライバ アイドル減速正常異常加速ドライバ異常時安全停車システム加速正常異常減速 環境 ご参考 CS 図に状態 ( コンテキスト ) をマッピングした UCA 分析の例 状態遷移の動作結果 ( 組み合わせ ) から効率よく UCA 抽出できないか今後検討予定 アイドル減速? 加速 車体 停止 走行 29
31 ４ ドライバ異常時安全停車システム 事例 30
32 4. ドライバ異常時安全停車システム ( 事例 ) STAMP/STPA<Step2>: HCF の特定例 UCA-1 ドライバ状態 ( 正常 / 異常 ) ドライバ異常を認識できず 減速指示が遅れ衝突する (SC3 違反 ) シナリオ 1 外部環境の光の影響によりシステムがドライバの状態を正しく認識できない 対策 : ドライバ状態の認識は 複数の異なる手段にて判断する ( 検出手段の冗長化 ) シナリオ 2 ドライバの装飾品 ( サングラス マスク ) によりシステムが ドライバの状態を正しく認識できない 対策 : ドライバの状態を正しく認識できない場合は その旨をドライバへ通知する ユーザマニュアルに利用時の注意点として記載する シナリオ 3 センサ異常によりドライバの状態を正しく認識できない 対策 : センサ異常を検出し 機能無効化する また ドライバへ通知する ( または センサの冗長化 ) ドライバ状態 ( 正常 / 異常 ) ドライバ監視ループ システム状態 光 31
33 4. ドライバ異常時安全停車システム ( 事例 ) STAMP/STPA<Step2>: 対策をシステムへの要求として反映しトレーサビリティを確保 STAMP/STPA 分析結果もエビデンスとして登録する 要求導出の根拠 STPA Step2 から導出されたシステム要求 32
34 4. ドライバ異常時安全停車システム ( 事例 ) STAMP/STPA による安全分析の結果を元にシステムズエンジニアリングへ Iteration を繰り返し 上流の早期に安全リスクを考慮したシステム開発が可能と考えられる Synthesis & Architecture Update Step0 Step1 Step2 Feedback & Trade-study Cost, -ilities,,,, Re-Analysis 33
35 Contents 1. 会社紹介 2. Motivation 3. システムモデルについて 4. ドライバ異常時安全停止システム ( 事例紹介 ) 5. まとめ 34
36 5. まとめ 抽象度の高いコンセプト初期においても STAMP/STPA の有効性を確認 早期に安全リスクを考慮できる ( 特に非故障に起因 ) システムアーキテクチャに選択肢をもたらす システムモデルを活用することで一貫したシステム開発への導き 可視化によるレビュー容易性 要求導出および設計エビデンスまでのトレーサビリティの確保 Repository ドライバ以外の Stakeholder( 販売 メンテナンス 廃棄ステージ等 ) の視点による STAMP/STPA 分析も重要 様々な視点により網羅性を向上させる System Subsystem と段階的に分析を繰り返えしが必要 35
37 ご清聴ありがとうございました 私 息子 Control Structure Controlled Process が顔に 36
38
目次 1. 目的 2. STPA の手順 3. エアバッグの要求仕様 4. Step 0 準備 1:Accident Hazard 安全制約の識別 5. Step 0 準備 2:Control Structure の構築 6. Step 1:UCA(Unsafe Control Action) の抽
STAMP/STPA 演習 ~ エアバッグの安全性分析 ~ 2017 年 9 月 22 日独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 石井正悟 目次 1. 目的 2. STPA の手順 3. エアバッグの要求仕様 4. Step 0 準備 1:Accident Hazard 安全制約の識別 5. Step 0 準備 2:Control Structure
STAMP/STPA を用いた 自動運転システムのリスク分析 - 高速道路での合流 - 堀雅年 * 伊藤信行 梶克彦 * 内藤克浩 * 水野忠則 * 中條直也 * * 愛知工業大学 三菱電機エンジニアリング 1
STAMP/STPA を用いた 自動運転システムのリスク分析 - 高速道路での合流 - 堀雅年 * 伊藤信行 梶克彦 * 内藤克浩 * 水野忠則 * 中條直也 * * 愛知工業大学 三菱電機エンジニアリング 1 はじめに 近年 先進運転支援システムが発展 オートクルーズコントロール レーンキープアシスト 2020 年を目処にレベル3 自動運転車の市場化が期待 運転システムが複雑化 出典 : 官民 ITS
15288解説_D.pptx
ISO/IEC 15288:2015 テクニカルプロセス解説 2015/8/26 システムビューロ システムライフサイクル 2 テクニカルプロセス a) Business or mission analysis process b) Stakeholder needs and requirements definieon process c) System requirements definieon
社員証型センサを いた 健康増進システムへの STAMP/STPA の適 検討 林良輔 * 伊藤信 梶克彦 内藤克浩 水野忠則 中條直也 * 愛知工業大学大学院 三菱電機エンジニアリング 愛知工業大学 1
社員証型センサを いた 健康増進システムへの STAMP/STPA の適 検討 林良輔 * 伊藤信 梶克彦 内藤克浩 水野忠則 中條直也 * 愛知工業大学大学院 三菱電機エンジニアリング 愛知工業大学 1 次 研究背景 健康増進システム 社員証型センサを いた運動量測定 オフィスでの歩 軌跡推定に基づく運動量推定 エルゴ x ウェアラブル 拍計を使った運動実験 システムの高信頼化 研究課題 研究 的
SysML SysML Requirement Diagram Block Definition Diagram Internal Block Diagram Parametric Diagram Activity Diagram Package Diagram Use Case Diagram S
SysML SysML SysML Requirement Diagram Block Definition Diagram Internal Block Diagram Parametric Diagram Activity Diagram Package Diagram Use Case Diagram Sequence Diagram State Machine Diagram SysML SysML
<4D F736F F F696E74202D D4C82F08A B582BD A A F2E707074>
SysML を活用したシステムエンジニアリング オージス総研組み込みソリューション部 1 アジェンダ 概要編なぜシステムエンジニアリングかシステムエンジニアリングとはシステムエンジニアリングとモデリング言語 SysML の特徴実践編機能要求を検討する要求を仕様化する振る舞いを検討する構造を検討する論理ブロックを物理ブロックに割り当てる性能を検討するまとめ 2 概要編 : なぜシステムエンジニアリングか
概要 入門者を対象とした STAMP/STPA チュートリアル ( 時間のある限り ) 実際に手と頭を動かして分析を体験 [I] の手順を基に [T]3 章の方法を加えて系統的に解説 [T] の事例 ( 列車ドア自動開閉システム ) を分析 参考資料 [I] はじめての STAMP/STPA, IP
![概要 入門者を対象とした STAMP/STPA チュートリアル ( 時間のある限り ) 実際に手と頭を動かして分析を体験 [I] の手順を基に [T]3 章の方法を加えて系統的に解説 [T] の事例 ( 列車ドア自動開閉システム ) を分析 参考資料 [I] はじめての STAMP/STPA, IP](/thumbs/93/111454153.jpg "概要 入門者を対象とした STAMP/STPA チュートリアル ( 時間のある限り ) 実際に手と頭を動かして分析を体験 [I] の手順を基に [T]3 章の方法を加えて系統的に解説 [T] の事例 ( 列車ドア自動開閉システム ) を分析 参考資料 [I] はじめての STAMP/STPA, IP")
STAMP/STPA チュートリアル ( 入門編 ) 仙台高等専門学校岡本圭史 概要 入門者を対象とした STAMP/STPA チュートリアル ( 時間のある限り ) 実際に手と頭を動かして分析を体験 [I] の手順を基に [T]3 章の方法を加えて系統的に解説 [T] の事例 ( 列車ドア自動開閉システム ) を分析 参考資料 [I] はじめての STAMP/STPA, IPA (2016) [M]
CONTENTS Model-driven systems engineering (MDSE) SysML TM MARTE TM Eclipse TM 2
TM 2008 IBM Corporation CONTENTS Model-driven systems engineering (MDSE) SysML TM MARTE TM Eclipse TM 2 CONTENTS Model-driven systems engineering (MDSE) SysML TM MARTE TM Eclipse TM 3 Software Electronics
OTデータとITデータの双方を統合的に分析可能な社会・産業インフラ分野向けのデータ分析基盤を提供開始
2018 年 3 月 29 日 株式会社日立製作所 データと IT データの双方を統合的に分析可能な社会 産業インフラ分野向けのデータ分析基盤を提供開始 分析基盤を活用し 事前準備から分析までをトータルに支援するサービスを提供 株式会社日立製作所 ( 執行役社長兼 CEO: 東原敏昭 / 以下 日立 ) は このたび 機器やセンサーから得た多種多様な現場データ ( *1 データ ) のほか 各種業務システムなどのデータ
コントローラー プロセスモデル コントロールアクション フィードバックデータ 被コントロールプロセス コンポーネント A コマンド 3 コマンド 1 データ 1 コンポーネント B コマンド 2 データ 2 コンポーネント C コマンド 1 の通信遅れ Controller: コンポーネント A コマンド 1 の送信条件の誤り データ 1 の解釈誤り プロセスモデルの不整合 コンポーネント C は
本章では 衝突被害軽減ブレーキ 車線逸脱警報 装置 等の自動車に備えられている運転支援装置の特性 Ⅻ. 運転支援装置を 備えるトラックの 適切な運転方法 と使い方を理解した運転の重要性について整理しています 指導においては 装置を過信し 事故に至るケースがあることを理解させましょう また 運転支援装
本章では 衝突被害軽減ブレーキ 車線逸脱警報 装置 等の自動車に備えられている運転支援装置の特性 Ⅻ. 運転支援装置を 備えるトラックの 適切な運転方法 と使い方を理解した運転の重要性について整理しています 指導においては 装置を過信し 事故に至るケースがあることを理解させましょう また 運転支援装置の限界を心得て正しく使用するために 支援装置の限界とメーカーによる作動等の違いを明確にさせ 支援装置に頼り過ぎた運転にならないように指導しましょう
スライド 1
ライフサイクルプロセスに関する国際標準とソフトウェアファクトリ ISO/IEC 15288, ISO/IEC 12207, INCOSE Handbook and IEEE Std 1517 松本吉弘 工学博士 ; IEEE Life Fellow 京都高度技術研究所 All Rights Reserved Yoshihiro Matsumoto; 2007 1 対象とした国際標準 IEEE Std
f2-system-requirement-system-composer-mw
Simulink Requirements と新製品 System Composer によるシステムズエンジニアリング MathWorks Japan アプリケーションエンジニアリング部大越亮二 2015 The MathWorks, Inc. 1 エンジニアリングの活動 要求レベル システムレベル 要求分析 システム記述 表現 高 システム分析 システム結合 抽象度 サブシステム コンポーネントレベル
システムモデルによる電子機器アーキテクチャに関する熱設計検討 村岡祥雄 (Yoshio Muraoka) 慶應義塾大学大学院システムデザイン マネジメント研究科附属 SDM 研究所
システムモデルによる電子機器アーキテクチャに関する熱設計検討 村岡祥雄 (Yoshio Muraoka) 慶應義塾大学大学院システムデザイン マネジメント研究科附属 SDM 研究所 Agenda 電子機器の熱設計とは? システムモデルによる熱設計検討 熱設計のビューにおけるアーキテクチャ検討例 - コンセプト設計 - 設計変更 1 電子機器の熱設計とは? 2 熱問題 独立行政法人製品評価技術基盤機構
untitled
- 1 - - 2 - - 3 - - 4 - - 5 - - 6 - - 7 - - 8 - - 9 - ..... - 10 - - 11 - - 12 - - 13 - - 14 - - 15 - - 16 - -- - 17 - - 18 - - 19 - - 20 - - 21 - - 22 - - 23 - - 24 - - 25 - - 26 - - 27 - - 28 - - 29
IoT を含む医療機器システムのセキュリティ / セーフティ評価手法の提案と適用 東京電機大学早川拓郎金子朋子佐々木良一 Information Security Lab. 1
IoT を含む医療機器システムのセキュリティ / セーフティ評価手法の提案と適用 東京電機大学早川拓郎金子朋子佐々木良一 Information Security Lab. 1 目次 IoTの現状 ツリー分析とSTPAの課題 提案手法 試適用 今後の展望 Information Security Lab. 2 IoT( モノのインターネット ) の普及 IoT の普及により様々な モノ がインターネットと接続
設計現場からの課題抽出と提言 なぜ開発は遅れるか？その解決策は？
Work in Progress - Do not publish STRJ WS: March 4, 2004, WG1 1 WG1: NEC STARC STARC Work in Progress - Do not publish STRJ WS: March 4, 2004, WG1 2 WG1 ITRS Design System Drivers SoC EDA Work in Progress
第 8 回クリティカルソフトウェアワークショップ 8 th Workshop of Critical Software (WOCS2011) Modeling and Hazard Analysis using STPA ~STAMP/STPA を用いた安全解析手法の検討 ~ M
第 8 回クリティカルソフトウェアワークショップ 8 th Workshop of Critical Software (WOCS2011) Modeling and Hazard Analysis using STPA ~STAMP/STPA を用いた安全解析手法の検討 ~ 2011.1.18 Massachusetts Institute of Technology (MIT) Takuto Ishimatsu,
SysMLに関する操作方法について
SysML に関する 操作方法について (2017/12/21 版 ) SparxSystems Japan Co., Ltd. 前提 設定 2 利用条件 以下のいずれかの条件を満たすことが必要 Enterprise Architect+ 有償アドイン MDG Technology for SysML EA Suite システムエンジニアリング版あるいはアルティメット版 ( これらのエディションには
安全解析 法 STAMP/STPA の概要と事例紹介 平成 26 年 1 21 有 宇宙システム株式会社 Japan Manned Space Systems Corporation (JAMSS) 安全開発保証部ソフトウェアグループ星野伸
安全解析 法 STAMP/STPA の概要と事例紹介 平成 26 年 1 21 有 宇宙システム株式会社 Japan Manned Space Systems Corporation (JAMSS) 安全開発保証部ソフトウェアグループ星野伸 (hoshino.nobuyuki@jamss.co.jp) Contents 1. 会社紹介 (10 分 ) 2. STAMP/STPA の概要 (20 分
PowerPoint プレゼンテーション
SPI Japan 2012 車載ソフトウェア搭載製品の 機能安全監査と審査 2012 年 10 月 11 日 パナソニック株式会社デバイス社 菅沼由美子 パナソニックのデバイス製品 SPI Japan 2012 2 パナソニック デバイス社のソフト搭載製品 車載スピーカーアクティブ消音アクティブ創音歩行者用警告音 スマートエントリー グローバルに顧客対応 ソフトウェア搭載製品 車載 複合スイッチパネル
ニュースレター「SEI WORLD」2016年6月号
1 SEIWORLD JUNE 2016 JUNE 2016 SEIWORLD 2 ITS Intelligent Transport Systems 安心 安全 で 快適 な モビリティ社会に貢献しています 今回ご紹介した製品 ソリューションは 住 友 電 工グル ープは い つから ＩＴＳ関連製品を提 供しているの 当社 Webサイトで詳しくご紹介しています ぜひご覧ください http://www.sei.co.jp/products/its/
第 10 回 WOCS2 アシュアランスケースにおける品質到達性と トレーサビリティを考慮した記述ルール提案と 超小型衛星開発への適用評価 田中康平 1, 松野裕 2, 中坊嘉宏 3, 白坂成功 1, 中須賀真一 4 1 慶應義塾大学大学院システムデザイン マネジメント研究科 2 名古屋大学情報連携
アシュアランスケースにおける品質到達性と トレーサビリティを考慮した記述ルール提案と 超小型衛星開発への適用評価 田中康平 1, 松野裕 2, 中坊嘉宏 3, 白坂成功 1, 中須賀真一 4 1 慶應義塾大学大学院システムデザイン マネジメント研究科 2 名古屋大学情報連携統括本部情報戦略室 3 独立行政法人産業技術総合研究所知能システム研究部門ディペンダブルシステム研究グループ 4 東京大学工学系研究科航空宇宙工学専攻
PowerPoint プレゼンテーション
2017 TRON Symposium 於東京ミッドタウン Open IoT:IoT 時代の人材育成産業界におけるIoT 分野の人材育成 1 Human resource development in industries for IoT applications 2017 年 12 月 14 日日本電気株式会社宇宙システム事業部 Space Systems Division, NEC Corporation
PowerPoint プレゼンテーション
GSN を応用したナレッジマネジメントシステムの提案 2017 年 10 月 27 日 D-Case 研究会 国立研究開発法人宇宙航空研究開発機構 研究開発部門第三研究ユニット 梅田浩貴 2017/3/27 C Copyright 2017 JAXA All rights reserved 1 目次 1 課題説明 SECI モデル 2 GSN を応用したナレッジマネジメントシステム概要 3 ツリー型チェックリスト分析
目次 テスト分析 HAYST 法の分析 FV 表マインドマップお客様の視点 : 暗黙知効果これから
D-4 ソフトウエアテスト分析の方法 -HAYST 法とマインドマップをつかって - ソニー株式会社永田 敦 2008 年 1 月 30 日 目次 テスト分析 HAYST 法の分析 FV 表マインドマップお客様の視点 : 暗黙知効果これから テストプロセス テストプロセス JSTQB 終了処理 計画とコントロール 終了基準の検証とレポート 分析と設計 作成と実行 分析の位置づけ 計画 分析 テストベースレビュー
2008年度 設計手法標準化アンケート 集計結果
2011 年度 設計手法普及調査アンケート 集計経過報告 2012 年 2 月社団法人組込みシステム技術協会状態遷移設計研究会 目次 1. アンケート実施の目的 3 2. アンケートの実施対象 4 3. アンケート回答数 5 4. 実施したアンケートの内容 6 5. アンケート回答者の構成 8 6. アンケート集計結果 9 6.1 回答者の担当製品分野について 10 6.2 回答者の部門について 11
Microsoft PowerPoint - A3② JaSST_MISRA2004ソースコード品質診断.ppt
ISO/IEC9126 & MISRA-C:2004 ベースソースコード品質診断 ~ MISRA-C:2004 ベース品質診断のご紹介 ~ 株式会社東陽テクニカソフトウェア ソリューション MISRA とは Motor Industry Software Reliability Association の略 ヨーロッパ自動車技術会 (MIRA) の下部組織 MIRA: Motor Industry
ET ロボコンにおける STAMP/STPA の試 およびウエブベース STPA ツールの設計と開発 阿部惇朗 古川優也 松野裕 本 学岡本圭史仙台 専 2016 阿部惇朗 古川優也 松野裕 岡本圭史
ET ロボコンにおける STAMP/STPA の試 およびウエブベース STPA ツールの設計と開発 阿部惇朗 古川優也 松野裕 本 学岡本圭史仙台 専 内容 研究背景 : 複雑化するシステムのリスク分析 ET ロボコンにおける STAMP/STPA の試 他のリスク分析 法との 較 試 をもとにした STAMP/STPA ツールの設計 ウエブベースツールの開発およびデモ 研究背景 : 複雑化するシステムのリスク分析
Microsoft PowerPoint - 【最終提出版】 MATLAB_EXPO2014講演資料_ルネサス菅原.pptx
MATLAB/Simulink を使用したモータ制御アプリのモデルベース開発事例 ルネサスエレクトロニクス株式会社 第二ソリューション事業本部産業第一事業部家電ソリューション部 Rev. 1.00 2014 Renesas Electronics Corporation. All rights reserved. IAAS-AA-14-0202-1 目次 1. はじめに 1.1 モデルベース開発とは?
2. 目的 1RationalRose を利用する場合にプログラム仕様書としての最低限必要な記述項目を明確にする 2 プログラム仕様書として記載内容に不足がない事をチェックする 3UML の知識があるものであれば 仕様書の内容を理解できること 4Rose にて入力した内容を SoDaWord を利用
プログラム仕様書 (UML 表記法 ) ガイドライン 本仕様書に UML(Rational Rose 使用 ) を用いてプログラム仕様書を作成する際のガイドラインを記す 1. ドキュメントの様式について 1 ドキュメントは制御単位で作成する 2 表紙 及び変更履歴は SWS にて指定されたものを付加すること 3 下記の目次内で指定している UML 図 記述項目は必須項目とする 4SoDa にてドキュメントを出力する場合は
2. CABAC CABAC CABAC 1 1 CABAC Figure 1 Overview of CABAC 2 DCT 2 0/ /1 CABAC [3] 3. 2 値化部 コンテキスト計算部 2 値算術符号化部 CABAC CABAC
![2. CABAC CABAC CABAC 1 1 CABAC Figure 1 Overview of CABAC 2 DCT 2 0/ /1 CABAC [3] 3. 2 値化部 コンテキスト計算部 2 値算術符号化部 CABAC CABAC](/thumbs/92/108208872.jpg "2. CABAC CABAC CABAC 1 1 CABAC Figure 1 Overview of CABAC 2 DCT 2 0/ /1 CABAC [3] 3. 2 値化部 コンテキスト計算部 2 値算術符号化部 CABAC CABAC")
H.264 CABAC 1 1 1 1 1 2, CABAC(Context-based Adaptive Binary Arithmetic Coding) H.264, CABAC, A Parallelization Technology of H.264 CABAC For Real Time Encoder of Moving Picture YUSUKE YATABE 1 HIRONORI
Hitachi Field Matching Hitachi Recruiting My Page Hit
01 02 03 Hitachi Field Matching 008 010 020 026 030 036 038 040 046 050 052 062 064 066 Hitachi Recruiting My Page 068 070 072 074 076 080 082 002 Hitachi Field Navigator Hitachi Field Navigator 003 BUSINESS
背景 1 / Reprinted with permission from paper c 2013 SAE International.
車載グラフィックメータ開発プロセス革新への挑戦 ~ REMO ZIPC による 3D HMI 開発事例 ~ 西川良一株式会社デンソー情報通信システム開発部 背景 1 / 17 2008 2009 2010 2011 2012 2013 Reprinted with permission from paper 2013-01 01-04250425 c 2013 SAE International.
Microsoft PowerPoint - QConSysML_100.ppt [互換モード]
![Microsoft PowerPoint - QConSysML_100.ppt [互換モード]](/thumbs/91/105425366.jpg "Microsoft PowerPoint - QConSysML_100.ppt [互換モード]")
システムエンジニアリングプロセスへの SysML 適用のポイント ~ システムモデリングの有効利用 ~ 2012/04/17 株式会社豆蔵 井上樹 Copyright 2012 Mamezou Co.,Ltd. All rights reserved 1 アジェンダ SysMLの現在 Model-Based Systems Engineering(MBSE) とは SysML 適用のポイント Copyright
システムインテグレーション
IAF 第 6 回情報 モデリング 運用 WG セミナー 2015 年 2 月 9 日 ( 月 ) システムズモデリング言語 SysML の活用 慶應義塾大学大学院システムデザイン マネジメント研究科 教授西村秀和 http: lab.sdm.keio.ac.jp/nismlab/ 1 システムとは何か? システム : 相互に関連し全体として機能するコンポーネントの集まりハードウェア, ソフトウェア,
CREST ディペンダブル VLSI システムの基盤技術 研究領域会議 ISO26262 ISO26262 Contents ISO26262 ECU ECU Copyright Hitachi Automotive Systems, Ltd. All rights reserved
CREST ディペンダブル VLSI システムの基盤技術 研究領域会議 2012-1 Contents ECU ECU 会社概要 日立の自動車機器事業は 1930 1930 年自動車用電装品の国産化から開始 2009 2009 年 7 月 : 日立製作所から分社 日立オートモティブシステムズ 商号 事業内容 代表者 日立オートモティブシステムズ株式会社 ( 英文名 :Hitachi Automotive
目次 1: 安全性とソフトウェア 2: 宇宙機ソフトウェアにおける 安全 とは 3:CBCS 安全要求とは 4: 宇宙機ソフトウェアの実装例 5: 安全設計から得た新たな知見 6: 今後 2
宇宙機ソフトウェアにおける 安全要求と設計事例 宇宙航空研究開発機構 (JAXA) 情報 計算工学センター (JEDI) 梅田浩貴 (Hiroki Umeda) 目次 1: 安全性とソフトウェア 2: 宇宙機ソフトウェアにおける 安全 とは 3:CBCS 安全要求とは 4: 宇宙機ソフトウェアの実装例 5: 安全設計から得た新たな知見 6: 今後 2 1.1 安全性とは 安全性と信頼性の違いの例開かない踏切りは
Copyright Compita Japan ISO33k シリーズとは? これまで使用されてきたプロセスアセスメント標準 (ISO/IEC 本稿では以降 ISO15504 と略称する ) は 2006 年に基本セットが完成し 既に 8 年以上が経過しています ISO
新アセスメント規格 ISO 33K シリーズの概要 2015 年 4 月 9 日 コンピータジャパン Copyright Compita Japan 2015 2 ISO33k シリーズとは? これまで使用されてきたプロセスアセスメント標準 (ISO/IEC 15504 - 本稿では以降 ISO15504 と略称する ) は 2006 年に基本セットが完成し 既に 8 年以上が経過しています ISO15504
クラス図とシーケンス図の整合性確保 マニュアル
Consistency between Class and Sequence by SparxSystems Japan Enterprise Architect 日本語版 クラス図とシーケンス図の整合性確保マニュアル (2011/12/6 最終更新 ) 1 1. はじめに UML を利用したモデリングにおいて クラス図は最も利用される図の 1 つです クラス図は対象のシステムなどの構造をモデリングするために利用されます
Information Architecture Field Information Architecture Field Information Architecture Field Information Architecture Field Information Architecture Field Information Architecture Field Information Architecture
- Principles for a Telecommunications management network 2.0 2001 11 27 THE TELECOMMUNICATION TECHNOLOGY COMMITTEE 2 JT-M3010 ...19...20...20...20...20...21...22...23...24 3 JT-M3010 ...26...28...29...34...34...35...35...37...37...37...37...37
システムの安全性を記述するためのモデリング言語「SafeML」
SysML を拡張した SafeML で シ ステムの安全性をモデル化 設 計しよう Geoffrey Biggs 産業技術総合研究所知能システム研究部門ディペンダブルシステム研究グループ この発表の目的 安全情報をモデル化することの利点を理解する SafeML を用いた安全情報管理方法とコミュニケーションを支援する方法 SafeML を用いた安全分析 安全設計のモデル化方法 SafeML の使用を支援するツールのポテンシャルについて
Oracle Un お問合せ : Oracle Data Integrator 11g: データ統合設定と管理 期間 ( 標準日数 ):5 コースの概要 Oracle Data Integratorは すべてのデータ統合要件 ( 大量の高パフォーマンス バッチ ローブンの統合プロセスおよ
Oracle Un お問合せ : 0120- Oracle Data Integrator 11g: データ統合設定と管理 期間 ( 標準日数 ):5 コースの概要 Oracle Data Integratorは すべてのデータ統合要件 ( 大量の高パフォーマンス バッチ ローブンの統合プロセスおよびSOA 対応データ サービスへ ) を網羅する総合的なデータ統合プラットフォームです Oracle
組込みシステムにおける UMLモデルカタログの実践研究
Modeling Forum 2015 組込みシステムの設計実装への モデルカタログの活用 仙台高等専門学校 情報システム工学科 力武克彰, 新村祐太 ( 豊橋技科大 ), 菊池雄太郎 ( 仙台高専 ) 概要 組込み分野のための UML モデルカタログ (*) のモデルを実装してみました (* 以下 モデルカタログと呼びます ) 2 概要 モデルカタログ : 目標制御モデル モデルカタログより引用
Microsoft Word - TestReport_PRIMEPOWER250_ doc
動作確認完了報告書 評価内容 : 富士通 PRIMEPOWER250 と当該サーバ自動電源制御機能 APCS ハードウェア監視機能 SCF APC PowerChute Network Shutdown2.2.1 との連携動作について 評価実施者 : 白坂健一郎会社名 : 株式会社エーピーシー ジャパン評価実施日 : 2006 年 1 月 13 日 17 日 27 日 2 月 20 日 OEMFJ060127-005
人は見たいモノしか見ない Moonwalking Bear に気づかない 放射線技師の 83% がゴリラを見逃した 俯瞰的にものごとを捉えるのは簡単ではない だからこそ 武器 が必要 2
システムズエンジニアリング入門 ~IoT 時代の価値実現に必須となるアプローチ ~ 慶應義塾大学システムデザイン マネジメント研究科准教授白坂成功 1 人は見たいモノしか見ない Moonwalking Bear に気づかない 放射線技師の 83% がゴリラを見逃した 俯瞰的にものごとを捉えるのは簡単ではない だからこそ 武器 が必要 2 自己紹介 修士 : 東京大学大学院工学系研究科 博士 : 慶應義塾大学大学院
Oracle Business Rules
Oracle Business Rules Manoj Das(manoj.das@oracle.com) Product Management, Oracle Integration 3 Oracle Business Rules について Oracle Business Rules とはビジネスの重要な決定と方針 ビジネスの方針 実行方針 承認基盤など 制約 有効な設定 規制要件など 計算 割引
PowerPoint プレゼンテーション
SysML を活用したシステムエンジニアリング オージス総研組み込みソリューション部 1 アジェンダ 概要編なぜシステムエンジニアリングかシステムエンジニアリングとはシステムエンジニアリングとモデリング言語 SysML の特徴実践編機能要求を検討する要求を仕様化する振る舞いを検討する構造を検討する論理ブロックを物理ブロックに割り当てる性能を検討するまとめ 2 概要編 : なぜシステムエンジニアリングか
2008年度 設計手法標準化アンケート 集計結果
2012 年度 設計手法普及調査アンケート 集計報告 2013 年 2 月一般社団法人組込みシステム技術協会状態遷移設計研究会 目次 1. アンケート実施の目的 3 2. アンケートの実施対象 4 3. アンケート回答数 5 4. 実施したアンケートの内容 6 5. アンケート回答者の構成 8 6. アンケート集計結果 9 6.1 技術分野 対象 OS 開発言語について 10 6.2 使用している開発方法論について
スライド 1
2007 10 9 PRIUS LS460 Direct Injection In E VVT-i 9 17 5 6 12 18 7 11 24 10 27 16 15 4 16 25 25 16 4 15 4 16 19 4 26 14 13 19 20 20 8 22 21 3 1 23 21 2 ECU 200 V6 3.0L 3GR-FSE (MIPS) CPU speed 400 100
VDM-SL ISO.VDM++ VDM-SL VDM- RT VDM++ VDM,.VDM, [5]. VDM VDM++.,,, [7]., VDM++.,., [7] VDM++.,,,,,,,.,,, VDM VDMTools OvertureTo
![VDM-SL ISO.VDM++ VDM-SL VDM- RT VDM++ VDM,.VDM, [5]. VDM VDM++.,,, [7]., VDM++.,., [7] VDM++.,,,,,,,.,,, VDM VDMTools OvertureTo](/thumbs/71/65592156.jpg "VDM-SL ISO.VDM++ VDM-SL VDM- RT VDM++ VDM,.VDM, [5]. VDM VDM++.,,, [7]., VDM++.,., [7] VDM++.,,,,,,,.,,, VDM VDMTools OvertureTo")
KAOS 1 1 1 1 1,.,. ( ). KAOS VDM++.,.,,, 1. 1.1,, [1].,,, [2].,, [3]. 1.2 ( ),, [3] KAOS, VDM++, KAOS VDM++ 1 Kyushu University, KAOS,, KAOS, KAOS, VDM++., 1.3 2,., 3, KAOS VDM++. 4, 3,. 5 2. 2.1,,,,,
Microsoft PowerPoint - DO-178C満たすべきObjectivesとツール資格A.pptx
RTCA/DO-178C の詳細 ~ 満たすべき Objectives とツール資格について ~ 平成 5 年 1 月 6 日 MHIエアロスペースシステムズ株式会社 -1- 1.1 概要 DO-178C とは そのタイトルが Software Considerations in Airborne Systems and Equipment Certification であり RTCA( 航空無線技術委員会
Presentation Title
Simulink 環境で実施する ADAS( 先進運転支援システム ) 実験 MathWorks Japan アプリケーションエンジニアリング部制御 村上直也 2015 The MathWorks, Inc. 1 Agenda はじめに 弊社 ADAS 環境関連紹介 弊社 ADAS 関連製品を使用した DEMO ADAS 関連開発適用事例 まとめ 2 はじめに ADAS システムは今後もますます普及が進むと考えられる
2008年度 設計手法標準化アンケート 集計結果
2010 年度 設計手法普及調査アンケート 集計経過報告 2011 年 8 月社団法人組込みシステム技術協会状態遷移設計研究会 目次 1. アンケート実施の目的 3 2. アンケートの実施対象 4 3. アンケート回答数 5 4. 実施したアンケートの内容 6 5. アンケート回答者の構成 8 5.1 アンケート回答者の構成 : 製品分野 9 5.2 アンケート回答者の構成 : 部門 10 6. アンケート集計結果
ISO 9001:2015 改定セミナー (JIS Q 9001:2015 準拠 ) 第 4.2 版 株式会社 TBC ソリューションズ プログラム 年版改定の概要 年版の6 大重点ポイントと対策 年版と2008 年版の相違 年版への移行の実務
ISO 9001:2015 改定セミナー (JIS Q 9001:2015 準拠 ) 第 4.2 版 株式会社 TBC ソリューションズ プログラム 1.2015 年版改定の概要 2.2015 年版の6 大重点ポイントと対策 3.2015 年版と2008 年版の相違 4.2015 年版への移行の実務 TBC Solutions Co.Ltd. 2 1.1 改定の背景 ISO 9001(QMS) ISO
システムとは何か? システム : 相互に関連し全体として機能するコンポーネントの集まり. ハードウェア, ソフトウェア, 人, 設備などで構成される. 環境 境界 :boundary アクター actor: 行為者 ( 人とは限らない ) Use Case1 System of interest 対
ET2015/IoT2015 SEC 先端技術入門ゼミ 2015 年 11 月 18-20 日 モデルに基づくシステムズエンジニアリング (MBSE) 入門 ~ システムモデルの意味と活用について ~ 慶應義塾大学大学院システムデザイン マネジメント研究科 教授 西村秀和 システムとは何か? システム : 相互に関連し全体として機能するコンポーネントの集まり. ハードウェア, ソフトウェア, 人,
PowerPoint Presentation
Simulink +Unreal Engine 連携による ADAS/ 自動運転シミュレーション環境 MathWorks Japan アプリケーションエンジニアリング部宮川浩 2015 The MathWorks, Inc. 1 Session Key Take Away MathWorks は 自動運転システム開発に必要な フルビークルモデルを提供します 3 自動車業界のメガトレンド Connectivity
Fig. 2 Signal plane divided into cell of DWT Fig. 1 Schematic diagram for the monitoring system
Study of Health Monitoring of Vehicle Structure by Using Feature Extraction based on Discrete Wavelet Transform Akihisa TABATA *4, Yoshio AOKI, Kazutaka ANDO and Masataka KATO Department of Precision Machinery
ET2014 ミニセミナー フィーチャー図と BricRobo で 簡単プロダクトライン 2014/11/19~21 ( 株 ) 富士通コンピュータテクノロジーズ伊澤松太朗 1294karch01 Copyright 2014 FUJITSU COMPUTER TECHNOLOGIES LIMITE
ET2014 ミニセミナー フィーチャー図と BricRobo で 簡単プロダクトライン 2014/11/19~21 ( 株 ) 富士通コンピュータテクノロジーズ伊澤松太朗 1294karch01 目次 1. 当社のご紹介 2. 派生開発でよくある課題 3. フィーチャー図のススメ 4. フィーチャー図と BricRobo による簡単プロダクトライン開発 1 当社のご紹介 2 会社概要 株式会社富士通コンピュータテクノロジーズ
Microsoft PowerPoint - １．プロセス制御の概要.pptx
プロセス制御工学 1. プロセス制御の概要 京都大学 加納学 Division of Process Control & Process Systems Engineering Department of Chemical Engineering, Kyoto University manabu@cheme.kyoto-u.ac.jp http://www-pse.cheme.kyoto-u.ac.jp/~kano/
ホンダにおける RT ミドルウェア開発と標準化活動 株式会社本田技術研究所基礎技術研究センター関谷眞
ホンダにおける RT ミドルウェア開発と標準化活動 株式会社本田技術研究所基礎技術研究センター関谷眞 目次 知能ロボットシステム概要 コンポーネント指向ミドルウェア HRTMの開発 ASIMOへの適用 HRTMとOpenRTM-aistの連携動作 標準化活動 知能ロボットシステム概要 センサーやアクチュエーターは追加や変更される システム構成は変更したくない センサー, アクチュエーターの関係を抽象化した
リサーチ ダイジェスト KR-046 日本における STAMP/STPA への取り組みと鉄道システムへの適用に関する調査研究 日本大学理工学部応用情報工学科教授高橋聖 1. はじめに 鉄道システム 特に列車制御システムには高い安全性が求められている 列車制御システムにはコンピュータが用いられており
日本における STAMP/STPA への取り組みと鉄道システムへの適用に関する調査研究 日本大学理工学部応用情報工学科教授高橋聖 1. はじめに 鉄道システム 特に列車制御システムには高い安全性が求められている 列車制御システムにはコンピュータが用いられており 高機能化に伴いますます大規模かつ複雑化している そして システム同士のみならず 人とシステムの間の複合的な原因による障害も懸念される このようなシステムの安全性解析には
PowerPoint
2011 12 6PTC Live TechForum TOKYO manji@rd.denso.co.jp 1/ 52 1949 12 16 1,874 ( ) 1 9,457 3 1,315 ( ) 38,318 123,165 ( ) 2011 3 31 Gr. Gr. Gr. Gr. Gr. PF 2/ 52 1 2 3 4PMT 5 Integrity 6 7 8 1/2 3/ 52 OEM
表紙1
Graduate School of Engineering Nagasaki Institute of Applied Science Graduate School of Engineering Nagasaki Institute of Applied Science Institute for Innovative Science and Technology Doctoral Program
2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事
2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事 豊山 祐一 Hitachi ULSI Systems Co., Ltd. 2015. All rights
NAC（CCA）： ACS 5.x 以降を使用した Clean Access Manager での認証の設定
NAC(CCA): ACS 5.x 以降を使用した Clean Access Manager での認証の設定 目次 概要前提条件要件使用するコンポーネント表記法設定ネットワーク図 ACS 5.x を使用した CCA での認証の設定 ACS5.x の設定トラブルシューティング関連情報 概要 このドキュメントでは Cisco Secure Access Control System(ACS)5.x 以降を使用して
PowerPoint プレゼンテーション
MATLAB 2008 5 22 Quick history - Cleve Moler s original MATLAB program Quick history The MathWorks in 1984 Cleve Moler Jack Little MATLAB/Simulink MATLAB 80 / MATLAB Toolbox 100 Simulink Blockset Stateflow
PowerPoint プレゼンテーション
SmartFactory を実現するために IoT プラットフォーム MindSphere デジタルツイン事例 ご紹介 株式会社電通国際情報サービスエンジニアリングソリューション事業部 1. 会社 事業紹介 2. IoT プラットフォーム MindSphere 紹介 3. デジタルツインデモ紹介 1 1. 会社 事業紹介 2. IoT プラットフォーム MindSphere 紹介 3. デジタルツインデモ紹介
Clavis DICOM適合宣言書
Clavis DICOM v3.0 Conformance Statement Storage Service Class Revision 1.1 E1J-HX0003-01 Hitachi, Ltd. 2016. All rights reserved. E1J-HX0003 ( ii ) 次 ページ 次... iii 1. Clavis 装置... 1 1.1 略語... 1 2. はじめに...
XJTAG
LDRA/ T-VEC/ MetaEdit+ Domain Specific Modeling Ashling/Jtag ARC SmartCards LAUTERBACH /Jtag ARM PowerPC K MIPS XJTAG HW Domain-Specific Modeling Domain-Specific Modeling Software Technology 30 Copyright
建設業界におけるICT施工の進展とバリューチェーン展開への取組み
ICT Approach to Value Chain Expansion and Information & Communication Technology (ICT) Development in A/E/C Industry 齋藤昌司 中山健 あらまし FsolICTQCDSE ICT Fsol ICT FsolICT Abstract Fsol has been engaged in system
Presentation Title
( ) 2017 The MathWorks, Inc. 1 新型乗用車の CO2 規制の比較 出典 :the International Council on Clean Transportation 2 自動車台数は今後も増加 多くの割合は内燃機関を使用 OEM 各社はコンセプト 想定ターゲットに応じて最適なパワートレインを選択 3 厳しい燃費規制に対応必至 従来の燃焼エンジンからフルバッテリのモータまで
Oracle Solaris 仮想環境とプロビジョン環境の構築
1 Oracle Solaris 仮想化環境と OS プロビジョニング環境の構築 日本オラクル株式会社プロダクト & パートナーソリューション本部シニア セールス コンサルタント黒田俊介 以下の事項は 弊社の一般的な製品の方向性に関する概要を説明するものです また 情報提供を唯一の目的とするものであり いかなる契約にも組み込むことはできません 以下の事項は マテリアルやコード 機能を提供することをコミットメント
国土技術政策総合研究所 研究資料
第 7 章 検査基準 7-1 検査の目的 検査の目的は 対向車両情報表示サービス 前方停止車両 低速車両情報表示サービスおよび その組み合わせサービスに必要な機能の品質を確認することである 解説 設備の設置後 機能や性能の総合的な調整を経て 検査基準に従い各設備検査を実施する 各設備検査の合格後 各設備間を接続した完成検査で機能 性能等のサービス仕様を満たしていることを確認する検査を実施し 合否を判定する
73-5 大友
373 73 5 20 9 373 377 Journal of the Japanese Association for Petroleum Technology Vol. 73, No. 5 Sept., 2008 pp. 373 377 Lecture HSQE * ** Received July 31, 2008 accepted September 11, 2008 Implementation
変更履歴 版日付改訂内容 /02/07 初版 1. 本書の著作権は EIZO 株式会社に帰属します 本書の一部あるいは全部を EIZO 株式会社からの事前の許諾を得ることなく転載することは固くお断りします 2. 本書の内容について 将来予告なしに変更することがあります 3. 本書の内
DICOM Conformance Statement 第 1 版 Network QC Management Software for Medical Imaging EIZO 株式会社 1/11 変更履歴 版日付改訂内容 001 2017/02/07 初版 1. 本書の著作権は EIZO 株式会社に帰属します 本書の一部あるいは全部を EIZO 株式会社からの事前の許諾を得ることなく転載することは固くお断りします
Microsoft PowerPoint - 04_01_text_UML_03-Sequence-Com.ppt
システム設計 (1) シーケンス図 コミュニケーション図等 1 今日の演習のねらい 2 今日の演習のねらい 情報システムを構成するオブジェクトの考え方を理解す る 業務プロセスでのオブジェクトの相互作用を考える シーケンス図 コミュニケーション図を作成する 前回までの講義システム開発の上流工程として 要求仕様を確定パソコンを注文するまでのユースケースユースケースから画面の検討イベントフロー アクティビティ図
5005-toku3.indd
3 1 CMMICMM Capability Maturity Model ISO : International Organization for Standardization IEC : International Electrotechnical CommissionJTC1 : Joint Technical Committee 1SC7 : Sub Committee 7 SC7 WG
Congress Deep Dive
Congress Deep Dive NTT 室井雅仁 2016 NTT Software Innovation Center 自己紹介 室井雅仁 ( むろいまさひと ) 所属 : NTT OpenStack を利用した OSS クラウドのアーキテクトを担当 社内向け OpenStack 環境の運用 コミュニティへフィードバック OpenStack Congress Core Reviewer https://wiki.openstack.org/wiki/congress
1 JAXA IV&V の概要 ~IV&V と評価戦略可視化の関係 ~ 2016 年 01 月 19 日 国立研究開発法人宇宙航空研究開発機構研究開発部門第三研究ユニット Copyright 2015 JAXA all rights reserved.
1 JAXA IV&V の概要 ~IV&V と評価戦略可視化の関係 ~ 2016 年 01 月 19 日 国立研究開発法人宇宙航空研究開発機構研究開発部門第三研究ユニット Copyright 2015 JAXA all rights reserved. 2015 JAXA 2 本発表の目的 1. JAXA IV&V では なぜソフトウェア品質や評価戦略の可視化が必要であったのか理解する 2. JAXA
NISSIN REPORT 2015 17 18 19 20 21 22 23 1 2 3 5 7 9 10 11 12 13 15 1,500 1,000 500 0 1,033 2012 1,099 1,071 2013 2014 150 100 50 0 71 2012 95 90 2013 2014 44.2% 18.3% 22.4% 15.1% 49.5% 1.1% 28.4% 17.5%
スライド 1
ANDROMEDA Andromeda Simulation system 背景 自動車開発プロセスにおける試験機の位置づけと業界の動向 先行開発 製品開発 製品開発時の コンポーネント開発メニューとして提供する車両テスト実走行テスト E/G T/Mなどパワートレイン耐久 性能 適合試験などを行う完成車の試験を行う完成車の実走行試験を行う ECUなどエレクトロニクス関連 エンジン単体試験 耐久 性能試験
データベース 【1：データベースシステムとは】
データベース 1: データベースシステムとは 石川佳治 データベースシステムとは データベースシステム (database system) 各種アプリケーションが扱うデータ資源を統合して蓄積管理 効率的な共有, 高度な利用 アプリケーションシステムの例 ウェブサイト : ショッピングサイトなど 人事管理, 成績管理システム データベース (database, DB) 複数の応用目的での共有を意図して組織的かつ永続的に格納されたデータ群
IBM Rational Software Delivery Platform v7.0 What's
IBM Rational Software Delivery Platform V7.0 デスクトップ製品 V7.0 リリースの全体像および製品共通の新機能 2006 年 12 月 15 日 当資料は 2006/12/15 時点の情報に基づいて作成されていますが 事前の予告なく変更される場合があります IBM Tivoli WebSphere ClearCase ClearQuest Rational
ServerView Suite カタログ
FUJITSU Software ServerView Suite ServerView Suite FUJITSU Software ServerView Suite ServerView Suite ICT Deploy Control Dynamize Maintain Integrate ServerView Suite 5 Deploy Control Dynamize ICT Maintain
R80.10_FireWall_Config_Guide_Rev1
R80.10 ファイアウォール設定ガイド 1 はじめに 本ガイドでは基本的な FireWall ポリシーを作成することを目的とします 基本的な Security Management Security Gateway はすでにセットアップ済みであることを想定しています 分散構成セットアップ ガイド スタンドアロン構成セットアップ ガイド等を参照してください [Protected] Distribution
Interoperability Workshop
Access to Radiology Information Key Image Note IHE-J 接続検証委員会 IHE-J ベンダーワークショップ 2010 1 What IHE Delivers 放射線情報へのアクセス Access to Radiology Information ARI IHE-J ベンダーワークショップ 2010 2 What IHE Delivers Access
azbilグループ企業活動報告書2013_azbil report
azbil report 213 212213 3 3 2122,275 1.8%1346.5%832.5% 1633 azbil 212 213214 3 1221222 3 115 11 216217 3 4 213 213 7 azbil report 213 1 Contents azbil... 4 azbil... 6... 8 azbil...1 azbil...12 azbil...18...2...2...22...24...26
複雑システムの安全設計への パラダイムシフト ~ システム理論に基づく新しい安全解析法 STAMP/STPA の実践 ~ 2017 年 11 月 16 日会津大学名誉教授 IPA/SEC IoTシステム安全性向上技術 WG 主査兼本茂 ET/IoT2017 Booth Presentation
複雑システムの安全設計への パラダイムシフト ~ システム理論に基づく新しい安全解析法 STAMP/STPA の実践 ~ 2017 年 11 月 16 日会津大学名誉教授 IPA/SEC IoTシステム安全性向上技術 WG 主査兼本茂 これからの複雑システムとは? 人と複雑ソフトウェアを含む組込みシステム 2 これからの複雑システムとは? 人 人間 機械協調制御システムがますます高度化し さらに 日常生活にも入り込む
ダンプ取得機能強化サポートオプション Enterprise Edition
株式会社様 ダンプ取得機能強化サポートオプション Enterprise Edition Enterprise Event Recorder for Linux 2017/06 株式会社日立製作所システム & サービスビジネス IoT クラウドサービス事業部オペレーティングシステム本部 1. ダンプ取得機能強化サポート Enterprise Editionの位置付け ダンプ取得機能強化サポート Enterprise
高信頼RTミドルウエアの開発
P04 RT,,,,,,,,,,,, Development of Dependable RT-Middleware Noriaki Ando, Geoffrey Biggs, Yoshihiro Nakabo, Daichi Mizuguchi, Kiyoshi Fujiwara, Isao Hara, Tetsuo Kotoku, AIST, Masayoshi Kondo, Mitsuhiro
Release Note for Recording Server Monitoring Tool V1.1.1 (Japanese)
Recording Server Monitoring Tool リリースノート ソフトウェアバージョン 1.1.1 第 2 版 ( 最終修正日 2013 年 10 月 10 日 ) c 2013 Sony Corporation 著作権について権利者の許諾を得ることなく このソフトウェアおよび本書の内容の全部または一部を複写すること およびこのソフトウェアを賃貸に使用することは 著作権法上禁止されております
ログを活用したActive Directoryに対する攻撃の検知と対策
電子署名者 : Japan Computer Emergency Response Team Coordination Center DN : c=jp, st=tokyo, l=chiyoda-ku, Japan Computer Emergency Response email=office@jpcert.or.jp, o=japan Computer Emergency Response Team
地球観測衛星データの保存・配布システム
Earth Remote Sensing Data Archive and Distribution System NASAEOS Earth Observing SystemASTER Advanced Spaceborne Thermal Emission and Reflection Radiometer ASTERASTER EOS ASTER DADSData Archive and Distribution
どのような便益があり得るか? より重要な ( ハイリスクの ) プロセス及びそれらのアウトプットに焦点が当たる 相互に依存するプロセスについての理解 定義及び統合が改善される プロセス及びマネジメントシステム全体の計画策定 実施 確認及び改善の体系的なマネジメント 資源の有効利用及び説明責任の強化
ISO 9001:2015 におけるプロセスアプローチ この文書の目的 : この文書の目的は ISO 9001:2015 におけるプロセスアプローチについて説明することである プロセスアプローチは 業種 形態 規模又は複雑さに関わらず あらゆる組織及びマネジメントシステムに適用することができる プロセスアプローチとは何か? 全ての組織が目標達成のためにプロセスを用いている プロセスとは : インプットを使用して意図した結果を生み出す
三菱電線工業時報 第 105 号 2008 年 10 月 1 High-speed disaster prevention radio information system R-LCX50-4SL-75 LANIEEE b/g R-LCX50-4SL D 2 1
1 GHz GHz 帯長距離漏洩同軸ケーブルを用いた高速防災無線情報システムの研究開発 High Speed Communication System for Emergencies Using Long-distance GHz Leaky Coaxial Cables 長野県工業技術総合センター 国立大学法人信州大学 株式会社サーキットデザイン 加賀電子株式会社 菱星通信システム株式会社ネットワーク技術部