OR学会「信頼性」研究会のご案内

主査 土肥正(広島大学大学院)
幹事 肖 霄(シャオシャオ)(首都大学東京)

第三回目と第四回目の「信頼性」研究会のご案内をお届けします。
奮ってご参加頂きますようお願い申し上げます。

(1) 第三回信頼性研究会

日時:2014年8月8日(金) 10:30 – 12:00
会場:広島大学 工学部第二類 A-1棟 A1-111会議室

テーマと講師

「Bridging the Gap: Building Dependable Software Systems」
Prof. Mohammad Zulkernine, Queen’s University, Kingston, Canada

Abstract: Dependable software system is the key ingredient to success
for most
organizations in today’s world that is heavily dependent on information
technology.
This talk will discuss some of the research activities on techniques and
methodologies
for building and monitoring dependable software systems conducted within the
Queen’s Reliable Software Technology (QRST) research group. The talk
will focus
on bridging some of the important gaps in the area of software
reliability and
security such as software building and monitoring, software
fault/failure and
security vulnerability/intrusion, software behavioral monitoring and
intrusion
detection in the context of software engineering and security engineering.

Bio: Mohammad Zulkernine is a Canada Research Chair in Software
Dependability and
an Associate Professor at the School of Computing of Queen’s University,
Canada.
He leads the Queen’s Reliable Software Technology (QRST) research group.
Dr. Zulkernine
received his PhD from the University of Waterloo, Canada. He has taught
and received
his education in four countries on three continents (Bangladesh, Japan,
Canada,
and Italy). Dr. Zulkernine’s current research focuses on methods and
tools for
building reliable and secure software. His research projects are
supported by a number
of provincial, federal, and international research funding agencies. He
is also
collaborating with various industrial research partners. Dr. Zulkernine
was one
of the program co-chairs of SSIRI ’11, COMPSAC ’12, and HASE ’14. He is
a senior
member of the IEEE and the ACM, and a licensed professional engineer in
the province
of Ontario, Canada.

会場へのアクセス:

http://www.rel.hiroshima-u.ac.jp/access/access.html

資料の準備等がありますので, 研究会への参加を予定されている方は事前に幹事まで
お知らせ下さいますようお願いします. JR西条駅からは広島大学まで路線バスをご利
用下さい。

http://www.geiyo.co.jp/Unyu/daigakuH26-3.htm

当日は夏季休業中ですのでお車での来場も可能ですが、当日はオープンキャンパスが
広島大学キャンパス内で開催されるため混雑が予想されます。

(2) 第四回信頼性研究会

OR学会中国・四国支部の支部事業「広島国際セミナー2014 (ISS2014)」との共催

日時:2014年8月19日(火) 10:00 – 16:50
会場:広島大学 工学部第二類 A-1棟 A1-111会議室
主催:日本OR学会中国・四国支部
共催:日本OR学会「信頼性」研究部会

交通手段: JR 西条駅から路線バスをご利用下さい (広島大学東広島キャンパス
まで約20分)
参加費: 無料(会場設営のため, 参加予定者は予め開催責任者にご連絡下さい)
開催責任者:土肥 正(広島大学大学院工学研究院)
      E-mail; dohi@rel.hiroshima-u.ac.jp

概要:ISS 2014 を 8月19日(月)に広島大学工学部において開催します. 今回のセ
ミナーでは, オペレーションズリサーチの応用分野として信頼性・保全性の確率モデ
ルに焦点を当て, 当該研究分野における最新の研究成果について議論することを企画
しています. 特に, 国内外から著名な講師を招き, 大学研究者, 企業実務家, 大学
院生向けの一連のチュートリアルセミナーを予定しています. 尚, ISS 2014 は
日本オペレーションズ・リサーチ学会中国・四国支部の主催で開催されますが, 学会
員だけでなくオペレーションズ・リサーチ技術に興味のある非会員や大学院生の方も
参加を歓迎致します.

プログラム (仮)

10:00-10:10 Opening

10:10-11:00 Survivability Quantification for Networks
Professor Kishor Trivedi, Duke University, USA

