left header image
Hausi A. Müller
right header image

Professor, Associate Dean Research PhD PEng FCAE
Faculty of Engineering
Department of Computer Science
University of Victoria

Last updated
July 2017


left header image

left header image

IEEE Computer Society Election

I was nominated for IEEE Computer Society 2018 President-Elect and 2019 President.
Please visit my election website at http://goo.gl/fqMPYEPlease vote here —  Thank you for your support!

VP IEEE CS T&C

I am the 2017 Vice President of IEEE Computer Society Technical and Conferences Activities (T&C) Board.

IoT and CPS Research

Please submit papers to World Forum on Internet of Things WF-IoT 2018 — I serve as TPC Co-Chair.

With Fuyuki Ishikawa and Marin Litoiu, I am co-organizer of SENCPS NII Shonan Meeting — Software Engineering and Networked Control for Smart Cyber Physical Systems.

Cyber physical systems (CPS) are smart, distributed, software-intensive systems that control tightly integrated computational and physical components. These systems involve a high degree of complexity at numerous spatial and temporal scales and control software and physical components with networked communications. CPS technologies are becoming the key enablers for how we control and build smarter engineered systems, such as autonomous vehicles, smart cities and buildings, renewable energy systems, personalized health care, medical devices, water management systems, and food supply chains. It is imperative to position Canada at the forefront in this industrial revolution.
The goal of my research program is to understand and enhance the capabilities that can be added to humans and machines with tightly integrated networked control. There are many challenges that must be addressed in CPS foundations to be able to harvest its rich economic opportunities. I will investigate scientific foundations and technologies towards a CPS control and systems science (CSS) to analyse and design CPS that are controlled through real-time, networked feedback loops. CSS will provide a platform to analyse, design, simulate, optimize, validate, and verify CPS. A CPS modifies its behaviour at runtime in response to changes within the system or its physical environment. The fulfilment of CPS requirements must be guaranteed even in the presence of adaptations. Traditionally, confidence in the correctness of a system is gained through analyses performed at design time. In the case of CPS, some assurance tasks must be performed at runtime. This calls for methods and techniques that enable continuous CPS assurance throughout its life cycle. A model at runtime (MART) is a causally connected self-representation of the associated system that emphasizes its structure, behaviour, and goals from a problem space stages is no longer apparent. My objective is to explore MART for different aspects of concrete application domains to deal with CPS dynamics to provide effective techniques for analysing, guaranteeing and predicting CPS properties.
The societal impact of CPS is enormous. Advances in the interconnected capabilities of CPS affect virtually every engineered system. The technologies emerging from combining the cyber and physical worlds will provide an innovation and incubation engine for a broad range of industries—creating entirely new markets and platforms for years to come. CPS are advanced technology systems that require knowledge and training for their development and operation. A skilled workforce to support future CPS is a challenge in its own right and of strategic importance. 

Situation-aware and context-aware smart software systems

We investigate methods and frameworks for building context-aware smart commerce systems. We developed (1) the concept of Personal Context Sphere (PCS), (2) the context management infrastructure SmarterContext, and (3) the SmarterDeals recommendation engine for electronic commerce. For PCS and SmarterContext, we won the 2011 IBM Canada CAS Research Project of the Year Award. For SmarterDeals we won the CASCON 2012 Best Paper Award. Villegas’ dissertation on Situation-Aware Smart Software Systems was nominated for the Governor General's Gold Medal, CAGS/UMI Distinguished Dissertation Award, and ACM Doctoral Dissertation Award.

Software engineering for self-adaptive systems (SAS)

We contributed several innovative frameworks, reference models, architectures, methods and algorithms in SAS. I am a founder of the ACM/IEEE International Symposium on Software Engineering for Self-Adaptive and Self-Managing Systems (SEAMS). I was General Chair for SEAMS 2012 in Zürich. I co-organized three international workshops on Engineering Adaptive Software Systems (EASSy 2013 and EASSy 2015) in Shonan, Japan and Software Engineering for Self-Adaptive Systems (SEfSAS 2013) in Dagstuhl, Germany. In 2017, I am co-organizing SENCPS, an NII Shonan Meeting on Software Engineering and Networked Control for Smart Cyber Physical Systems. Our SAS research contributions include our (1) framework for evaluating quality-driven SAS, (2) DYNAMICO reference model, (3) classification of SAS problems to guarantee solution qualities, and (4) frameworks for context-aware applications.

Ground-breaking SAS evaluation framework

Researchers proposed many diverse software approaches and strategies to modify the behaviour of a managed system. In our paper entitled “A Framework for Evaluating Quality-Driven Self-Adaptive Software Systems,” we proposed a classification of self-adaptive systems spanning the spectrum from control-based to software engineering-based approaches. This SAS evaluation framework is based on our survey of self-adaptive systems papers and a set of adaptation properties derived from control theory. We mapped these properties to measurable software quality attributes. This framework is highly useful for architects and designers of self-adaptive systems. Many researchers in the SAS research community have used this paper to assess their own proposed architectures.

DYNAMICO reference model

Our 2013 DYNAMICO paper is ground-breaking and has been used by other research groups. DYNAMICO improves the engineering of self-adaptive systems by addressing (i) the management of adaptation properties and goals as control objectives; (ii) the separation of concerns among feedback loops; and (iii) the management of dynamic context as an independent control function. Our 2013 paper “Improving Context-awareness in Self-adaptation using DYNAMICO” presents a realization of DYNAMICO comprising our SmarterContext monitoring infrastructure and the QOS-CARE adaptation framework in a self-adaptation solution that maintains its context-awareness relevance. The results of the evaluation demonstrate the applicability, feasibility, and effectiveness of DYNAMICO.

