2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事

Size: px
Start display at page:

Download "2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事"

Transcription

1 2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事 豊山 祐一 Hitachi ULSI Systems Co., Ltd All rights reserved.

2 自己紹介 豊山祐一 ( とよやまゆういち ) 株式会社日立超 LSIシステムズシステム製品事業部製品ソリューション設計部主管技師 1986 年入社以来 組込みシステムのソフト開発に従事 2002~2008 年 YRP ユビキタス ネットワーク研究所に出向坂村教授のもと T-Kernel の開発などに取り組む 2009 年 ~ 日立超 LSI にて T-Kernel を中心とした組込みソフトの開発に 2015 年トロンフォーラム TRON Safe Kernel WG 幹事を務め 機能安全 OS の開発に取り組む Hitachi ULSI Systems Co., Ltd All rights reserved. 1

3 TRON Safe Kernel WG 組込システムの様々な分野で機能安全認証の必要性が増大 組込システム向け RTOS の機能安全対応が必要 トロン仕様 RTOS が機能安全規格に対応することが強く求められる 2015 年トロンフォーラム内に TRON Safe Kernel WG を設立 座長坂村健東京大学教授 トロンフォーラム会長 目的 機能安全規格に対応した RTOS である TRON Safe Kernel の仕様策定および開発 仕様とソースコードの一般公開をめざす Hitachi ULSI Systems Co., Ltd All rights reserved. 2

4 TRON Safe Kernel の目標 組込システム向け機能安全 RTOS IEC61508 SIL3 の第三者認証可能な RTOS を目標とする 機能安全 RTOS には何が必要か? 規格面 ニーズ面から分析 組込システム向けとしてリアルタイム性能は重要 IEC61508 SIL3 が OS に要求する機能を満たすこと 規格が要求する開発プロセスによる開発 異常を検出し安全状態へ移行する機能 安全水準の異なるソフトを実行 既存ソフト 機能安全に関わらないソフトも実行 すべてのソフトを SIL3 で開発するのは困難 以上を踏まえて仕様を検討 Hitachi ULSI Systems Co., Ltd All rights reserved. 3

5 TRON Safe Kernel の要求レベル 規格面 ニーズ面の分析から機能安全 RTOS への要求を 4 つのレベルに分類 要求レベル 0 リアルタイム性能 組込システム向けの RTOS として充分なリアルタイム性能 ( 応答性 時間予測性 ) を持つこと 要求レベル 1 SIL3 認証レベルの開発 OS 自体が IEC61508 SIL3 の認証レベルで開発 V 字モデルの開発プロセス ソースコードの静的解析 動的オブジェクトの排除など 要求レベル 2 基本的な安全機能 システムの異常動作を検出し 安全状態に移行 ハードウェア ソフトウェアの故障検出 要求レベル 3 より高度な安全機能 安全水準の異なるアプリケーションを実行 非安全アプリの安全な実行 ソフトウェアの空間的 時間的分離 Hitachi ULSI Systems Co., Ltd All rights reserved. 4

6 TRON Safe Kernel の要求レベル 0 充分なリアルタイム性能 ( 応答性 時間予測性 ) を持つこと T-Kernel/μITRON と同様のスケジューリング方式 単一スケジューラによる絶対優先度に基づくスケジューリングを採用 タイムパーティションは応答性に影響が大きいため 標準のスケジューラとしては採用しない ただし 機能安全の観点から時間監視 非安全ソフトの優先度制約などを追加する 安全ソフト 非安全ソフトのタスク スケジューリングの例高安全ソフトのタスク優先度 タスク A 優先度 タスク B タスク C タスク D 非安全ソフトのタスク優先度 低 時間 Hitachi ULSI Systems Co., Ltd All rights reserved. 5

7 TRON Safe Kernel の要求レベル 1 OS 自体が IEC61508 SIL3 の認証レベルで開発 SIL3 開発に必要されるもの ( 例として ) 厳密な V 字開発プロセス 静的解析によるソースコード検証 (MISRA-C など ) 安全な設計手法の適用 動的な資源管理の排除 信頼できるアルゴリズムの適用 V 字開発プロセスの例 機能設計 総合テスト 方式設計 結合テスト 詳細設計 単体テスト コーディング Hitachi ULSI Systems Co., Ltd All rights reserved. 6

8 TRON Safe Kernel の要求レベル 2 システムの異常動作を検出し 安全状態に移行 ハードウェア ソフトウェアの故障診断 異常処理 ハードウェアやアプリケーションの故障 ( 異常 ) は 製品に固有である ただし OS として故障診断を実行し 検出した異常に対する仕組みを提供する 異常例外処理 プロセッサによる異常検出 ( メモリ違反 未定義命令など ) OS による異常検出 ( スタックオーバーフローなど ) 異常例外処理該当するハンドラを実行 異常例外異常例外ハンドラ異常例外ハンドラハンドラ 故障診断による異常検出 ( 製品毎に定義 ) Hitachi ULSI Systems Co., Ltd All rights reserved. 7

9 TRON Safe Kernel の要求レベル 3 安全水準の異なるアプリケーションを実行 全てのソフトウェアを機能安全に開発することは大変 既存のソフト資産を活用したい 非安全ソフトを安全に実行する機能を提供 ソフトウェアの空間的 時間的分離し 非安全ソフトが安全ソフトの実行を阻害しないようにすることにより実現 ドメインによる安全ソフトと非安全ソフトの分離 安全ドメイン 通常ドメイン 空間的分離ドメインは独立したメモリ空間ドメイン間のメモリアクセスは不可 安全アプリ (SIL3) 通常アプリ ( 非安全 ) 時間的分離ドメイン毎にプロセッサ使用時間を管理 制約が可能 Hitachi ULSI Systems Co., Ltd All rights reserved. 8

10 TRON Safe Kernel の機能 これまでの検討をふまえて T-Kernel2.0 をベースに安全機能を拡張 故障診断機能 : 異常例外機能 : ドメイン機能 : システムの故障診断異常検出時の安全動作ソフトを空間的 時間的に分離 TRON Safe Kernel 機能仕様書 トロンフォーラムより 2016 年前半に一般公開予定 Hitachi ULSI Systems Co., Ltd All rights reserved. 9

11 日立超 LSI システムズの取組み トロンフォーラム WG 幹事として TRON Safe Kernel の仕様策定 開発に取り組んでいます ここで得られた知識 ノウハウ 技術をもとに 機能安全ソリューションのサービスを開始します TRON Safe Kernel を活用した機能安全ソフトウェア開発のコンサルティング 組込機器への TRON Safe Kernel の実装と適応化 詳細はホームページをご覧ください Hitachi ULSI Systems Co., Ltd All rights reserved. 10

untitled

untitled http://www.riskdatabank.co.jp The of Japan, Ltd. All rights reserved. 2 The of Japan, Ltd. All rights reserved. 3 The of Japan, Ltd. All rights reserved. 4 The of Japan, Ltd. All rights reserved. 5 The

More information

弥生会計/やよいの青色申告

弥生会計/やよいの青色申告 c c c c c 1 c c c c c c c c c c c 2 3 c c 4 a a a a a a a a a

