Presentation | 2020-01-25 CC-CASE: SAFETY& SECURITY ENGINEERING METHODOLOGY FOR AI/IOT Tomoko Kaneko, Nobukazu Yoshioka, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | We aim to develop a safe and secure development methodology for complex systems in the AI / IoT era. We will show a new development methodology that can assure the needs of complex systems including IoT and AI by using safety and security technologies in an integrated manner. Specifically, we are considering integrated use of the following technologies suitable for analysis, implementation, and evaluation of complex systems, New system thinking safety technology such as STAMP / STPA, FRAM, a resilience engineering method, expand security functions defined in IT Security Standard Common Criteria (CC), SARM that makes it possible to identify comprehensive requirements, advanced patented technology such as Scenario Function, Verification and validation by assurance cases such as GSN, system thinking accident analysis method CAST. In this paper, after giving an overview of each technology and the reasons for its use, we will give a concrete explanation on the integration of requirements analysis STAMP S & S with the assurance case based on system thinking that forms a part of framework of CC-Case. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Assurance Case / System Theory / STAMP / STPA / GSN / AI / IoT |
Paper # | KBSE2019-42 |
Date of Issue | 2020-01-18 (KBSE) |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 2020/1/25(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Kikai-Shinko-Kaikan Bldg. |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | General, Student |
Chair | Fumihiro Kumeno(Nippon Inst. of Tech.) |
Vice Chair | Hiroyuki Nakagawa(Osaka Univ.) |
Secretary | Hiroyuki Nakagawa(Ibaraki Univ.) |
Assistant | Nahomi Kikuchi(OKi) / Tomoko Kaneko(NII) |
Paper Information | |
Registration To | Technical Committee on Knowledge-Based Software Engineering |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | CC-CASE: SAFETY& SECURITY ENGINEERING METHODOLOGY FOR AI/IOT |
Sub Title (in English) | |
Keyword(1) | Assurance Case |
Keyword(2) | System Theory |
Keyword(3) | STAMP |
Keyword(4) | STPA |
Keyword(5) | GSN |
Keyword(6) | AI |
Keyword(7) | IoT |
1st Author's Name | Tomoko Kaneko |
1st Author's Affiliation | National Institute of Informatics(NII) |
2nd Author's Name | Nobukazu Yoshioka |
2nd Author's Affiliation | National Institute of Informatics(NII) |
Date | 2020-01-25 |
Paper # | KBSE2019-42 |
Volume (vol) | vol.119 |
Number (no) | KBSE-392 |
Page | pp.pp.25-30(KBSE), |
#Pages | 6 |
Date of Issue | 2020-01-18 (KBSE) |