Classification of SAS problems to guarantee solution qualities

We collaborated with theoretical computer scientists, Srinivasan and Stege, to classify SAS problems. We observed that many SAS problems are solved using algorithms based on the Greedy technique resulting in excellent performance. In practice SAS operators adjust policies at runtime to optimize the behaviour of SAS. Research challenge: Can we identify SAS problems for which the greedy approach leads to optimal solutions? Our contributions: (1) A mathematical formulation for SAS optimization problems involving utility-function, goal, and action policies. (2) A mathematical framework that adds structure to the underlying optimization problem for different types of policies. (3) Evaluation of the applicability of our framework using real-world SAS optimization problems including resource allocation, quality of service management, and SLA profit optimization. Our innovative approach helps designers of SAS formulate optimization problems, decide on algorithmic strategies based on policy requirements, and reason about solution qualities.

Smart applications frameworks

As part of the SAVI NSERC Strategic Network and IBM CAS projects, my research group developed several smart applications frameworks SmarterContext, Yakkit \xxxx& Billboard, PALTask, Kaleidoscope—context-aware video streaming infrastructure, and dynamic web services. Yakkit is a context-aware content delivery system that runs on mobile devices. Yakkit offers two location-based services: virtual billboards and location based chat. Virtual billboards allow anyone to pin messages to locations on a map, where other users are able to see and interact with them. Researchers have built Yakkit apps for many different applications and domains. Kaleidoscope generates context-aware video contents using Edge & Core resources to test Future Internet infrastructure with respect to latency and throughput.

Research Team

Together with my research group at the University of Victoria and in collaboration with IBM Canada, CA Canada, SAVI NSERC Strategic Research Network, Canadian Consortium for Software Engineering Research (CSER),and the Carnegie Mellon Software Engineering Institute (SEI), I investigate methods, models, architectures, techniques, and feedback loops for autonomic, self-managing, self-adaptive, diagnosis, and SOA governance systems. In 2006 I received the IBM Faculty Fellow of the Year Award and the CSER Outstanding Leadership Award. My research is sponsored by NSERC, CSER, IBM Corporation, CA Inc., and the University of Victoria.

SAVI

 I was a principal investigator in SAVI, an NSERC Strategic Research Network for Smart Applications on Virtual Infrastructure (2011-2016). 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.

TCSE

I was Chair of IEEE Computer Society’s Technical Council on Software Engineering (TCSE), 2011-2015.  TCSE serves a valuable role in the international software engineering community for academic researchers and industry professionals. Its portfolio includes over 25 software engineering conferences and workshops. Key priorities of TCSE include strong support for its publications, conferences, and workshops; leadership in software engineering education and international outreach; an active role in public policy issues; and good relations with other software engineering societies and regional associations.

BSENG: Bachelor of Software Engineering

I was the founding Director of the Bachelor of Software Engineering (BSEng) degree program in the Faculty of Engineering (2003-07) and the chief architect of the BSENG curriculum (2002-07).

Tool Building Experience

Over the last 30 years, we accumulated significant software engineering research tool building experience. This experience is distilled in the dissertations of Holger Kienle and Kenny Wong. Jochen Stier developed Geist3D, a visualization engine for simulating mechatronics systems during his PhD studies. Johannes Martin's dissertation produced Ephedra, a C/C++ to Java software transformation environment based on our experience with IBM transforming PL/IX programs to C++. The ACRE project produced a series of reverse engineering tools built on commercial products, including Visio, Lotus Notes, Excel, Adobe GoLive, and SVG. During her PhD studies Peggy Storey developed the first version of the highly acclaimed SHriMP visualization system. For his dissertation, Kenny Wong distilled the experiences gained in our reverse engineering projects with IBM CAS into the Reverse Engineering Notebook. Our most famous system is Rigi, which evolved from a programming-in-the-large tool to an end-user programmable environment for software reverse engineering, exploration, visualization, and redocumentation.

Industrial Experience

My industrial experience includes consultancies and research projects with IBM Toronto (1991-present), SEI (1995-present), CA Canada Inc. (2005-present), SAP Business Objects (2005-present), Klocwork Solutions (1998-2004), and other companies. I was the founding president of Hypersystems Technologies Inc. (1997-2001). I gathered much of my motivation for software engineering research while developing power control, supervision, and distribution systems at ASEA Brown Boveri (ABB) in Switzerland (1979-82).

Personal

My spouse, Professor Ulrike Stege, is Chair of the Department of Computer Science at the University of Victoria. I enjoy hiking and traveling with Ulrike, skiing with my children Curtis and Brian, singing and guitar playing at CSER meetings, Dagstuhl and Shonan seminars, and Computer Society and Victoria Swiss Society events, as well as playing soccer with my Gorden Head team.


 

FAVORITES
 

Whistler 2016
Hiking at Whistler 2016
read more

Brian-Hausi-Whistler-2016
Hiking at Whistler 2016
read more

Canada-Day-2016
Canada Day 2016
read more: Victoria

Mt. Fuji
Climbing Mt. Fuji 2015
read more: Shonan

IBM CAS Synergy Award 2006
IBM CAS NSERC Leo Derikx Synergy Award 2006
read more: NSERC, IBM CAS

Computing Pioneers 2005
Pioneers of Computing in Canada 2005
read more

WCRE Soccer Tournament 2006
WCRE 2006 Soccer Tournament, Benevento, Italy
read more

Skiing Mt. Washington 2006
Skiing at Mt. Washington, BC, 2006
read more

Skiing Lake Louise 2007
Skiing at Lake Louise, Alberta, 2007
read more