More information

Fuji Xerox Co., Ltd. All rights reserved.

Fuji Xerox Co., Ltd. All rights reserved. 2011 Fuji Xerox Co., Ltd. All rights reserved. 2 2011 Fuji Xerox Co., Ltd. All rights reserved. 2011 Fuji Xerox Co., Ltd. All rights reserved. 2011 Fuji Xerox Co., Ltd. All rights reserved. 2011 Fuji Xerox

More information

Microsoft PowerPoint - 【最終提出版】 MATLAB_EXPO2014講演資料_ルネサス菅原.pptx

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 モデルベース開発とは?

More information

(c) PIXTA Co. Ltd. All Rights Reserved.

(c) PIXTA Co. Ltd. All Rights Reserved. 2006-2011 (c) PIXTA Co. Ltd. All Rights Reserved. 2006-2011 (c) PIXTA Co. Ltd. All Rights Reserved. 2006-2011 (c) PIXTA Co. Ltd. All Rights Reserved. 2006-2011 (c) PIXTA Co. Ltd. All Rights Reserved. 2006-2011

More information

<4D F736F F F696E74202D2091E63389F15F8FEE95F1835A834C A CC B5A8F FD E835A835890A78CE C CC835A834C A A2E >

<4D F736F F F696E74202D2091E63389F15F8FEE95F1835A834C A CC B5A8F FD E835A835890A78CE C CC835A834C A A2E > 身近な情報利活用による生活環境の事例をベースに ネットワークがなかった時代の生活環境と比較させながら IT により生活が豊かに変化したことについて解説します 1. 身近な情報利活用の事例 スライド上部の事例を紹介します 学生が利用している情報サービスについて問いかけます IT によって実現していることについて説明します 2. ネットワークがなかった時代 スライド上部の事例を活用し 過去の事例を紹介します

More information

組込み Linux の起動高速化 株式会社富士通コンピュータテクノロジーズ 亀山英司 1218ka01 Copyright 2013 FUJITSU COMPUTER TECHNOLOGIES LIMITED

組込み Linux の起動高速化 株式会社富士通コンピュータテクノロジーズ 亀山英司 1218ka01 Copyright 2013 FUJITSU COMPUTER TECHNOLOGIES LIMITED 組込み Linux の起動高速化 株式会社富士通コンピュータテクノロジーズ 亀山英司 1218ka01 組込み Linux における起動高速化 組込み Linux の起動時間短縮について依頼あり スペック CPU : Cortex-A9 ( 800MB - single) RAM: 500MB 程度 要件 起動時間 画出し 5 秒 音出し 3 秒 終了時間 数 ms で電源断 1 課題と対策 問題点

More information

PPTテンプレート集 ver.1.0

PPTテンプレート集 ver.1.0 Copyright 2012 Radishbo-ya co., Ltd All Rights Reserved. 1 !!!!!!!!!! Copyright 2012 Radishbo-ya co., Ltd All Rights Reserved. 2 Copyright 2012 Radishbo-ya co., Ltd All Rights Reserved. Copyright 2012

More information

すべてがオープン API 連携する IoS 社会へ TRON の成果が一堂に会します ごあいさつ トロンプロジェクトでは 年にプロジェクト開始当初から オープンアーキテクチャ という哲学のもと 組込みシステムで用いるリアルタイム O S の仕様 ( T R O N ) を 世界中の誰でも

すべてがオープン API 連携する IoS 社会へ TRON の成果が一堂に会します ごあいさつ トロンプロジェクトでは 年にプロジェクト開始当初から オープンアーキテクチャ という哲学のもと 組込みシステムで用いるリアルタイム O S の仕様 ( T R O N ) を 世界中の誰でも 2O18 TRON Symposium www.tronshow.org 2018 TRON Symposium -TRONSHOW- IEEE Consumer Electronics SocietyCES すべてがオープン API 連携する IoS 社会へ TRON の成果が一堂に会します ごあいさつ トロンプロジェクトでは 198 4 年にプロジェクト開始当初から オープンアーキテクチャ という哲学のもと

More information

BE-EPK732 2007 Panasonic Cycle Technology Co., Ltd. All Rights Reserved. 2 4 9 12 14 20 21 22 24 26 28 29 30 31 32 33 34 36 3 5 4 6 7 9 8 10 11 13 12 1. 5. 6. 3. 7. 2. 4. 15 14 16 17 18 19 20 21 1. 2.

More information

ハピタス のコピー.pages

ハピタス のコピー.pages Copyright (C) All Rights Reserved. 10 12,500 () ( ) ()() 1 : 2 : 3 : 2 4 : 5 : Copyright (C) All Rights Reserved. Copyright (C) All Rights Reserved. Copyright (C) All Rights Reserved. Copyright (C) All

More information

Copyright 2008 All Rights Reserved 2

Copyright 2008 All Rights Reserved 2 Copyright 2008 All Rights Reserved 1 Copyright 2008 All Rights Reserved 2 Copyright 2008 All Rights Reserved 3 Copyright 2008 All Rights Reserved 4 Copyright 2008 All Rights Reserved 5 Copyright 2008 All

More information

Copyright 2017 JAPAN POST BANK CO., LTD. All Rights Reserved. 1

Copyright 2017 JAPAN POST BANK CO., LTD. All Rights Reserved. 1 Copyright 2017 JAPAN POST BANK CO., LTD. All Rights Reserved. 1 Copyright 2017 JAPAN POST BANK CO., LTD. All Rights Reserved. 2 60 50 40 30 20 10 0 20173 20183 Copyright 2017 JAPAN POST BANK CO., LTD.

More information

P. 2 P. 4 P. 5 P. 6 P. 7 P. 9 P P.11 P.14 P.15 P.16 P.16 P.17 P.19 P.20 P.22 P P P P P P P P P

P. 2 P. 4 P. 5 P. 6 P. 7 P. 9 P P.11 P.14 P.15 P.16 P.16 P.17 P.19 P.20 P.22 P P P P P P P P P 201628 3 2016 5 13 P. 2 P. 4 P. 5 P. 6 P. 7 P. 9 P.10 2016 P.11 P.14 P.15 P.16 P.16 P.17 P.19 P.20 P.22 P.23 10 P.24 11 P.26 12 P.27 13 P.28 14 P.28 15 P.29 16 P.30 17 P.31 P.33 P.34 Copyright 2016 JAPAN

More information

P. 2 P. 4 P. 5 P. 6 P. 7 P. 9 P.10 P.12 P.13 P.14 P.14 P.15 P.17 P.18 P.20 P P P P P.25 P.27 P.28 Copyright 2016 JAPAN POST BA

P. 2 P. 4 P. 5 P. 6 P. 7 P. 9 P.10 P.12 P.13 P.14 P.14 P.15 P.17 P.18 P.20 P P P P P.25 P.27 P.28 Copyright 2016 JAPAN POST BA 201729 3 1 2016 8 12 P. 2 P. 4 P. 5 P. 6 P. 7 P. 9 P.10 P.12 P.13 P.14 P.14 P.15 P.17 P.18 P.20 P.21 10 P.22 11 P.23 12 P.24 13 P.25 P.27 P.28 Copyright 2016 JAPAN POST BANK CO., LTD. All Rights Reserved.