11:00-11:50 A Modified Krylov Subspace Approximation Method for Transient
Solutions of Continuous-Time Markov Chain
Professor Hiroyuki Okamura, Hiroshima University, Japan

11:50-13:00 Lunch Break

13:00-13:50 Stochastic Evaluation Methods of Multi-State Systems with
Partially
Ordered State Spaces
      Professor Fumio Ohi, Nagoya Institute of Technology, Japan

13:50-14:40 Reliability Assurance and PHM: Key Challenges
Professor Ming. Z. Zuo, University of Alberta, Canada

14:40-15:00 Tea Break

15:00-15:50 Simulation-based Reliability and Maintenance Optimization for
Multi-Unit Systems
Professor Won Y. Yun, Pusan National University, Korea

15:50-16:40 Empirical Software Reliability Engineering
Professor Tadashi Dohi, Hiroshima University, Japan

16:40-16:50 Closing

18:30-20:00 Banquet

セミナー講演要旨

(1) Survivability quantification for networks
Professor Kishor Trivedi, Duke University, USA

Abstract: Survivability is critical attribute of modern computer and
communication systems. The assessment of survivability is mostly
performed in a qualitative manner and thus cannot meet the need for
more precise and solid evaluation of service loss or degradation in
presence of failure/attack/disaster. This talk addresses the current
research status of quantification of survivability. First we carefully
define survivability and contrast it with traditional measures such
as reliability, availability and performability. We then discuss
probabilistic models for the quantification of survivability based on
our chosen definition. Next, two case studies are presented to
illustrate our approach. One case study is about the quantitative
evaluation of several survivable architectures for the telephone
access network. Hierarchical models are developed to derive various
survivability measures. Numerical results are provided to show how
a comprehensive understanding of the system behavior after failure
can be achieved through such models. The second case study deals with
the survivability quantification of communication networks.

Short Bio.: Kishor S. Trivedi holds the Hudson Chair in the Department
of Electrical and Computer Engineering at Duke University, Durham, NC.
He has been on the Duke faculty since 1975. He is the author of a well
known text entitled, Probability and Statistics with Reliability,
Queuing and Computer Science Applications, originally published by
Prentice-Hall; a thoroughly revised second edition (including its Indian
edition) of this book has been published by John Wiley. He has also
published two other books entitled, Performance and Reliability Analysis
of Computer Systems, published by Kluwer Academic Publishers and Queueing
Networks and Markov Chains, John Wiley. He is a Fellow of the Institute
of Electrical and Electronics Engineers. He is a Golden Core Member of
IEEE Computer Society. He has published over 500 articles and has
supervised 45 Ph.D. dissertations. He is the recipient of IEEE Computer
Society Technical Achievement Award for his research on Software Aging
and Rejuvenation. His research interests in are in reliability,
availability, performance, performability and survivability modeling
of computer and communication systems. He works closely with industry
in carrying our reliability/availability analysis, providing short
courses on reliability, availability, performability modeling and in
the development and dissemination of software packages such as SHARPE
and SPNP.

(2) A Modified Krylov Subspace Approximation Method for Transient
Solutions of Continuous-Time Markov Chains
Professor Hiroyuki Okamura, HiroshimaUniversity, Japan

Abstract: This talk discusses Krylov subspace approximation for transient
solutions of continuous-time Markov chains (CTMCs). The CTMC is a powerful
method to evaluate quantitative system performance based on state-based
stochastic models. In general, the transient solution of CTMC can be
represented by the matrix exponential function. However, it is
computationally difficult to solve the matrix exponential function in
the case of a large CTMC. Saad (1992) presented Krylov subspace
approximation for the matrix exponential function. This is one of the
most promising methods to compute the transient solution of large-sized
CTMCs. In the paper, we propose the modified Krylov subspace approximation
for transient solutions of CTMCs by using the stationary distribution.
Concretely, this paper reveals the relationship between the uniformization
for CTMCs and Krylov subspace approximation mathematically. According to
the relationship, the modified Krylov subspace approximation is proposed
by the idea behind the modified uniformization.

