A Simulation-based Behavior Analysis for MCI Response System of Systems

Speaker:        Professor Doo-Hwan Bae
                School of Computing
                KAIST

Title:          "A Simulation-based Behavior Analysis for MCI Response
                 System of Systems"

Date:           Friday, 2 August 2019

Time:           2:30pm - 3:30pm

Venue:          Room 2463 (via lift no. 25/26), HKUST

Abstract:

An SoS(System of Systems) differs from conventional systems in various
ways. Structurally, an SoS contains autonomous CS(Constituent System)s of
managerial and operational independence. From an SoS perspective, each
CS's internal behavior is not known.  Thus, behavior analysis of such an
SoS is a challenge. Also, an SoS exhibits evolutionary and emergent
behavior, which makes it more difficult to perform its behavior analysis
as a whole. Our interest in this work is mainly behavior modeling and
verification for SoS goal achievement where each CS was developed without
considering that CSs would be integrated later. Especially, when each
constituent system is developed independently without considering to share
a common goal of the SoS, we would like to check whether an SoS can
satisfy its common goal.  We select an MCI(Mass Casualty Instance)
response system as an example SoS.

In this talk, an approach for behavior analysis for MCI response systems,
based on modeling and simulation, is presented. In modeling an MCI
response system instance, we surveyed existing MCI related documents and
identified 15 issues and then 8 types of stimuli. In verifying the
behavior of the MCI response system , we injected those stimuli into the
developed simulator to mimic the real-world MCI response system. Our
initial development and experiments show that our approach is promising
for modeling and verifying behavior of an SoS, although much work needs to
be done.


*****************
Biography:

Doo-Hwan Bae is a Professor at the School of Computing, KAIST (Korea
Advanced Institute of Science and Technology in South Korea.  He had
served as the Head of the School of Computing, KAIST from 2012 to 2016.
Now he is leading the Software Engineering group at KAIST. He received his
BS degree in the Seoul National University, Korea in 1980 and his Ph.D.
degree in Computer and Information Sciences in the University of Florida
in 1992. Since 1995, he has been with the School of Computing (formerly
Department of Computer Science until 2014), KAIST.

His research interests include model based software engineering, process
improvement, and quality-driven software development. Recently, his
research focuss on modeling & verification of SoS(System of Systems).
Since 2002, he has directed the ITRC(Information Technology Research
Center) Software Process Improvement Center, sponsored by Korean Ministry
of Economy Knowledge. In 2015, he has been awarded with a "Star Lab", a
multi-year research project on Modeling and Verification of System of
Systems, sponsored by the Ministry of Science, ICT, and Future Planning.
He has published over 180 journal and conference papers in Software
Engineering. He has served as editorial board members including in the
Journal of Systems and Software, and Information and Software
Technology.  He also served as General Chair and Program Committee Chair
in various international conferences such as APSEC2004, QSIC2009,
COMPSAC2010. Now, he is serving as a Senior Associate Editor in the
Journal of Systems and Software, and a General Co-Chair of ICSE2020 to be
held in Seoul, Korea. Now, he is a KAIST ICT Chaired Professor. In 1999,
he also established a venture company, SolutionLink, specialized in
software engineering consulting and tool development and had served as a
CEO for two years.

He received numerous awards for contribution to promotion of software
research and development in Korea, including two Minister's recognitions
in 2003 and 2008, and one Presidential recognition in 2011. He is a member
of the National Academy of Engineering of Korea.