More information

Microsoft PowerPoint プレス発表_(森川).pptx

Microsoft PowerPoint プレス発表_(森川).pptx ESEC2016 プレス発表 Safety&Security 両規格に準拠した 統合開発支援サービスを開始 2016 年 5 月 11 日株式会社ヴィッツ執行役員機能安全開発部部長森川聡久 本発表の概要 株式会社ヴィッツは 機能安全開発支援だけでなく 組込みセキュリティ開発も統合した開発支援サービスを開始しました 2 当社の主な実績 機能安全 プロセス認証取得 IEC61508:2010 SIL3

More information

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 1

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実  1 個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 iwahashi@est.hi-ho.ne.jp Iwahashi.Masami@wak.msw.co.jp 1 改善効果 品質 : フロントローディングが進み流出不具合 0 継続生産性 : 平均 130% 改善 工数割合分析

More information

組込みシステムにおける UMLモデルカタログの実践研究

組込みシステムにおける UMLモデルカタログの実践研究 Modeling Forum 2015 組込みシステムの設計実装への モデルカタログの活用 仙台高等専門学校 情報システム工学科 力武克彰, 新村祐太 ( 豊橋技科大 ), 菊池雄太郎 ( 仙台高専 ) 概要 組込み分野のための UML モデルカタログ (*) のモデルを実装してみました (* 以下 モデルカタログと呼びます ) 2 概要 モデルカタログ : 目標制御モデル モデルカタログより引用

More information

PNopenseminar_2011_開発stack

PNopenseminar_2011_開発stack PROFINET Open Seminar 開発セミナー Software Stack FPGA IP core PROFINET 対応製品の開発 2 ユーザ要求要求は多種多様 複雑な規格の仕様を一から勉強するのはちょっと.. できるだけ短期間で 柔軟なスケジュールで進めたい既存のハードウェアを変更することなく PN を対応させたい将来的な仕様拡張に対してシームレスに統合したい同じハードウェアで複数の

More information

アジェンダ Renesas Synergy TM プラットフォーム構成 ThreadX とは ThreadX の状態遷移 ThreadX とμITRONの機能比較 まとめ ページ 2

アジェンダ Renesas Synergy TM プラットフォーム構成 ThreadX とは ThreadX の状態遷移 ThreadX とμITRONの機能比較 まとめ ページ 2 Renesas Synergy TM プラットフォーム ThreadX リアルタイム OS 紹介 アジェンダ Renesas Synergy TM プラットフォーム構成 ThreadX とは ThreadX の状態遷移 ThreadX とμITRONの機能比較 まとめ ページ 2 Synergy プラットフォーム構成中核を担う ThreadX リアルタイム OS ご紹介部分 ページ 3 ThreadX

More information

目次 1. はじめに SSL 通信を使用する上での課題 SSL アクセラレーターによる解決 SSL アクセラレーターの導入例 SSL アクセラレーターの効果... 6 富士通の SSL アクセラレーター装置のラインナップ... 8

目次 1. はじめに SSL 通信を使用する上での課題 SSL アクセラレーターによる解決 SSL アクセラレーターの導入例 SSL アクセラレーターの効果... 6 富士通の SSL アクセラレーター装置のラインナップ... 8 IPCOM 目次 1. はじめに... 1 2.SSL 通信を使用する上での課題... 2 3.SSL アクセラレーターによる解決... 3 4.SSL アクセラレーターの導入例... 4 5.SSL アクセラレーターの効果... 6 富士通の SSL アクセラレーター装置のラインナップ... 8 1. はじめに SSL は インターネット上で最も良く使われている暗号技術です SSL は 通信内容を暗号化して盗聴を防ぐ機能のほかに

More information

SafeG 高信頼組込みシステム向けデュアル OS モニタ Daniel Sangorrín, 本田晋也, 高田広章 名古屋大学 2010 年 12 月 3 日 この研究の一部は文部科学省のサポート受けて実施しています Daniel Sangorrín ( 名古屋大学 ) ET 横浜 2

SafeG 高信頼組込みシステム向けデュアル OS モニタ Daniel Sangorrín, 本田晋也, 高田広章 名古屋大学 2010 年 12 月 3 日 この研究の一部は文部科学省のサポート受けて実施しています Daniel Sangorrín ( 名古屋大学 ) ET 横浜 2 SafeG 高信頼組込みシステム向けデュアル OS モニタ Daniel Sangorrín, 本田晋也, 高田広章 名古屋大学 2010 年 12 月 3 日 この研究の一部は文部科学省のサポート受けて実施しています Daniel Sangorrín ( 名古屋大学 ) ET2010 - 横浜 2010 年 12 月 3 日 1 / 25 目次 1 Introduction 2 SafeG 3 Evaluation

More information

1000 Copyright(C)2009 All Rights Reserved - 2 -

1000 Copyright(C)2009 All Rights Reserved - 2 - 1000 Copyright(C)2009 All Rights Reserved - 1 - 1000 Copyright(C)2009 All Rights Reserved - 2 - 1000 Copyright(C)2009 All Rights Reserved - 3 - 1000 Copyright(C)2009 All Rights Reserved - 4 - 1000 Copyright(C)2009

More information

スキル領域 職種 : ソフトウェアデベロップメント スキル領域と SWD 経済産業省, 独立行政法人情報処理推進機構

スキル領域 職種 : ソフトウェアデベロップメント スキル領域と SWD 経済産業省, 独立行政法人情報処理推進機構 スキル領域と (8) ソフトウェアデベロップメント スキル領域と SWD-1 2012 経済産業省, 独立行政法人情報処理推進機構 スキル領域 職種 : ソフトウェアデベロップメント スキル領域と SWD-2 2012 経済産業省, 独立行政法人情報処理推進機構 専門分野 ソフトウェアデベロップメントのスキル領域 スキル項目 職種共通スキル 項目 全専門分野 ソフトウェアエンジニアリング Web アプリケーション技術

More information

エンジニアリング・サービスから見たMBD導入の成功・失敗

エンジニアリング・サービスから見たMBD導入の成功・失敗 2014 年 12 月 18 日 ( 金 ) 16:40-16:55 JMAAB 中部コンファレンス エンジニアリング サービスから見た MBD 導入の成功 失敗 COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 1 ガイオ テクノロジーとは 組み込み業界向け検証ツールメーカー コンパイラ 検証 テスト 解析ツール プロトタイピングツール エンジニアリングサービス

More information

科学技術振興調整費 中間成果報告書 若手任期付研究員支援 組込みアーキテクチャ協調型実時間 OS 研究期間 : 平成 13 年度 ~ 平成 15 年 6 月 北陸先端科学技術大学院大学田中清史

