Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, SS |
2023-01-10 14:30 |
Osaka |
(Primary: On-site, Secondary: Online) |
Toward Automatic Generation of an Optimal Supervision Tree in Erlang Shoichi Sasaki, Yoshiaki Takata (KUT) MSS2022-46 SS2022-31 |
Erlang is a concurrency-oriented functional programming language that comes standard with lightweight processes that are... [more] |
MSS2022-46 SS2022-31 pp.7-12 |
R |
2019-11-28 13:45 |
Osaka |
Central Electric Club |
A Note on Moment-Based Approximation for Uncertainty Propagation in Hierarchical Models Jiahao Zhang (Hiroshima Univ.), Junjun Zheng (Ritsumeikan Univ.), Hiroyuki Okamura, Tadashi Dohi (Hiroshima Univ.) R2019-43 |
This paper discusses an approximation method for uncertainty propagation in a hierarchical model. The uncertainty propag... [more] |
R2019-43 pp.1-6 |
SS |
2015-03-09 13:25 |
Okinawa |
OKINAWAKEN SEINENKAIKAN |
Statistical Model Checking with Adaptive Importance Sampling Yu Nishiki, Shoji Yuen (Nagoya Univ) SS2014-61 |
We propose a method for statitical model checking of error as rare events with adaptive importance sampling, where the f... [more] |
SS2014-61 pp.37-42 |
EE, IEE-SPC |
2014-07-10 16:00 |
Hiroshima |
Hiroshima Institute of Technology |
Accident Cause Decision Method in Power Facility Customer with Ground-fault Current Waveform Kazunori Nishimura, Yusaku Marui (Hiroshima Inst. of Tech.), Wataru Sunayama (Hiroshima City Univ.) EE2014-8 |
In recent years, for the ground-fault current detection in the customer premise, the method for insulate the electrical ... [more] |
EE2014-8 pp.17-22 |
SS |
2010-03-08 15:20 |
Kagoshima |
Kagoshima Univ. |
Empirical Evaluation of Bug Density Prediction Model to Low Granularity Modules Yasutaka Kamei, Shinsuke Matsumoto, Akito Monden, Ken-ichi Matsumoto (NAIST) SS2009-72 |
To clarify the effects of bug module prediction on integration test,this paper experimentally evaluates the performance ... [more] |
SS2009-72 pp.145-150 |
R |
2009-07-31 16:20 |
Hokkaido |
|
Top Event Probability of a Repairable Dynamic FT Tetsushi Yuge, Nobuyuki Tamura, Shigeru Yanagi (NDA) R2009-31 |
A priority AND gate is a representative logic gate of dynamic fault trees. This paper deals with a repairable dynamic FT... [more] |
R2009-31 pp.53-58 |
IA, SITE |
2009-03-06 08:50 |
Kumamoto |
|
Formalization of Knowledge for Automatic Administration System to the Internal Security Problem Soichiro Morishita (Univ. of Tokyo), Hiroki Hashiguchi, Taketoshi Mishima (Saitama Univ.) SITE2008-80 IA2008-103 |
An internal security problem means the problem about security matters caused by users on the inside rather than outside ... [more] |
SITE2008-80 IA2008-103 pp.213-218 |
R |
2008-12-12 14:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Dynamic fault tree analysis of restorable systems using an idea of extended priority AND gates Nobuko Kosugi, Koichi Suyama (Tokyo Univ. Marine Sci. Tech.) R2008-42 |
The authors have presented an idea of extended priority AND gates with multiple output-occurrence states for an improved... [more] |
R2008-42 pp.17-24 |
R |
2008-10-17 14:45 |
Fukuoka |
Kyusyu Institute of Technology |
A priority state-transition rule in Markov analysis of \\ extended priority AND gates Koichi Suyama, Nobuko Kosugi (Tokyo Univ. of Marine Sci. and Tech.) R2008-31 |
To improve the ability to describe a scenario of an accident, the authors have presented an extended priority AND gate w... [more] |
R2008-31 pp.19-26 |
R |
2008-06-20 13:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
An extended priority AND gate and its quantitative analysis Koichi Suyama, Nobuko Kosugi (Tokyo Univ. of Marine Science and Tech.) R2008-15 |
A priority AND gate describing the order is one of important elements
in a fault tree from a practical point of view. ... [more] |
R2008-15 pp.1-8 |
R |
2007-10-19 13:25 |
Fukuoka |
Kyushu University |
Steady state probability of a priority AND gate considering the restoration of input events Shinya Ozeki, Tetsushi Yuge, Nobuyuki Tamura, Shigeru Yanagi (N.D.A) R2007-38 |
A priority AND gate is a representative logic gate of dynamic fault trees. In this report, we analyze the steady state p... [more] |
R2007-38 pp.7-12 |
COMP |
2007-03-05 10:00 |
Tokyo |
The University of Electro-Communications |
Emulation of Ring Protocols on Trees Preserving Fault-Containment Yukiko Yamauchi, Toshimitsu Masuzawa (Osaka Univ.), Doina Bein (Univ. of Texas) |
A desired property of a distributed, self-stabilizing protocol is
to minimize the impact of faults that can corrupt th... [more] |
COMP2006-52 pp.13-20 |
SS |
2005-12-20 10:45 |
Kochi |
Kochi Women's University |
FTA - Product Line Engineering Collaboration Atsushi Noda, Tsuneo Nakanishi, Akira Fukuda (Kyushu Univ.) |
In product line software engineering, the developers recognize
functional and non-functional features of the product me... [more] |
SS2005-66 pp.19-24 |