CALL FOR PARTICIPATION

WoSAR 2021

13th International Workshop on Software Aging and Rejuvenation

October 25, 2021

Co-located with ISSRE 2021

32nd IEEE International Symposium on Software Reliability Engineering

October 25-28, 2021

After more than twenty-five years of research work in software aging and rejuvenation (SAR), this is the international event to bring together researchers and practitioners involved with the theoretical and experimental aspects of software aging and rejuvenation. As a satellite event of the premier symposium, ISSRE, this workshop aims to provide a unique forum discussing the state of the art and the new challenges in software aging and rejuvenation research, as well as providing a valuable opportunity for establishing collaborations among several research groups interested in this research field.

We invite you to share your ideas and experience with fellow scientists and industry practitioners in the software aging and rejuvenation fields. In addition to the presentations of refereed papers and extended abstracts, there will also be invited talks.

Online Program

Amid the continuing COVID-19 situation, this year WoSAR will be held online. The program this year is composed of 2 keynote invited talks and 7 research papers. All the events will be live.

The opening and closing sessions, as well as the traditional WoSAR Social Banquet, will be also live-streamed.

The details of our one-day workshop program are as follows:


WoSAR 2021 Program

(Schedule shows New York Time)

REGISTRATION

As a satellite event of ISSRE, the registration process is managed by the ISSRE committee and IEEE. The registration information is available on the ISSRE website.

Organizing Committee

Honorary General Co-Chairs:

Kishor S. Trivedi, Duke University, USA

Tadashi Dohi, Hiroshima University, Japan

General Co-Chairs:

Rivalino Matias, Federal University of Uberlandia, Brazil

Jianwen Xiang, Wuhan University of Technology, China

Program Committee Co-Chairs:

Alberto Avritzer, eSulabSolutions, USA

Xiaoyuan Xie, Wuhan University, China

Publication Chair:

Fumio Machida, University of Tsukuba, Japan

Publicity Co-Chairs:

Vasilis Koutras, University of the Aegean, Greece

Junjun Zheng, Ritsumeikan University, Japan

Jean Araujo, Federal University of Agreste of Pernambuco, Brazil

Fangyun Qin, Capital Normal University, China

Antonio Ken Iannillo, University of Luxembourg, Luxembourg

Javier Alonso, Amazon, USA

Ricardo M. Czekster, Newcastle University, UK

Finance Chair:

Artur Andrzejak, Heidelberg University, Germany

Web Master:

Xiaoting Du, Beihang University, China

KEYNOTE TALKS

Software Rejuvenation for Secure and Safe Control of Cyber-Physical Systems

Raffaele Romagnoli

Cyber-physical systems (CPSs) are ubiquitous in many domains, including energy delivery, intelligent transportation, and health care, thanks to recent advancements in computing, sensing, and networking technologies. One of the main challenges is to guarantee safe and secure operation of these critical CPS from possible malicious attacks and malfunctions. In this talk we present an architecture and run-time strategies for safe and secure control of CPS based on software rejuvenation. We show how to combine Lyapunov theory to preserve safety while software rejuvenation is used to guarantee security. We also deal with the liveness property of the proposed method for tracking control problems, and robustness with respect to disturbances, modeling uncertainties, and state estimation errors. The developed method is applied on a 6DOF UAV controlled by the PX4 flight controller.

Short Biography:

Raffaele Romagnoli received the Ph.D. degree in control system and automation specializing in optimal and robust control system theory from Universit\'{a} Politecnica delle Marche (UNIVPM), Ancona, Italy, in 2015. From October 2015 to December 2017, he was a postdoctoral researcher with the Department of Control Engineering and System Analysis (SAAS), Universit\'{e} Libre de Bruxelles (ULB), Brussels, Belgium, working on the control of Li-ion batteries. Since 2018 he is a researcher with the Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA, and is involved in several projects in collaboration with Carnegie Mellon’s Software Engineering Institute (SEI). His main research interests are related to safe and secure control of cyber-physical systems with application to autonomous vehicles.

Developing Optimal Software Rejuvenation Strategies based on Machine Learning Techniques

Kalyan Vaidyanathan

Over the last two decades, several well-known studies on software reliability have reported and examined in detail the phenomenon of increasing failure rate and/or progressive performance degradation in long-running software systems known as software aging. To counteract and mitigate software aging, software rejuvenation has been proposed, which involves terminating an application or a software system, cleaning its internal state and/or its environment, and restarting it. Optimal rejuvenation design depends on the application availability requirement, the application failure rate, costs of scheduled and unscheduled maintenance, and the rejuvenation performance impact. This talk will initially survey software rejuvenation optimization techniques based on supervised and unsupervised machine learning algorithms, discuss the types of data and potential challenges. The later half of the talk will focus on optimal preventive maintenance strategies that employ reinforcement learning, where applications provide feedback through a reward structure.

Short Biography:

Kalyan Vaidyanathan currently works for BAE Systems Inc. where he leads a team focussed on applied machine learning to solve problems in multiple domains including imagery, text, geospatial applications and manufacturing. He received his Ph.D. degree from Duke University in Electrical & Computer Engineering, working on developing and implementing analytic and data-centric strategies for optimal software rejuvenation. He has published highly-cited works in these areas and has several patents to his credit.