Short Bio.: Hiroyuki Okamura received the B.S.E., M.S. and Dr. of
Engineering degrees from Hiroshima University, Japan, in 1995, 1997 and
2001, respectively. In 1998, he joined the Department of Industrial and
Systems Engineering, Hiroshima University, Japan, as an Assistant
Professor. Since 2003, he has been working as an Associate Professor in
the Department of Information Engineering, Graduate School of Engineering,
Hiroshima University. He is a regular member of ORSJ, JSIAM, IEICE, IPSJ,
IEEE and ACM. His main research interests are performance evaluation of
computer-based systems, software engineering, computer security.

(3) Stochastic Evaluation Methods of Multi-State Systems with Partially
Ordered State Spaces
Professor Fumio Ohi, Nagoya Institute of Technology, Japan

Abstract: A well known model of a binary state system assumes state spaces
to be binary as {0,1}, where 0 and 1 respectively mean failure and normal
states. We, however, may frequently observe cases in which components and
systems can take intermediate states between total failure and perfectly
functioning states, which require us to develop a theory of multi-state
systems and stochastic evaluation methods. Recently many researchers have
studied this case and proposed some effective methods for stochastic
evaluation of systems, but many of them assume the totally ordered state
spaces. In this presentation, showing a definition of multi-state systems
for the case of partially ordered state spaces, we summarize some methods
for stochastic evaluation of the system at a time slice or in a steady
state as the inclusion and exclusion method, Boolean method, stochastic
bounds by minimal and maximal state vectors, stochastic bounds by series
and parallel decomposition of the multi-state system and stochastic bounds
via modular decomposition.

Short Bio.: Fumio Ohi received his Doctor of Engineering degree from Osaka
University, Japan, in 1981. He joined Faculty of Engineering, Osaka
University, as Research Assistant in 1978 and moved to Aichi Institute of
Technology, Japan as Associate Professor in 1989. He has been working in
Nagoya Institute of Technology (NIT), Japan, since 1995, and is currently
Full Professor in the Department of Scientific and Engineering Simulation,
Graduating School of Engineering, NIT. His research interests are
fundamental
theory of informatics including system reliability theory, classification
problem of cellular automata, fractal analysis method of time series data,
and multi-agent simulation of emergency evacuation flow of pedestrians.

(4) Reliability Assurance and PHM: Key Challenges
Professor Ming J. Zuo, University of Alberta, Canada

Abstract: This talk addresses key challenges in assurance of the
reliability of systems in continuous operation utilizing condition
monitoring
data. Key issues include quantification of the health status of system in
operation and the relationship between health indicators and the predicted
remaining useful life. The covered research aspects include fault detection,
fault assessment, fault diagnosis, deterioration trend prediction,
reliability
assessment, maintenance optimization models and methods, and decision-making
tools for inspection, maintenance, and operation.

Short Bio.: Dr. Ming J Zuo received his Ph.D. degree in Industrial
Engineering from Iowa State University, Ames, Iowa, U.S.A. He is currently
Full Professor in the Department of Mechanical Engineering at the University
of Alberta, Canada. His research interests include system reliability
analysis,
maintenance modeling and optimization, signal processing, and fault
diagnosis.
He is Associate Editor of IEEE Transactions on Reliability, Department
Editor
of IIE Transactions, and Associate Editor of Chinese Journal of Mechanical
Engineering. He is Fellow of the Institute of Industrial Engineers (IIE),
Fellow of the Engineering Institute of Canada (EIC), and Fellow of the
International Society of Engineering Asset Management (ISEAM).

(5) Simulation-based Reliability and Maintenance Optimization for
multi-unit systems
Professor Won Young Yun, Pusan National University, Korea

Abstract: In this talk, I introduce simulation-based Reliability and
Maintenance optimization problems for multi-unit systems. System
operational availability and life cycle cost are considered as optimization
criteria. Meta-heuristics and heuristic techniques are used to find the
near optimal solutions in the optimization problems. Three optimization
topics are discussed; Firstly, I explain a reliability and maintainability
optimization problem for a searching system and want to determine
the optimal value of MTBF (Mean Time between Failures), MTTR (Mean Time
to Repair) and ALDT (Administrative and Logistics Delay Time) of all units
that minimize the life cycle cost and satisfy the target system
availability.
Secondly, I talk about a preventive maintenance problem for KTX (Korean
Train eXpress) because system availability can be improved through effective
preventive maintenance. The objective is to determine the preventive
maintenance intervals of units in the system optimally. Finally, I introduce
an inspection optimization problem for one-shot systems with two
types of units where Type 1 units are failed at random times and Type 2
units are degraded with time. The interval availability and life cycle cost
are used as optimization criteria and the optimal inspection interval is
obtained for a one-shot system with given replacement times of Type 2 units.
Next, an inspection scheduling problem is studied for one-shot systems
under the constraint of maintenance resources.

