Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2016-11-04 10:45 |
Nagano |
Nagano-Engineering Campus, Shinshu University |
D-Case: a Consensus Building Method using GSN with Stakeholders Ryuya Ishizu, Yutaka Matsuno (Nihon Univ.) KBSE2016-24 |
Recently, assurance cases have been getting attention as a method for system assurance. However, conventional descriptio... [more] |
KBSE2016-24 pp.1-6 |
KBSE |
2016-03-04 13:50 |
Oita |
|
Preliminary Experiment for Consensus Building among Citizens using Argumentation Visualization Tool based on D-Case Yutaka Matsuno (Nihon Univ.), Yang Ishigaki, Koichi Bando (UEC), Hiroyuki Kido (UTokyo), Rie Kawano (Cognate), Kenji Tanaka (UEC) KBSE2015-64 |
[more] |
KBSE2015-64 pp.91-95 |
KBSE |
2015-10-29 14:00 |
Tokyo |
Nihon Univ. (Surugadai Campus) |
[Invited Talk]
Introduction of BrainPlots: Idea Generation Tool Rie Kawano (Cognitee), Yutaka Matsuno (Nihon Univ.) KBSE2015-36 |
[more] |
KBSE2015-36 pp.5-6 |
KBSE |
2015-10-30 10:00 |
Tokyo |
Nihon Univ. (Surugadai Campus) |
Toward augmenting accountability of SysML with D-Case Keishi Okamoto (Sendai Tech.), Yutaka Matsuno (Nihon Univ.), Satoru Yoshida (Tottori Univ. of Environmental Studies) KBSE2015-38 |
[more] |
KBSE2015-38 pp.13-16 |
KBSE |
2015-09-25 13:00 |
Osaka |
Bldg.A No.110, IST, Suita campus, Osaka University |
Lessons learned from Assurance Cases Writing Experiments for Five Years Yutaka Matsuno (Nihon University) KBSE2015-34 |
[more] |
KBSE2015-34 pp.39-42 |
KBSE |
2015-03-06 13:45 |
Tokyo |
The University of Electro-Communications |
A modular construction of arguments for assurance cases Toshinori Takai (NAIST), Hiroyuki Kido (utokyo), Yutaka Matsuno (uec) KBSE2014-62 |
Recently, developing safety-critical systems or software requires assurance
cases to describe arguments about risks. ... [more] |
KBSE2014-62 pp.59-64 |
KBSE |
2015-01-26 11:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A report of practical system assurance exercise Toshinori Takai (NAIST), Yutaka Matsuno (UEC) KBSE2014-40 |
We conducted an exercise called textit{system assurance}, which means a
justified confidence about risk-related prope... [more] |
KBSE2014-40 pp.7-11 |
SSS |
2014-08-28 15:50 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Talk]
System Assurance with Human Factors Yutaka Matsuno (UEC) SSS2014-17 |
[more] |
SSS2014-17 pp.19-22 |
CPSY, DC (Joint) |
2014-07-28 18:15 |
Niigata |
Toki Messe, Niigata |
Performance Evaluation of Speculative Parallel Processing Utilizing Hardware Transactional Memory on Commercial Multi-core CPU Yutaka Matsuno, Kanemitsu Ootsu, Takeshi Ohkawa, Takashi Yokota (Utsunomiya Univ.) CPSY2014-16 |
Recently, it becomes essential to use parallel computation utilizing thread level parallelism as a method to utilize a s... [more] |
CPSY2014-16 pp.37-42 |
KBSE |
2014-05-30 09:45 |
Kanagawa |
Keio Univ.(Raiou-sha, Hiyoshi Campus) |
[Tutorial Lecture]
Assurance Case Tutorial
-- Let's write Assruance Cases! -- Yutaka Matsuno (UEC) KBSE2014-7 |
[more] |
KBSE2014-7 pp.37-40 |
KBSE |
2014-05-30 13:00 |
Kanagawa |
Keio Univ.(Raiou-sha, Hiyoshi Campus) |
Standardization of OMG Dependability Framework for Safety-Sensitive Consumer Devices and Its Feasibility Evaluation Experiment Yutaka Matsuno (UEC) KBSE2014-8 |
[more] |
KBSE2014-8 pp.41-45 |
SSS |
2014-04-17 16:20 |
Tokyo |
Nihon Univ. |
Evaluation of workload and attitude change in the assister-side of mutual assistance
-- Effectiveness of assister-side by using warn-providing system -- Sui Kurihashi, Yutaka Matsuno, Kenji Tanaka (UEC) SSS2014-6 |
Recently, a number of safety assistant systems for automobiles have been proposed. However, these systems seem to either... [more] |
SSS2014-6 pp.21-24 |
KBSE |
2014-01-27 16:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg |
[Tutorial Invited Lecture]
An Introduction of Assurance Case Yutaka Matsuno (UEC) KBSE2013-71 |
[more] |
KBSE2013-71 pp.37-40 |
KBSE |
2013-11-02 11:25 |
Ehime |
Ehime University |
Toward Practical Education for System Assurance Yutaka Matsuno (Univ. of Electro-Comm.) KBSE2013-62 |
[more] |
KBSE2013-62 pp.49-52 |
KBSE |
2013-09-12 16:30 |
Tokyo |
The University of Electro-Communications |
Consistency check of D-case (dependability case) produced from DFD (data flow diagram) Nada Olayan, Shuichiro Yamamoto, vaise Patu, Yutaka Matsuno (Nagoya Univ.) KBSE2013-44 |
After producing the D-case based on DFD, a question about the consistency of the produced D-case is raised. In this pape... [more] |
KBSE2013-44 pp.47-52 |
KBSE |
2013-05-30 15:00 |
Kanagawa |
Keio University |
A Dependability Assurance Method Based on DFD (Data Flow Diagram) Nada Olayan, Shuichiro Yamamoto, Vaise Patu, Yutaka Matsuno (Nagoya Univ.) KBSE2013-3 |
The main Idea of this paper is to shed some light and discuss the interesting proposal of using DFD (Data flow diagram) ... [more] |
KBSE2013-3 pp.13-18 |
KBSE |
2013-05-31 13:00 |
Kanagawa |
Keio University |
A Proposal of goal analysis process using the D-Case Hiroyuki Utsunomiya (DENSO CREATE), Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.), Teruyuki Nakazawa, Yoshikazu Yamamoto (DENSO CREATE) KBSE2013-9 |
It is necessary to define system requirements by clarifying and refining goals to achieve. Although goal oriented requir... [more] |
KBSE2013-9 pp.49-54 |
KBSE |
2013-03-15 09:30 |
Tokyo |
Shibaura Institute of Technology |
A proposal on a rule to construct a word of Dependability Case Masanori Matsumura, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-79 |
We reports examples of application evaluation and the discussion to evaluate usability of the rules to consistently iden... [more] |
KBSE2012-79 pp.61-66 |
KBSE |
2013-03-15 10:05 |
Tokyo |
Shibaura Institute of Technology |
A Consideration on Dependability Case decomposition patterns Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.) KBSE2012-80 |
Dependability case is attracted to assure system safety and availability. Categories of argumentation patterns to decomp... [more] |
KBSE2012-80 pp.67-72 |
KBSE |
2013-03-15 10:40 |
Tokyo |
Shibaura Institute of Technology |
Applying Techniques of Programming Languages to Assurance Case Tool Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-81 |
GSN (Goal Structuring Notation) is a graphical notation widely used to construct, which are required for the system assu... [more] |
KBSE2012-81 pp.73-78 |