科学技術振興調整費 中間成果報告書 若手任期付研究員支援 組込みアーキテクチャ協調型実時間 OS 研究期間 : 平成 13 年度 ~ 平成 15 年 6 月 北陸先端科学技術大学院大学田中清史 科学技術振興調整費 中間成果報告書 若手任期付研究員支援 研究期間 : 平成 13 年度 ~ 平成 15 年 6 月 北陸先端科学技術大学院大学田中清史 研究計画の概要 p.1 研究成果の概要 p.3 研究成果の詳細報告 1. 動的スケジューリング方式に関する研究 p.5 2. μitron 仕様の API の実装 p.7 3. 試作 LSI における OS 機能の検証 p.9 引用文献 成果の発表

More information

ルネサス半導体セミナースケジュール

ルネサス半導体セミナースケジュール 1 3ページ 2018 年 7 12 4 6ページ 2018 年 1 6 2018/6/25 ルネサス半導体トレーニングセンター 2018 年 7 12 セミナースケジュール 製品セミナー RL78 RX RZ Renesas Synergy 7 8 9 10 11 12 RL78 1day 速習 動かしてみよう編 コース 8/7 9/26 12/11 1 間 ( 無料 ) 8/23 12/20 RL78

More information

Microsoft PowerPoint - A3② JaSST_MISRA2004ソースコード品質診断.ppt

Microsoft PowerPoint - A3② JaSST_MISRA2004ソースコード品質診断.ppt ISO/IEC9126 & MISRA-C:2004 ベースソースコード品質診断 ~ MISRA-C:2004 ベース品質診断のご紹介 ~ 株式会社東陽テクニカソフトウェア ソリューション MISRA とは Motor Industry Software Reliability Association の略 ヨーロッパ自動車技術会 (MIRA) の下部組織 MIRA: Motor Industry

More information

P. 2 P. 4 P. 5 P. 6 P. 7 P. 9 P P.11 P.13 P.15 P.16 P.17 P.17 P.18 P.20 P.21 P.23 P P P P P P P P.31

P. 2 P. 4 P. 5 P. 6 P. 7 P. 9 P P.11 P.13 P.15 P.16 P.17 P.17 P.18 P.20 P.21 P.23 P P P P P P P P.31 201729 3 2017 5 15 P. 2 P. 4 P. 5 P. 6 P. 7 P. 9 P.10 2017 P.11 P.13 P.15 P.16 P.17 P.17 P.18 P.20 P.21 P.23 P.24 10 P.25 11 P.27 12 P.28 13 P.29 14 P.29 15 P.30 16 P.31 17 P.32 P.34 P.35 Copyright 2017

More information

リソース制約下における組込みソフトウェアの性能検証および最適化方法

リソース制約下における組込みソフトウェアの性能検証および最適化方法 リソース制約下における組込みソフト ウェアの性能検証および最適化方法 広島市立大学 大学院情報科学研究科システム工学専攻 中田明夫倉田和哉百々太市 1 提案技術の概要 組込みシステムの開発 厳しいリソース制約 (CPU, ネットワークなど ) 非機能要求 ( リアルタイム性など ) の達成 開発プロセスにおける設計段階 性能問題を発見することが困難 実装段階で性能問題が発覚 設計の手戻りが発生 設計段階での性能検証手法

More information

初心者にもできるアメブロカスタマイズ新2016.pages

初心者にもできるアメブロカスタマイズ新2016.pages Copyright All Rights Reserved. 41 Copyright All Rights Reserved. 60 68 70 6 78 80 Copyright All Rights Reserved. FC2 97 Copyright All Rights Reserved. Copyright All Rights Reserved. Copyright All Rights

More information

- 2 Copyright (C) 2006. All Rights Reserved.

- 2 Copyright (C) 2006. All Rights Reserved. - 2 Copyright (C) 2006. All Rights Reserved. 2-3 Copyright (C) 2006. All Rights Reserved. 70-4 Copyright (C) 2006. All Rights Reserved. ...1...3...7...8 1...9...14...16 2...18...20...21 3...22...23...23...24

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション SPI Japan 2012 車載ソフトウェア搭載製品の 機能安全監査と審査 2012 年 10 月 11 日 パナソニック株式会社デバイス社 菅沼由美子 パナソニックのデバイス製品 SPI Japan 2012 2 パナソニック デバイス社のソフト搭載製品 車載スピーカーアクティブ消音アクティブ創音歩行者用警告音 スマートエントリー グローバルに顧客対応 ソフトウェア搭載製品 車載 複合スイッチパネル

More information