Short Bio.: Won Young Yun is a Professor of the Department of Industrial
Engineering, in Pusan National University, Busan, Korea. He received his
B.S. from Seoul National University in 1982, and M.E. and Ph.D. from Korea
Advanced Institute of Science and Technology in 1984 and 1988, respectively.
His research interest includes maintenance theory, simulation applications
in reliability, and empty container repositioning problems.

(6) Empirical Software Reliability Engineering
Professor Tadashi Dohi, Hiroshima University, Japan

Abstract: The empirical software engineering is becoming much popular
and is useful to quantify the software development process via the
measurement-based approach. Especially, an effective utilization of
software metrics measured in the development process plays a central
role to evaluate the engineering aspect of software development. On
the other hand, the software reliability engineering aims at evaluating
the quantitative software product reliability, which is defined
as the probability that the software failure does not occur in the
operational phase, but has just focused on the curve fitting of the
cumulative number of software faults from the software fault count
data. In other words, the software reliability engineering community
has often missed to utilize the software metrics effectively during
the last three decades. In this talk, I summarize the metrics-based
software reliability modeling framework and give a significant approach
to bridge between the software metrics data and the software reliability
assessment. The fundamental idea is to apply non-trivial regression-based
models to represent the software failure rate. Throughout illustrative
examples with actual software development project data, I show that the
metrics-based software reliability assessment technique outperforms the
existing software fault count methods. I also refer to the reliability
assessment for incremental software development, arising in the well-known
agile software development paradigm.

Short Bio.: Tadashi Dohi received the B.Sc. (Engineering), M.Sc.
(Engineering) and Ph.D. (Engineering) from Hiroshima University, Japan,
in 1989, 1991 and 1995, respectively. In 1992, he joined the
Department of Industrial and Systems Engineering, Hiroshima University,
Japan, as an Assistant Professor. Since 2002, he has been working as a
Full Professor in the Department of Information Engineering,
Graduate School of Engineering, Hiroshima University. In 1992 and 2000,
he was a Visiting Research Scholar in University of British Columbia,
Canada and Duke University, USA, respectively, on leave of absence from
Hiroshima University. His research areas include software reliability
engineering, dependable computing and performance evaluation. He published
over 400 peer-reviewed papers in the above research areas. He is a Regular
Member of ORSJ, IEICE, IPSJ, REAJ, IEEE Computer Society, IEEE Reliability
Society, and ACM SIGMETRICS. Recently he acted as a General Chair of
ISSRE 2011, ATC 2012, QR2MSE 2014. He gave a keynote talk in FGIT 2011,
AST 2013, IEEE Seminar on Software Reliability in 2013 at French Chapter,
IJIE 2013. He has been serving the program committee member of DSN,
ISSRE, PRDC, COMPSAC, SERE, SAC, among others in software engineering
conferences, and the editorial board meember in Asia-Pacific Journal of
Operational Research, Journal of Risk and Reliability, International
Journal of Reliability and Quality Performance, International Journal of
Quality, Statistics, and Reliability, International Journal on
Computer Science and Technology, Advanced Science and Technology
Letters, International Journal of Mathematics and Statistics.

また, 8月19日(火)の夕方から, 懇親会を予定しております. 懇親会への参加を予定
されている方は

7月31日(木)

までに幹事宛にお申し込みください(参加費は5000円程度を予定).

問合せ先 首都大学東京 肖 霄(シャオシャオ) E-mail: xiaoxiao@tmu.ac.jp

研究部会ホームページ:http://www.comp.sd.tmu.ac.jp/xiao/socialactivity
/index.html