1 1 DEOS D-Case [7, 17, 12, 10] [9, 2] D-Case D-Case 1 DEOS D-Script 1 DEOS D-Case (Safety Case) [3] (assure) D-Case 3 D-Script [14] D-Script D-RE 1

Similar documents

第 10 回 WOCS2 アシュアランスケースにおける品質到達性とトレーサビリティを考慮した記述ルール提案と超小型衛星開発への適用評価田中康平 1, 松野裕 2, 中坊嘉宏 3, 白坂成功 1, 中須賀真一 4 1 慶應義塾大学大学院システムデザインマネジメント研究科 2 名古屋大学情報連携

RAMS の認証とセーフティケース 1) 独立行政法人産業技術総合研究所, 2) 西日本旅客鉄道株式会社相馬大輔 1) 田口研治 1), 西原秀明 1), 大岩寛 1), 矢田部俊介 2), 森崇 2) 1

1 ET 2014 IPA ブースプレゼン GSN (Goal Structuring Notation) を用いたアシュアランスケースセーフティーケース作成支援 ~ 認証支援のための方法論 ~ 2014 年 11 月 20 日 ( 独 ) 産業技術総合研究所セキュアシステム研究部門システムライ

(Informative) D-Case D-Case [1] D-Case ( DEOS: 2014) D-Case GSN (Goal Structuring Notation)[2] D-Case GSN [2] [2] D-Case D-Case [2] [3] D-Case GSN D-C

[2] ISO26262 [1] ISO26262 IEC61508 ISO26262 ( ) SG(Safety Goal) SG ISO26262 (EPS, Electronic Power Steering system) EPS ( ) KAOS[3] EPS 2 KAOS Tim Kel

Vol.56 No (Mar. 2015) Canvas SVG HTML Web Viewport Library UML Canvas SVG 1,000 HTML SVG Viewport Library Viewport Library HTML HTML Web H

コンシューマデバイス安全規格の概要と規格策定の方法論 ( 独 ) 産業技術総合研究所セキュアシステム研究部門 (RISEC) システムライフサイクル研究グループ (IPA/SEC コンシューマデバイス安全標準化 WG 副主査 ) 田口研治産業技術総合研究所

Microsoft Word - _DEIM2014_Shida.docx

日立評論2007年3月号 : ソフトウェア開発への

2 コンシューマデバイス規格 (Safety Sensitive Consumer Devices(SSCD)) の概要コンシューマデバイス規格自動車介護ロボットスマートハウス目的 : コンシューマデバイスという製品カテゴリーに対するディペンダビリティの保証特徴 : 日本主導型の製品の開発方法

B HNS 7)8) HNS ( ( ) 7)8) (SOA) HNS HNS 4) HNS ( ) ( ) 1 TV power, channel, volume power true( ON) false( OFF) boolean channel volume int

しろうさぎ43号_cs5.indd

SysML SysML Requirement Diagram Block Definition Diagram Internal Block Diagram Parametric Diagram Activity Diagram Package Diagram Use Case Diagram S

高信頼RTミドルウエアの開発

MDD PBL ET 9) 2) ET ET 2.2 2), 1 2 5) MDD PBL PBL MDD MDD MDD 10) MDD Executable UML 11) Executable UML MDD Executable UML

IPSJ SIG Technical Report Vol.2009-DPS-141 No.20 Vol.2009-GN-73 No.20 Vol.2009-EIP-46 No /11/27 1. MIERUKEN 1 2 MIERUKEN MIERUKEN MIERUKEN: Spe

核融合…予稿集

Research Question Unacceptable Files:FS GQM 1 2 GQM s r 2.1 GQM Goal-Question-Metric GQM [2] GQM 3 Qustions GQM 3 GQM 2.2 UFs AFs Acceptable Fi

Shonan Institute of Technology MEMOIRS OF SHONAN INSTITUTE OF TECHNOLOGY Vol. 41, No. 1, 2007 Ships1 * ** ** ** Development of a Small-Mid Range Paral

