Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2014-11-06 15:30 |
Kyoto |
Doshisha Univ.(Kanbai-kan 3F, Muromachi Campus, Kyoto) |
A consideration on a method to assure the business architecture in ArchiMate by using assurance cases Kenta Murai, Shuichiro Yamamoto (Nagoya Univ.) KBSE2014-31 |
ArchiMate is a modeling language to describe the architecture of business layer, application layer, and technology hiera... [more] |
KBSE2014-31 pp.19-24 |
KBSE |
2014-01-27 15:10 |
Tokyo |
Kikai-Shinko-Kaikan Bldg |
A Task Completion Criteria Design Method based on the Activity Description Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-70 |
To assure the completion of activities, it is necessary to develop check criteria for activities such as checklists. In ... [more] |
KBSE2013-70 pp.31-36 |
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-09-13 15:00 |
Tokyo |
The University of Electro-Communications |
A classification method in identifying security patterns for a dependable Security Case
-- From Security Patterns to D-Case -- Vaise Patu, Nada Olayan, Shuichiro Yamamoto (Nagoya Univ.) KBSE2013-52 |
Today's software systems are facing new and complicated challenges in confronting with security issues. There are lots o... [more] |
KBSE2013-52 pp.91-96 |
DC, CPSY (Joint) |
2013-08-01 17:30 |
Fukuoka |
Kitakyushu-Kokusai-Kaigijyo |
Assure-It: An Administration tool for Ensuring Runtime Synchronization of Assurance Cases Shunsuke Shida, Atsushi Uchida, Kimio Kuramitsu (Yokohama National Univ.) DC2013-19 |
In this study, we extend GSN, which is common notation of Assurance Cases, in order to use the idea of Runtime Synchroni... [more] |
DC2013-19 pp.15-19 |
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 |
KBSE |
2013-03-15 11:25 |
Tokyo |
Shibaura Institute of Technology |
A proposal on architecture based verification case Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-82 |
Although formal method is attracted to verify system correctness, it is not practical to verify every property of system... [more] |
KBSE2012-82 pp.79-83 |
KBSE |
2013-01-28 16:05 |
Tokyo |
Kikai-Shinko-Kaikan Bldg |
A Consideration on Introducing Responsibility Attributes to Dependability Case Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-61 |
Although dependability case is attracted to assure system safety and availability, methods and guidelines how to describ... [more] |
KBSE2012-61 pp.19-24 |
KBSE |
2012-11-22 10:50 |
Ishikawa |
Kanazawa University |
A Writing Method for Assurance Cases Yutaka Matsuno (Nagoya Univ.), Toshinori Takai (Nara Inst.), Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-40 |
Assurance Cases have been recognized as a promising method for dependability assurance.
However, there has not been a ... [more] |
KBSE2012-40 pp.13-17 |
KBSE |
2012-11-22 12:00 |
Ishikawa |
Kanazawa University |
A Proposal on Inference Method for Dependability Context Shota Takama, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-42 |
System assurance has become of great importance in many areas, and assurance cases have been used for assuring dependabi... [more] |
KBSE2012-42 pp.25-30 |
KBSE |
2012-11-23 11:10 |
Ishikawa |
Kanazawa University |
Application of D-Case to the data-upload flow diagram scenario of the Distributed E-Learning System called KISSEL Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-51 |
This paper (1) briefly describes and explain about the D-case technique and E-learning system (web portal) called KISSEL... [more] |
KBSE2012-51 pp.79-83 |
KBSE |
2012-11-23 12:30 |
Ishikawa |
Kanazawa University |
A Consideration on Introducing Responsibility Attributes to Dependability Case Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.) KBSE2012-52 |
Although dependability case is attracted to assure system safety and availability, methods and guidelines how to achieve... [more] |
KBSE2012-52 pp.85-90 |
KBSE, SS |
2012-07-27 15:10 |
Hokkaido |
Future University Hakodate |
A Proposal on a Method for Reviewing Operation Manuals of Supercomputer Shota Takama, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) SS2012-16 KBSE2012-18 |
The more information systems become complex, the more difficult it is to operate dependably. In this paper, we propose a... [more] |
SS2012-16 KBSE2012-18 pp.37-42 |
KBSE, SS |
2012-07-27 16:20 |
Hokkaido |
Future University Hakodate |
A Survey on Structured Documents for Assurance Cases Yutaka Matsuno, Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.) SS2012-18 KBSE2012-20 |
In safety critical area, recently assurance cases have been widely used. Assurance cases are structured documents for as... [more] |
SS2012-18 KBSE2012-20 pp.49-54 |
KBSE, SS |
2012-07-27 16:50 |
Hokkaido |
Future University Hakodate |
A proposed research framework for "Dependability Science" based on assurance cases Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) SS2012-19 KBSE2012-21 |
Achieving system dependability is still not
yet being clear identified for today’s modern software
systems. The firs... [more] |
SS2012-19 KBSE2012-21 pp.55-59 |
KBSE |
2012-03-15 13:35 |
Aichi |
Nagoya Univ. |
Evaluation of an Assurance Case development method (d*) Takuya Saruwatari (Nagoya Univ./NTT DATA), Shuichiro Yamamoto (Nagoya Univ.) KBSE2011-69 |
Many information systems are now developed as open systems which mutually depend on each other. Although assurance cases... [more] |
KBSE2011-69 pp.1-6 |
KBSE |
2012-03-15 14:20 |
Aichi |
Nagoya Univ. |
A Proposal on Service Deployment Decision Method using Assurance Case Shigenori Kobayashi (NEC), Shuichiro Yamamoto (Nagoya Univ.) KBSE2011-70 |
The decision condition to deploy services should be clarified and mitigate sufficiently service risks. Otherwise many s... [more] |
KBSE2011-70 pp.7-12 |
KBSE |
2012-01-24 10:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A dependability information creation method based on a requirement table Takuya Saruwatari (Nagoya Univ./NTT DATA), Shuichiro Yamamoto (Nagoya Univ.) KBSE2011-61 |
Requirements document in tabular form is widely used in systems development. However, if the number of functions used in... [more] |
KBSE2011-61 pp.49-54 |