PARTⅢ 検証事例 2. トレーサビリティ管理の自動化に踏み切った理由や経緯 (1) 国際スタンダード認証に関する課題 ISO DO-178B/C IEC などの国際スタンダードでは 開発工程全般にわたって要件が満たされていること ( システムの正しい要件が 正しい方法で

PARTⅢ 検証事例 2. トレーサビリティ管理の自動化に踏み切った理由や経緯 (1) 国際スタンダード認証に関する課題 ISO DO-178B/C IEC などの国際スタンダードでは 開発工程全般にわたって要件が満たされていること ( システムの正しい要件が 正しい方法で 先進的な設計 検証技術の適用事例報告書 2015 年度版 PARTⅢ 検証事例 SEC-2015-B-3-01 15-B-3 国際スタンダード認証に求められる 要件から検証結果までのトレーサビリティ管理 の効率化の取組み 1 1. 概要 安全性が求められるシステムのソフトウェアに対する規格である ISO 26262( 自動車安全規格 ) DO-178B/C( 航空システムや装置の安全規格 ) IEC

More information

15288解説_D.pptx

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

More information

スライド 1

スライド 1 セッション : 組込み機器のための機能安全対応 TRON Safe Kernel 社会インフラ制御機器の機能安全の必要性 2015 年 12 月 10 日 大島訓 ( 株 ) 日立製作所研究開発グループシステムイノベーションセンタ 1 自己紹介 大島訓 ( おおしまさとし ) 株式会社日立製作所研究開発グループシステムイノベーションセンタリーダ主任研究員 1996 年東京理科大卒業 同大学院理工学研究科修士課程終了

More information

機能安全に必要なトレーサビリティとは

機能安全に必要なトレーサビリティとは TERAS 第 1 回成果報告会 機能安全に必要な トレーサビリティとは 2012 年 3 月 19 日 TERAS 技術委員会 株式会社ヴィッツ組込制御開発部機能安全開発室 森川聡久 IEC61508 プロセス認証 本日の内容 機能安全認証の取得に際してトレーサビリティをどのように役立てるのかを実体験から紹介します 1. ヴィッツの会社紹介 2.TERASにおけるヴィッツの役割 3. 機能安全に必要なトレーサビリティ要件

More information

Copyright All Rights Reserved. -2 -!

Copyright All Rights Reserved. -2 -! http://ameblo.jp/admarketing/ Copyright All Rights Reserved. -2 -! Copyright All Rights Reserved. -3- Copyright All Rights Reserved. -4- Copyright All Rights Reserved. -5 - Copyright All Rights Reserved.

More information

IPA:セキュアなインターネットサーバー構築に関する調査

IPA:セキュアなインターネットサーバー構築に関する調査 Copyright 2003 IPA, All Rights Reserved. Copyright 2003 IPA, All Rights Reserved. Copyright 2003 IPA, All Rights Reserved. Copyright 2003 IPA, All Rights Reserved. Copyright 2003 IPA, All Rights Reserved.

More information

ISO27001 アウトソーシング システム開発 システム運用 CMMI PMO データベース ダウンサイジング 大規模開発 BI クライアント PC 組込みシステム Android FeliCa 勤怠管理 システム統合 さあ いこう 戦略策定 調査 分析 ITコンサルティング システム移行サービス

ISO27001 アウトソーシング システム開発 システム運用 CMMI PMO データベース ダウンサイジング 大規模開発 BI クライアント PC 組込みシステム Android FeliCa 勤怠管理 システム統合 さあ いこう 戦略策定 調査 分析 ITコンサルティング システム移行サービス 商品ページ 6 移 行 IT コンサルティング 開 発 移 行 情報システム部門代行 ISO27001 アウトソーシング システム開発 システム運用 CMMI PMO データベース ダウンサイジング 大規模開発 BI クライアント PC 組込みシステム Android FeliCa 勤怠管理 システム統合 さあ いこう 戦略策定 調査 分析 ITコンサルティング システム移行サービス 監査 システム移行におけるアウトソーシングサービスをご提供します

More information

Microsoft Word - 最終版 バックせどりismマニュアル .docx

Microsoft Word - 最終版 バックせどりismマニュアル .docx ism ISM ISM ISM ISM ISM ISM Copyright (c) 2010 All Rights Reserved. Copyright (c) 2010 All Rights Reserved. Copyright (c) 2010 All Rights Reserved. ISM Copyright (c) 2010 All Rights Reserved. Copyright

More information

Copyright 2017 JAPAN POST BANK CO., LTD. All Rights Reserved. 1

Copyright 2017 JAPAN POST BANK CO., LTD. All Rights Reserved. 1 Copyright 2017 JAPAN POST BANK CO., LTD. All Rights Reserved. 1 Copyright 2017 JAPAN POST BANK CO., LTD. All Rights Reserved. 2 60 50 40 30 20 10 0 20173 20183 Copyright 2017 JAPAN POST BANK CO., LTD.

More information

Microsoft PowerPoint - ID005(R02).pptx

Microsoft PowerPoint - ID005(R02).pptx ソフトウェアプロダクトラインにおける コア資産評価の仕組み確立 オムロンソフトウェア株式会社原田真太郎 筒井賢 オムロン株式会社赤松康至 2014 OMRON SOFTWARE Co., Ltd. ALL Rights Reserved 1 会社紹介 自動改札機 券売機等制御機器 FA システム等健康機器 オムロンソフトウェア株式会社 決済ソリューション 監視 運用サービスソリューション モバイルソリューション

More information

P. 2 P. 4 P. 5 P. 6 P. 7 P. 8 P. 9 P P.11 P.13 P.15 P.16 P.17 P.17 P.18 P.20 P.21 P.23 P P P P P P P.30 16

P. 2 P. 4 P. 5 P. 6 P. 7 P. 8 P. 9 P P.11 P.13 P.15 P.16 P.17 P.17 P.18 P.20 P.21 P.23 P P P P P P P.30 16 2018303 2018 5 15 P. 2 P. 4 P. 5 P. 6 P. 7 P. 8 P. 9 P.10 2018 P.11 P.13 P.15 P.16 P.17 P.17 P.18 P.20 P.21 P.23 P.24 10 P.25 11 P.27 12 P.28 13 P.29 14 P.29 15 P.30 16 P.32 1 2 20172016 Copyright 2018

More information

日経ビジネス Center 2

日経ビジネス Center 2 Software Engineering Center Information-technology Promotion Agency, Japan ソフトウェアの品質向上のために 仕様を厳密に 独立行政法人情報処理推進機構 ソフトウェア エンジニアリング センター 調査役新谷勝利 Center 1 日経ビジネス 2012.4.16 Center 2 SW 開発ライフサイクルの調査統計データ ソフトウェア産業の実態把握に関する調査

More information

<4D F736F F F696E74202D D312E A90A78CE48AC28BAB93B193FC835C838A B E707074>

<4D F736F F F696E74202D D312E A90A78CE48AC28BAB93B193FC835C838A B E707074> USB メモリ制御環境導入ソリューション 2009 年 4 月 17 日 株式会社ソフトウェア パートナー Copyright 2009 All rights reserved, Agenda 1. 背景 2. 目的 3. 内容 3-1. USB メモリの利用自体を制御 3-2. USB メモリの 書き込み のみを制御 3-3. USB メモリ利用の柔軟な制御と 管理機能 の提供 1. 背景 現在

More information

OS

OS Operatig Systems カーネルとデバイスドライバ 2019-03 1 OS の構成要素 シェル ワープロ ブラウザ さまざまなソフトウェア ] ^ _ Z ` a b c d e ` f Y Z [ \ プロセス管理通信制御ファイルシステム メモリ管理割込み制御タイマ管理 デバイスドライバ 管理プログラム 基本ライブラリ デバイスドライバ CPU メモリ ストレージ さまざまなハードウェア

More information

延命セキュリティ製品 製品名お客様の想定対象 OS McAfee Embedded Control 特定の業務で利用する物理 PC 仮想 PC や Server 2003 Server 2003 ホワイトリスト型 Trend Micro Safe Lock 特定の業務で利用するスタンドアロン PC

延命セキュリティ製品 製品名お客様の想定対象 OS McAfee Embedded Control 特定の業務で利用する物理 PC 仮想 PC や Server 2003 Server 2003 ホワイトリスト型 Trend Micro Safe Lock 特定の業務で利用するスタンドアロン PC 延命セキュリティ二つの対策方法 対策 1 ホワイトリスト型 概要 : 動作させてもよいアプリケーションのみ許可し それ以外の全ての動作をブロックすることで 不正な動作を防止します 特長 : 特定用途やスタンドアロンの PC の延命に効果的です リストに登録されたアプリケーションのみ許可 アプリケーション起動制御 不許可アプリケーションは防止 対策 2 仮想パッチ型 概要 : OS アプリケーションの脆弱性を狙った通信をブロックし

More information

LAN CATE TEL LAN CATE TEL 2 3

LAN CATE TEL LAN CATE TEL 2 3 C Matsushita Electric Industrial Co., Ltd. All Rights Reserved. TH-32LX80 TH-26LX80 TH-20LX80 LAN CATE TEL LAN CATE TEL 2 3 4 1 2 1 2 1 2 3 1 2 3 4 # $ % 6 7 1 1 2 3 2 3 4 8 9 10 1 3 2 11 4 4 6 4 6 1 2

More information

智美塾 ゆもつよメソッドのアーキテクチャ

智美塾 ゆもつよメソッドのアーキテクチャ ゆもつよメソッドのテスト要求分析とテストアーキテクチャ設計 JaSST13 東京智美塾 2013 年 1 月 30 日 湯本剛 ( 日本 HP) tsuyoshi.yumoto@hp.com ゆもつよ風テスト開発プロセス テスト計画 実現したい品質の具体的把握 テスト箇所の選択 テストの目的設定 テスト対象アイテム特定 テスト分析 テストタイプ特定 機能の整理 & 再分類 テスト条件となる仕様項目特定

More information

PowerPoint Presentation

PowerPoint Presentation ETAS の AUTO ソリューションイータス株式会社 1 Public STJ2/ETAS 2014-01 ETAS GmbH 2014. All rights reserved, also regarding any disposal, exploitation, reproduction, editing, イータス株式会社会社概要 ETAS Driving Embedded Excellence

More information

Oracle Un お問合せ : Oracle Data Integrator 11g: データ統合設定と管理 期間 ( 標準日数 ):5 コースの概要 Oracle Data Integratorは すべてのデータ統合要件 ( 大量の高パフォーマンス バッチ ローブンの統合プロセスおよ

Oracle Un お問合せ : Oracle Data Integrator 11g: データ統合設定と管理 期間 ( 標準日数 ):5 コースの概要 Oracle Data Integratorは すべてのデータ統合要件 ( 大量の高パフォーマンス バッチ ローブンの統合プロセスおよ Oracle Un お問合せ : 0120- Oracle Data Integrator 11g: データ統合設定と管理 期間 ( 標準日数 ):5 コースの概要 Oracle Data Integratorは すべてのデータ統合要件 ( 大量の高パフォーマンス バッチ ローブンの統合プロセスおよびSOA 対応データ サービスへ ) を網羅する総合的なデータ統合プラットフォームです Oracle

More information

Using VectorCAST/C++ with Test Driven Development

Using VectorCAST/C++ with Test Driven Development ホワイトペーパー V2.0 2018-01 目次 1 はじめに...3 2 従来型のソフトウェア開発...3 3 テスト主導型開発...4 4...5 5 TDD を可能にするテストオートメーションツールの主要機能...5 5.1 テストケースとソースコード間のトレーサビリティー...5 5.2 テストケースと要件間のトレーサビリティー...6 6 テスト主導型開発の例...7 2 1 はじめに 本書では

More information

参考1 第2回自動車ワーキンググループ議事録(未定稿)

参考1		第2回自動車ワーキンググループ議事録(未定稿) 19 9 25 15 30 17 30 10 1012 2 WG 9 10 1 WG 1 CO2 CO2 CO2 WG 1 CO2 CO2 CO2 1/2 1/2 CO2 2 2 CO2 2 WG CO2 1 2 3 7 3 3 3 WG CO CO 10 1.5 50 50 2 1 1 CO 2 CO 4 CO CO 2 2 p.4 7 7 1 7 1 1 5 p.7 2 1 1 1.5 2 1

More information

untitled

untitled mitsuya Copyright (C) 2007. All Rights Reserved. 1/1 mitsuya Copyright (C) 2007. All Rights Reserved. 2/2 mitsuya Copyright (C) 2007. All Rights Reserved. 3/3 mitsuya Copyright (C) 2007. All Rights Reserved.

More information

目次 概要 S/4HANAの導入方式 NECがご提供するサービス S/4HANA 導入ロードマップ策定支援サービス

目次 概要 S/4HANAの導入方式 NECがご提供するサービス S/4HANA 導入ロードマップ策定支援サービス S/4HANA マイグレーション 2017 年 9 月 NEC マーケティング ニュービジネス本部 1 NEC Corporation 2017 目次 概要 S/4HANAの導入方式 NECがご提供するサービス S/4HANA 導入ロードマップ策定支援サービス S/4HANA マイグレーション 概要 (ECC6.0) のサポート期限である 2025 年に向けて をご利用の場合には 新 S/4HANA

More information

Microsoft Word - ESxR_Trialreport_2007.doc

Microsoft Word - ESxR_Trialreport_2007.doc 2007 年度 ESxR 実証実験 トライアル報告書 2008 年 3 月 31 日 ソフトウェア エンシ ニアリンク センター 組み込み系プロジェクト < 目次 > 1. はじめに... 3 第 1 章 ESCR 実証計画 ( 富士フイルムソフトウエア株式会社 )... 4 1. トライアルの目的... 4 2. H19 年度活動... 4 3. H20 年度トライアル計画... 6 4. 関係図...

More information

ISO 9001:2015 改定セミナー (JIS Q 9001:2015 準拠 ) 第 4.2 版 株式会社 TBC ソリューションズ プログラム 年版改定の概要 年版の6 大重点ポイントと対策 年版と2008 年版の相違 年版への移行の実務

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

More information

Microsoft PowerPoint - B3-3_差替版.ppt [互換モード]

Microsoft PowerPoint - B3-3_差替版.ppt [互換モード] SQiP2011 B3-3 状態遷移および機能連携に着 した業務シナリオテストの新 法 2011 年 9 9 株式会社 NTT データ技術開発本部プロアクティブ テスティング COE 岩 真治 所属 紹介 株式会社 NTT データ 主な業務 技術開発本部プロアクティブ テスティング COE 昨年 12/1 に設 先進的な検証 テストサービスの提供とそれを実現するための研究開発に取り組む専 組織 社内のソフトウェア開発標準プロセス

More information

ハード・ソフト協調検証サービス

ハード・ソフト協調検証サービス ハード ソフトのトータルサービス 富士通エレクトロニクス株式会社株式会社富士通ソフトウェアテクノロジーズ 目次 モデル概要 モデル 特徴 このサービス利用のメリット サービスメニュー 1 企画から開発 量産までトータルでサポート 富士通エレクトロニクスと富士通ソフトウェアテクノロジーズはお客様の製品開発を 企画段階から開発 量産までサポートします 製品開発をサポートする検証 認定作業のご提供 製品要求仕様の作成をコンサルティング

More information

目次 1 はじめに 登録商標 商標 注意事項 免債事項 SR-IOV の機能概要 性能検証事例 測定環境 測定結果 各方式による共有 NIC 性能比較 ( ポートあ

目次 1 はじめに 登録商標 商標 注意事項 免債事項 SR-IOV の機能概要 性能検証事例 測定環境 測定結果 各方式による共有 NIC 性能比較 ( ポートあ ホワイトペーパー BladeSymphony Virtage SR-IOV のご紹介 2014 年 7 月発行 株式会社日立製作所 1 / 8 Copyright 2014 Hitachi, Ltd. All rights reserved 目次 1 はじめに... 3 1.1 登録商標 商標... 3 1.2 注意事項... 3 1.3 免債事項... 3 2 SR-IOV の機能概要... 4

More information

Microsoft PowerPoint - OS07.pptx

Microsoft PowerPoint - OS07.pptx この資料は 情報工学レクチャーシリーズ松尾啓志著 ( 森北出版株式会社 ) を用いて授業を行うために 名古屋工業大学松尾啓志 津邑公暁が作成しました 主記憶管理 主記憶管理基礎 パワーポイント 27 で最終版として保存しているため 変更はできませんが 授業でお使いなる場合は松尾 (matsuo@nitech.ac.jp) まで連絡いただければ 編集可能なバージョンをお渡しする事も可能です 復習 OS

More information

スライド 1

スライド 1 Sorich Project Management Standard All Rights Reserved, Copyright 2008, SORICH Ltd. DATE: 2009/6/22 PAGE: 1 構成要素 プロジェクトを管理項目に分解して個々の手法 フォーマットを確立し シームレスに連携します 概要使用ツール取り決め事項等 スケジュール管理 プロジェクトのスケジュールを WBS

More information

健康保険組合のあゆみ_top

健康保険組合のあゆみ_top (1912) (1951) 2,00024,000 (1954) (1958) (1962) (1965) (1968) (1969) (1971) (1972) (1973) (1974) (1976) (1978) (1980) (1982) (1983) (1984) (1985) (1987) (1988) (1989) (1990) (1991) (1992) (1994) (1995)

More information

Y100Z28770A

Y100Z28770A F-Y100Z2 2 3 4 5 6 7 8 9 10 11 12 1 1 2 2 13 14 15 1 2 16 17 18 1 2 3 4 19 20 21 22 0570-087-087 0120-878-365 06-6907-1187 0120-878-236 Help desk for foreign residents in Japan Tokyo (03) 3256-5444 Osaka

More information

PowerPoint Presentation

PowerPoint Presentation Armv8-M セキュアマイコンプログラミングテクニック 技術チーム / 殿下 信二 このセッションの目的 Armv8-M セキュアマイコンの使い方の基礎を学ぶ Cortex-M マイコンと Armv8-M セキュアマイコンの違い 簡単です Armv8-M セキュアマイコンプログラミング なぜセキュアマイコンが必要ですか? 製品が偽造 模造 過剰生産されるリスクの低減 IoT 製品のメリット ( コネクティビティ

More information

の検証作業を 2006 年までに完了した. 検証作業を実行できたことにより, この検証要求には現実的な手法が伴っており, 単なる理想論ではないことを確認することができたが, 要求の意図や手法について検証作業者に正しく理解させるため, 実際には, 細かな打合せや解説書が必要であった 年以降

の検証作業を 2006 年までに完了した. 検証作業を実行できたことにより, この検証要求には現実的な手法が伴っており, 単なる理想論ではないことを確認することができたが, 要求の意図や手法について検証作業者に正しく理解させるため, 実際には, 細かな打合せや解説書が必要であった 年以降 宇宙機搭載用リアルタイム OS に適用した高信頼化技術のハンドブック化 佐藤伸子, 石濱直樹, 川崎朋実, 片平真史 ロケットや人工衛星などの宇宙機に搭載するリアルタイム OS(RTOS) を高信頼化するためには, その RTOS をどのように検証しているかを明らかにする必要がある. このため, 民間航空機や原子力など信頼性が重視される分野で適用されている技術標準や, 過去に宇宙機の搭載計算機で発生した不具合事例を参考に,RTOS

More information

SpeC記述のC記述への変換 (SpecCによるソフトウェア記述の実装記述への変換)

SpeC記述のC記述への変換 (SpecCによるソフトウェア記述の実装記述への変換) TOPPERS プロジェクトプレス発表 2009 年 4 月 23 日 TOPPERS/FMP カーネル TraceLogVisualizer(TLV) 本田晋也 名古屋大学大学院情報科学研究科附属組込みシステム研究センター (NCES) 助教 honda@ertl.jp 1 TOPPERS/FMP カーネル 2 組込みシステムにおけるマルチプロセッサの利用 大きく二つの理由により利用が進んでいる

More information

NEXCESS基礎コース01 組込みソフトウェア開発技術の基礎 ソフトウェア開発プロセス編

NEXCESS基礎コース01 組込みソフトウェア開発技術の基礎 ソフトウェア開発プロセス編 JaSST 12 Tokai SIG テストエンジニアだからこそ気を付けるテスト仕様書と報告書の書き方 2012 年 11 月 30 日 山本雅基 (ASDoQ/ 名古屋大学 ) E-mail: myamamoto@nces.is.nagoya-u.ac.jp 1 トイレは いつ行ってもいい 気楽に 自己紹介 16:10-16:20 お話 16:20-16:40 個人作業 16:40-16:55 グループ作業

More information

<4D F736F F D FC8E448FEE95F1837C815B835E838B C8F92E88B608F912E646F63>

<4D F736F F D FC8E448FEE95F1837C815B835E838B C8F92E88B608F912E646F63> 公共調達検索ポータルサイト要件定義書 ( 抄 ) 平成 19 年 4 月 国土交通省 目次 1 はじめに...1 2 ポータルサイトの目的...2 2-1 入札参加希望者の検索効率向上...2 2-2 公共調達手続の透明化...2 2-3 競争性の向上...2 3 システム化の範囲...2 3-1 入札情報の作成...2 3-2 掲載情報の承認...2 3-3 入札情報の掲載...2 4 システム要件...3

More information

MIRACLE MH for SNMP サポート SLA( サービスレベルアグリーメント ) ML-CS-0747 本書は サイバートラスト株式会社 ( 以下 サイバートラスト ) が MIRACLE MH for SNMP サポート ( 以下当サポートサービス ) の内容について説明するものである

MIRACLE MH for SNMP サポート SLA( サービスレベルアグリーメント ) ML-CS-0747 本書は サイバートラスト株式会社 ( 以下 サイバートラスト ) が MIRACLE MH for SNMP サポート ( 以下当サポートサービス ) の内容について説明するものである MIRACLE MH for SNMP サポート SLA( サービスレベルアグリーメント ) 本書は サイバートラスト株式会社 ( 以下 サイバートラスト ) が MIRACLE MH for SNMP サポート ( 以下当サポートサービス ) の内容について説明するものである 1 サポートサービスの提供内容 当サポートサービス契約で提供されるサービス内容を表 1 及びに記す 提供サービス内容 対象ノード

More information

プロジェクトを成功させる見積りモデルの構築と維持・改善 ~CoBRA法による見積りモデル構築とその活用方法について~

プロジェクトを成功させる見積りモデルの構築と維持・改善 ~CoBRA法による見積りモデル構築とその活用方法について~ 工数見積り手法 CoBRA ~ 勘 を見える化する見積り手法 ~ CoBRA 研究会 2011 年 5 月 情報技術研究センターシステム技術グループ Copyright 2011 MRI, All Rights Reserved ご紹介する内容 1.CoBRA 法の概要 2.CoBRAツール 3.CoBRAモデルでの見積り 4.CoBRAモデルの応用 5.CoBRAモデルの構築 6. まとめ 2 Copyright

More information

Monthly Research / セキュアハードウェアの登場とその分析

Monthly Research / セキュアハードウェアの登場とその分析 Monthly Research セキュアハードウェアの登場とその分析 株式会社フォティーンフォティ技術研究所 http://www.fourteenforty.jp Ver2.00.02 1 セキュアハードウェア ハードウェアレベルでのセキュリティ拡張や それを実装したハードウェアが提案されている 通常のマイクロプロセッサを拡張することで柔軟性を確保する試みもある 今回は主に ARM TrustZone

More information

untitled

untitled 2004 1/95 2004 2/95 2004 3/95 2004 4/95 2004 5/95 2004 6/95 2004 7/95 2004 8/95 2004 9/95 2004 10/95 2004 11/95 2004 12/95 2004 13/95 2004 14/95 2004 15/95 2004 16/95 2004 17/95 2004 18/95 2004 19/95 2004

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション コンピュータアーキテクチャ 第 13 週 割込みアーキテクチャ 2013 年 12 月 18 日 金岡晃 授業計画 第 1 週 (9/25) 第 2 週 (10/2) 第 3 週 (10/9) 第 4 週 (10/16) 第 5 週 (10/23) 第 6 週 (10/30) 第 7 週 (11/6) 授業概要 2 進数表現 論理回路の復習 2 進演算 ( 数の表現 ) 演算アーキテクチャ ( 演算アルゴリズムと回路

More information

コンテンツセントリックネットワーク技術を用いた ストリームデータ配信システムの設計と実装

コンテンツセントリックネットワーク技術を用いた ストリームデータ配信システムの設計と実装 コンテンツセントリックネットワークにおけるストリームデータ配信機構の実装 川崎賢弥, 阿多信吾, 村田正幸 大阪大学大学院情報科学研究科 大阪市立大学大学院工学研究科 2 発表内容 研究背景 研究目的 ストリームデータ配信機構の設計 ストリームデータのモデル化 コンテンツの名前構造 ストリームデータの要求とフロー制御 ストリームデータ配信機構の実装 動作デモンストレーション 3 コンテンツセントリックネットワーク

More information

ホワイト ペーパー EMC VFCache により Microsoft SQL Server を高速化 EMC VFCache EMC VNX Microsoft SQL Server 2008 VFCache による SQL Server のパフォーマンスの大幅な向上 VNX によるデータ保護 E

ホワイト ペーパー EMC VFCache により Microsoft SQL Server を高速化 EMC VFCache EMC VNX Microsoft SQL Server 2008 VFCache による SQL Server のパフォーマンスの大幅な向上 VNX によるデータ保護 E ホワイト ペーパー VFCache による SQL Server のパフォーマンスの大幅な向上 VNX によるデータ保護 EMC ソリューション グループ 要約 このホワイト ペーパーでは EMC VFCache と EMC VNX を組み合わせて Microsoft SQL Server 2008 環境での OLTP( オンライン トランザクション処理 ) のパフォーマンスを改善する方法について説明します

More information

セキュアコーディングガイド最新版の紹介 JSSEC セキュアコーディングワーキンググループ

セキュアコーディングガイド最新版の紹介 JSSEC セキュアコーディングワーキンググループ セキュアコーディングガイド最新版の紹介 JSSEC セキュアコーディングワーキンググループ Jun.Ogiso@sony.com About me name: 小木曽 純 role: JSSEC セキュアコーディングワーキンググループリーダー org: ソニーデジタルネットワークアプリケーションズ ( 株 ) job: Secure Coding Checker 2 ガイドの紹介 安全な Android

More information

+ + ø ø Jan Copyright 217 HIROSE ELECTRIC CO., LTD. All Rights Reserved. ø ø ø ø ø ø ø ± FH 28 D - 5 (25) S B -.5 SH (5)

+ + ø ø Jan Copyright 217 HIROSE ELECTRIC CO., LTD. All Rights Reserved. ø ø ø ø ø ø ø ± FH 28 D - 5 (25) S B -.5 SH (5) Jan.1.217 Copyright 217 HIROSE ELECTRIC CO., LTD. All Rights Reserved. 216.3 + + ø ø Jan.1.217 Copyright 217 HIROSE ELECTRIC CO., LTD. All Rights Reserved. ø ø ø ø ø ø ø ++ + ++ + + + ± FH 28 D - 5 (25)

More information

スライド 1

スライド 1 Zabbix で PostgreSQL の監視を行おう ~pg_monz のご紹介 ~ SRA OSS,Inc. 日本支社盛宣陽 Copyright 2014 SRA OSS,Inc.Japan All rights reserved. 1 PostgreSQL の課題 DB としての基本機能 性能は商用 DB と比べても引けをとらない 運用面には課題あり どのようにして運用するのか? 効果的な監視方法は?

More information

2

2 107-0062 2-2-8 DF 6F TEL 03-4530-9268 FAX 03-6893-0901 2 2000 3 BtoB BtoC 4 3 5 TOP USP 6 TOP USP= A B 7 30% 1.3 8 A A A A B 9 A A 20 10 11 http://www.3c-s.jp/service/mystery_shopper.html http://www.3c-s.jp/contact/index.html

More information

2007 Indie s Movie Project. All Rights Reserved. 02

2007 Indie s Movie Project. All Rights Reserved. 02 2007 Indie s Movie Project. All Rights Reserved. 01 2007 Indie s Movie Project. All Rights Reserved. 02 2007 Indie s Movie Project. All Rights Reserved. 03 2007 Indie s Movie Project. All Rights Reserved.

More information

{Return},{C},{H},{I},{K},{E},{N},{R},{U},{N},{Enter},{Esc}, {Return},{C},{H},{I},{K},{E},{N},{R},{U},{N},{Enter},{Esc}, {Return}80,{Wait}1347,{C}106,{Wait}65,{H}90,{I+H}52,{I}57,{Wait}773,{K}110, {Wait}58,{E}97,{Wait}276,{N}97,{Wait}402,{R}67,{Wait}96,{U}109,{Wait}102,

More information

kaisetu.book

kaisetu.book JP1/SC/BSM JP1/ServerConductor/Blade Server ManagerJP1/ServerConductor/Agent JP1/ServerConductor/Advanced Agen JP1/SC/DPM JP1/ServerConductor/Deployment Manager JP1/SC/BSM Plus JP1/ServerConductor/Blade

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 課題解決型アーキテクチャ事例と アーキテクト育成の取り組み 1. 課題解決型アーキテクチャ 2. アーキテクチャ事例紹介 3. アーキテクト育成の取り組み 4. まとめ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 Iwahashi.Masami@wak.msw.co.jp 1 1. 課題解決型アーキテクチャ 2 モデル アーキテクチャ アーキテクト モデルソフトウェアで実現したい機能を定義して機能を実現するソフトウェアの構造と振る舞いの定義

More information

CTX-6114AI Citrix Access Suite 4

CTX-6114AI Citrix Access Suite 4 CXA-301-1 Citrix XenApp 6.5 の高度な管理 (CXA-301-1I) このコースは Windows Server 2008 R2ソフトウェアで実行されているCitrix XenApp 6.5 環境の監視 保守 最適化 およびトラブルシューティングするために必要なスキルを学習することができます 受講者には XenAppファームを監視 ファームアクティビティを記録 およびレポートを生成するために使用されるツールが紹介されます

More information

5989_5672.qxd

5989_5672.qxd Agilent Lab Advisor アジレント機器の診断 監視ソフトウェア あらゆるラボを対象とした高度な機器管理機能 Agilent Lab Advisor はアジレントの LC/GC 機器用の新しい診断 監視ソフトウェアです Agilent Lab Advisor は 高度な診断 保守機能によってラボの機器を最高のコンディションに維持し それによって優れた分析性能を実現するものです さまざまな監視

More information