SDS099-B1603OB_QuantStudio-3-and-5_PB_12.indd

PBS: Post-Boost Stage JAXA

特集_03-07.Q3C

1 1 CodeDrummer CodeMusician CodeDrummer Fig. 1 Overview of proposal system c

第５章　処分事業の概要

Run-Based Trieから構成される決定木の枝刈り法

PG1501-PJ7816-CO36363-QuantStudio-3-and-5-brochure-Global-J.indd

ソフトウェアの受け入れテストに対するゴール構造化表記法を用いた効率化の取り組み高井利憲 Towards an effective framework for software acceptance testing by applying goal structuring notation TAKA

"CAS を利用した Single Sign On 環境の構築"

2013 科学技術振興機構研究成果集 DEOS プロジェクトこの文書について 2013 年 11 月 15 日 2006 年に DEOS プロジェクトが開始され 7 年が経過したこの間多くの議論と研究がなされオープンシステムディペンダビリティ (OSD) の概念ならびにその実現手法としての

Fig. 2 Signal plane divided into cell of DWT Fig. 1 Schematic diagram for the monitoring system

三石貴志.indd

JIS Z 9001:1998JIS Z 9002:1998 ISO/IEC 17025ISO/IEC Guide 25

A Study on Throw Simulation for Baseball Pitching Machine with Rollers and Its Optimization Shinobu SAKAI*5, Yuichiro KITAGAWA, Ryo KANAI and Juhachi

"CAS を利用した Single Sign On 環境の構築"

VHDL-AMS Department of Electrical Engineering, Doshisha University, Tatara, Kyotanabe, Kyoto, Japan TOYOTA Motor Corporation, Susono, Shizuok

Corporate Principle

S o f t w a r e R e l i a b i l i t y E n h an c e m e n t C e n t er Information-technology Promotion Agency, Japan つながる世界のセーフティ & セキュリティ設計の見える化つながる

Vol.55 No (Jan. 2014) saccess 6 saccess 7 saccess 2. [3] p.33 * B (A) (B) (C) (D) (E) (F) *1 [3], [4] Web PDF a m

MFP 3.1 MFP MFP MFP

66-1 田中健吾・松浦紗織.pwd

2 ( 3 2 ) DoE 2) ) (D ) y (x 1, x 2, xj,, x D ) 3 N Q i i l j X i, j 1 4 (x y ) 4 DoE 4 1σ ( 4 ) 3 4 ( ) ( )

Lyra X Y X Y ivis Designer Lyra ivisdesigner Lyra ivisdesigner 2 ( 1 ) ( 2 ) ( 3 ) ( 4 ) ( 5 ) (1) (2) (3) (4) (5) Iv Studio [8] 3 (5) (4) (1) (

,4) 1 P% P%P=2.5 5%!%! (1) = (2) l l Figure 1 A compilation flow of the proposing sampling based architecture simulation

guideline_1_0.dvi

アジェンダアシュアランスケースとはアシュアランスケースの必要性論理の基礎アシュアランスケースの表記法 GSN を例とした記法の説明アシュアランスケースの利用つながる世界での応用 3

SICE東北支部研究集会資料(2012年)

独立行政法人情報通信研究機構 Development of the Information Analysis System WISDOM KIDAWARA Yutaka NICT Knowledge Clustered Group researched and developed the infor

DEIM Forum 2017 E Netflix (Video on Demand) IP 4K [1] Video on D

DEIM Forum 2009 C8-4 QA NTT QA QA QA 2 QA Abstract Questions Recomme

20mm 63.92% ConstantZoom U 5

IPSJ SIG Technical Report Vol.2017-MUS-116 No /8/24 MachineDancing: 1,a) 1,b) 3 MachineDancing MachineDancing MachineDancing 1 MachineDan

manu_fi„‰ž½À°_‚““⁄ÊßÝÌ_‘oŠÍ

