GRACEセンターメールマガジン2013/8/8 第33号

◆□◆GRACEメールマガジン2013/8/8 第33号◆□◆



【会場】国立情報学研究所(NII) 20階 ミーティングルーム1・2(2009・2010)
〒101-8430 東京都千代田区一ツ橋2-1-2

【主催】NII 先端ソフトウェア工学・国際研究センター





Software Engineering for the Industrial Internet
Situation-Aware Smart Applications

Hausi A. Muller (University of Victoria)

With the rise of the Industrial Internet the world entered a new era of
innovation. At the heart of this new industrial revolution is the
convergence of the global industrial system with computing power, low-cost
sensing, big data, predictive analytics, and ubiquitous connectivity. The
growing proliferation of smart devices and applications is accelerating the
convergence of the physical and the digital worlds. Smart apps allow users,
with the help of sensors and networks, to do a great variety of things, from
tracking their friends to controlling remote devices and machines. At the
core of such smart systems are self-adaptive systems that optimize their own
behaviour according to high-level objectives and constraints to address
changes in functional and non-functional requirements as well as
environmental conditions. Self-adaptive systems are implemented using four
key technologies: runtime models, context management, feedback control
theory, and run-time verification and validation.

The proliferation of highly dynamic and smart applications challenges the
software engineering community in re-thinking the boundary between
development time and run time and developing techniques for adapting systems
at run time. The key challenge is to automate traditional software
engineering, maintenance and evolution techniques to adapt and evolve
systems at run time with minimal or no human interference. Hitherto, most
developers did not instrument their software with sensors and effectors to
observe whether requirements are satisfied in an evolving environment at run
time. One way to break out of this mold is to make the four key
technologies readily accessible at run time.

Hausi A. Muller is a Professor in the Department of Computer Science and
Associate Dean of Research in the Faculty of Engineering at University of
Victoria, Canada. He is Chair of the IEEE Computer Society Technical Council
on Software Engineering (TCSE). His research interests include software
engineering, software evolution, smarter commerce, self-adaptive and
self-managing systems, situation-aware systems, context-aware systems,
service-oriented systems, reverse engineering, reengineering, and program

He is a principal investigator in the NSERC Strategic Research Network for
Smart Applications on Virtual Infrastructure (SAVI). The main research goal
of the SAVI Network is to address the design of future applications
platforms built on a flexible, versatile, and evolvable infrastructure that
can readily deploy, maintain, and retire the large-scale, possibly
short-lived, distributed applications that will be typical in the future
applications marketplace. The SAVI partnership involves investigators from
nine Canadian universities and 13 companies bringing together expertise in
networking, cloud computing, applications, and business.

In 2011 Dr. Muller’s research team won the IBM Canada CAS Research Project
of the Year Award. He was the founding Director of BSEng, a CEAB accredited
Bachelor of Software Engineering degree program in the Faculty of
Engineering. He serves on the Editorial Board of Software Maintenance and
Evolution and Software Process: Improvement and Practice (JSME). He served
on the Editorial Board of IEEE Transactions on Software Engineering (TSE).
Dr. Muller is General Chair of ICSM 2014, the 30th IEEE International
Conference on Software Maintenance in Victoria. He was General Chair of
SEAMS 2012, the 7th ACM/IEEE International Symposium on Software Engineering
for Adaptive and Self-Managing Systems in Zurich. He was General Chair for
ICSE 2001, the 23rd ACM/IEEE International Conference on Software
Engineering (ICSE 2001) in Toronto. Dr. Muller is a Fellow of the Canadian
Academy of Engineering (FCAE) and a Professional Engineer (PEng) registered
with APEGBC. He received a Diploma Degree in Electrical Engineering in 1979
from the Swiss Federal Institute of Technology (ETH), Zurich and MSc and PhD
degrees in Computer Science in 1984 and 1986 from Rice University in
Houston, Texas, USA.

Making E-type Software Ecosystems an Adaptive Time Machine

Yijun Yu (The Open University, UK)

Time travel is the dream of archaeologists to verify their
hypotheses of our history, also the subject of science fiction writers
to propose their speculations of our destiny. Featured by change
management and backup systems, even imperfect, travelling to the past of
a project is no longer a dream. However, travelling to the future
software world remains largely so. On basis of various advances in the
theory and practice of requirements engineering, travelling to the
future may be enabled by a collection of carefully designed software
systems. In this talk, I will present some recent progress towards this

Yijun Yu is a Senior Lecturer at the Department of Computing in The
Open University since 2006. Graduated from the Department of Computer
Science at Fudan University (Ph.D. 1998), he was a postdoc research
fellow at Ghent University (1999–2002), and a research associate at the
University of Toronto (2003-2006).
He is interested in adapting evolving systems to meaningful contextual
changes by developing transferable knowledge in automated software


●GRACEメールマガジンの 第33号をお届けしました。
ご意見、ご感想は、GRACEセンター事務局 (


カテゴリー: メルマガ パーマリンク