EURAMET EURAMET/cg-15/v.01 "Guidelines on the Calibration of Digital Multimeters" EURAMET e.v. "General Conditions for the translation of EURAMET publ

xx/xx Vol. Jxx A No. xx 1 Fig. 1 PAL(Panoramic Annular Lens) PAL(Panoramic Annular Lens) PAL (2) PAL PAL 2 PAL 3 2 PAL 1 PAL 3 PAL PAL 2. 1 PAL

IP Management Within Universities: Experiences in the US

Gaze Head Eye (a) deg (b) 45 deg (c) 9 deg 1: - 1(b) - [5], [6] [7] Stahl [8], [9] Fang [1], [11] Itti [12] Itti [13] [7] Fang [1],

IPSJ SIG Technical Report * Wi-Fi Survey of the Internet connectivity using geolocation of smartphones Yoshiaki Kitaguchi * Kenichi Nagami and Yutaka

140 NDPG Defense of Japan 2010, pp. 2-3.

IFIPWG10.4-takai-takamura0122.ppt

,,, 2 ( ), $[2, 4]$, $[21, 25]$, $V$,, 31, 2, $V$, $V$ $V$, 2, (b) $-$,,, (1) : (2) : (3) : $r$ $R$ $r/r$, (4) : 3

WISS 2018 [2 4] [5,6] Query-by-Dancing Query-by- Dancing Cao [1] OpenPose 2 Ghias [7] Query by humming Chen [8] Query by rhythm Jang [9] Query-by-tapp

FIT2014( 第 13 回情報科学技術フォーラム ) RD-002 Web SNS Yuanyuan Wang Gouki Yasui Yuji Hosokawa Yukiko Kawai Toyokazu Akiyama Kazutoshi Sumiya 1. Twitter 1 Facebo

CSIS 4 the Asia-Pacific, or the Indo-Pacific region Asia s Democratic Security Diamond 7 11 sea-faring democracies Lake Beijing

PowerPoint プレゼンテーション

dews2004-final.dvi

Bulletin of JSSAC(2014) Vol. 20, No. 2, pp (Received 2013/11/27 Revised 2014/3/27 Accepted 2014/5/26) It is known that some of number puzzles ca

火災危険１.PDF

Haiku Generation Based on Motif Images Using Deep Learning Koki Yoneda 1 Soichiro Yokoyama 2 Tomohisa Yamashita 2 Hidenori Kawamura Scho

EQUIVALENT TRANSFORMATION TECHNIQUE FOR ISLANDING DETECTION METHODS OF SYNCHRONOUS GENERATOR -REACTIVE POWER PERTURBATION METHODS USING AVR OR SVC- Ju

IPSJ SIG Technical Report iphone iphone,,., OpenGl ES 2.0 GLSL(OpenGL Shading Language), iphone GPGPU(General-Purpose Computing on Graphics Proc

BB 報告書完成版_修正版） doc

情報処理学会研究報告 IPSJ SIG Technical Report Vol.2015-SE-187 No /3/12 Java 1,a) 1,b) 1,c) 1,d) Known Unknown Unknown Unknown 2 Known Unknown Archface-U

SEM44-西堀ゆり.indd

LED a) A New LED Array Acquisition Method Focusing on Time-Gradient and Space- Gradient Values for Road to Vehicle Visible Light Communication Syunsuk

1(a) (b),(c) - [5], [6] Itti [12] [13] gaze eyeball head 2: [time] [7] Stahl [8], [9] Fang [1], [11] 3 -

ITS驍ｵ・ｺ繝ｻ・ｮ髫ｶ轣倡ｶ懊・・ｺ鬮｢ﾂ陜滂ｽｧ 2013_鬮ｯ・ｦ繝ｻ・ｨ1-4_髫ｴ螢ｽ・ｺ蛟ｪ譌ｺ驛｢・ｧ郢晢ｽｻindd

5 ISMS 5 4 PC PC USB PDA 2

D-Case Editor の機能拡充に関する開発環境構築手順書 18/JAN/2013 AXE, Inc.

冬_予稿集_第54回プログラミング・シンポジウム.indd

Transcription:

D-Case DEOS 25 5 1 DEOS-FY2013-DC-02J DEOS JST CREST

1 1 DEOS D-Case [7, 17, 12, 10] [9, 2] D-Case D-Case 1 DEOS D-Script 1 DEOS D-Case (Safety Case) [3] (assure) D-Case 3 D-Script [14] D-Script D-RE 1

2 D-CASE ([11, 15, 8] ) 3 1. 2. Adelard ASCE *1 ASCE D-Script D-RE 3. D-Case 3 2012 9 14 1 D-Case 30 ( 2 ) D-Case *2 2 D-Case D-Case10 3 D-Case 4 ET ( ) D-Case 2 D-Case D-Case GSN(Goal Structuring Notation) [6] *1 http://www.adelard.com/asce/choosing-asce/index.html *2 http://www.dcase.jp 2

2.1 D-Case 2 D-CASE 2 D-Case 3 D-Case 2.1 D-Case ( ) JIS Z8115 (2000) Avizienis [1] : : : : : Jackson (Explicit claims) (Evidence) (Expertise) [5] (D-Case) 3

2.1 D-Case 2 D-CASE 3 D-Case D-Case 1. ISO 26262 / Part10 [4] 5.3 GSN CAE(Claims- Argument- Evidence) *3 2. D-Case D-Case *3 http://www.adelard.com/asce/choosing-asce/cae.html 4

2.1 D-Case 2 D-CASE 3. D-Case D-Case 4 D-Case 4 D-Case 5 D-Case D-Case 5

2.2 2 D-CASE 5 2.2 D-Case ( 6) D-Case GSN 1. (Goal) 2. (Strategy) X 3. (Context) 4. (Evidence) 5. (Undeveloped) 6

2.3 2 D-CASE 6 D-Case 6. (Monitor) D-Case 7. (External) D-Case ( 7) 1. 2. D-Case 3. 4. ( ) 2.3 D-Case [12] D-Case [17] D-Case 7

2.4 2 D-CASE 7 1. 2. 3. : 4. 5. D-Case 6. 7. D-Case 8. 9. 2.4 D-Case DEOS ET 8 ET2011 DEOS 8 2011 D-Case DEOS 8

2.4 2 D-CASE 1. PC 9 9 2. D-Case 3. : D-Case SLA(Service Level Agreement) 4. 10 SLA(Service Level Agreement) 5. D-Case PC PC PC 9

2.4 2 D-CASE 10 11 11 D-Case 6.,,,,, 7. D-Case D-Case 12 ( ) 10

2.5 D-Case10 2 D-CASE 12 D-Case D-Case 2.5 D-Case10 D-Case 10 D-Case 10 1. 2. 3. 11

3 D-CASE D-Case D-Case 4. 5. D-Case D-Case D-Case 6. D-Case 7. 8. D-Case 9. D-Case D-Case D-Case 10. 3 D-Case D-Case D-Case Editor [9] D-Case Editor D- Case/GSN D-Case D-Case Editor D-Case Editor D-Case/GSN(Goal Structuring Notation) 12

3 D-CASE D-Case OMG ARM Assurance Case D-Case/GSN D-Case D-Case DEOS D-RE DEOS 13 13 D-Case Editor D-Case Editor Eclipse Eclipse *4 D-Case D-Case D-Case D-Case D-Case 14 *4 http://www.dependable-os.net/tech/d-caseeditor/d-case Editor J.html 13

4 D-CASE 14 D-Case DS-Bench/D-Cloud [2] *5 [18] *6 Web Browser D-Case D-Case Weaver *7 4 D-Case D-Case D-Case [13] D-Case ET [16] 2012 ET ET LEGO Mindstorms R UML *5 http://www.dependable-os.net/tech/dsbenchdcloud/index J.html *6 http://web.sfc.keio.ac.jp/ jin/dm/d-case EXP JA/D-Case EXP.html *7 http://www.dependable-os.net/tech/dcaseweaver/index J.html 14

4 D-CASE D-Case 1. 2. / UML D-Case 3. D-Case D-Case ET 15 ET D-Case D-Case 15

4 D-CASE 15 D-Case 16 D-Case D-Case 16 D-Case D-Case 3 D-Case 2012 9 29 ET D-Case 2012 16

11 ET2012 D-Case D-Case 5 D-Case D-Case 2010 4 D-Case (matsuno@is.uec.ac.jp) (Masanori.Onda@fujixerox.co.jp) (yamamotosui@icts.nagoya-u.ac.jp) [1] Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, and Carl Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput., 1(1):11 33, January 2004. [2] Hajime Fujita, Yutaka Matsuno, Toshihiro Hanawa, Mitsuhisa Sato, Shinpei Kato, and Yutaka Ishikawa. DS-Bench toolset: Tools for dependability benchmarking with simulation and assurance. In Proc. IEEE DSN 2012, 2012. 8pages. [3] J.R. Inge. The safety case, its development and use in the United Kingdom. In Proc. of ISSC25, 2007. [4] ISO. ISO 26262 road vehicle - functional safety -, part 10: Guideline on ISO 26262, 2012. [5] Daniel Jackson, Martyn Thomas, and Lynette I. Millett. Software for Dependable Systems Sufficient Evidence? The National Academies Press, Washington D.C., 2007. [6] Tim Kelly and Rob Weaver. The goal structuring notation - a safety argument notation. In Proc. of the Dependable Systems and Networks 2004, Workshop on Assurance Cases, 2004. [7] Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, and Yutaka Ishikawa. Toward a language for communication among stakeholders. In Proc. of the 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 10), pages 93 100, 2010. [8] Yutaka Matsuno and Kenji Taguchi. Parameterised argument structure for GSN patterns. In Proc. IEEE 11th International Conference on Quality Software (QSIC 2011), pages 96 101, 2011. [9] Yutaka Matsuno, Hiroki Takamura, and Yutaka Ishikawa. A dependability case editor with pattern 17

library. In Procs. IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE), pages 170 171, 2010. [10] Yutaka Matsuno and Shuichiro Yamamoto. Consensus building and in-operation assurance for service dependability. In Proc. of CD-ARES, LNCS 7465, pages 639 653. Springer, 2012. [11] Yutaka Matsuno and Shuichiro Yamamoto. Toward dynamic assurance cases. In Proc. JCKBSE 2012, pages 154 160. IOS Press, 2012. [12] Yutaka Matsuno and Shuichiro Yamamoto. A new method for writing assurance cases. International Journal of Secure Software Engineering (IJSSE), Special Issue on Cybersecurity Scientific Validation, January 2013. Accepted for Publication. [13] Kohei Tanaka, Yutaka Matsuno, Yoshihiro Nakabo, Seiko Shirasaka, and Shinichi Nakasuka. Toward strategic development of hodoyoshi microsatellite using assurance cases. In Proc. of International Astronautical Federation (IAC2012), 2012. [14] Mario Tokoro, editor. Open Systems Dependability: Dependability Engineering for Ever- Changing Systems. CRC Press, 2012. [15] Shuichiro Yamamoto and Yutaka Matsuno. A review method based on a matrix interpretation of GSN. In Proc. JCKBSE 2012, pages 36 42. IOS Press, 2012. [16]. ET D-Case. In 2012, 2012. [17]. D-Case!., 2012. ISBN: 978-4-86293-079-8. [18]. D-Case. B, J95-B(11), 11 2012. 18

DEOS Homepage http : //www.dependable os.net Tel 03 3526 6724 E-mail center@dependable os.net