Session 1: Testing Systems of Systems (09:00 am - 09.30 am) - Session Chair: Barbara Russo

Invited Speaker:

Validating System of Systems: approaches and open challenges, Francisco Gortazar

Abstract

The IT industry is in the process of modernizing their assets to embrace the cloud-native paradigm and be ready for a fierce market competition that is pushing time-to-market to its minimum, by releasing value several times a day. Despite this pressure, we shall not forgot that the software we are releasing needs to be reliable, safe and secure. The validation of these system of systems poses new challenges. We will explore current industrial and research practices and open challenges when validating these system of systems. Presentation Available

Session 2: Architecture and evolution (11:00 am - 11:30 am) - Session Chair: Davide Rossi

Invited Speaker:

Test-based Scalability and Resilience Assessment of Microservice-based Software Systems, Andrè van Hoorn

Abstract

Microservice-based software systems promise high degrees of (auto-)scalability and resilience. Load and resilience testing are established measurement-based techniques to assess these quality properties. However, their application in the context of microservices is challenging, e.g., due to the architectural system complexity, uncertainties in the operational environment, and modern development paradigms such as DevOps. In this talk, I will present some of our recent approaches to assess scalability and resilience for microservices in the DevOps context. The approaches employ the automated generation and efficient execution of load and resilience tests based on automatically extracted operational data and architectural information. - Presentation Available

Session 3: Reliability and resilience (01:30 pm - 02:00 pm) - Session Chair: Francesco Gallo

Invited Speaker:

Ensuring and demonstrating diverse quality attributes of complex systems: problems of models and cultures, Lorenzo Strigini

Abstract

We live among very complex systems that work efficiently and safely, apparently justifying our trust in them. Yet justifying that trust and preserving it, while the systems, their environment, and the threats against them, change, is difficult enough to motivate this workshop. This talk will focus on the variety, emphasised in the workshop's programme, of "quality attributes that SoSs must satisfy such as reliability, security, resilience": it will discuss the need for addressing these diverse attributes together, and the difficulties in doing so, even for "planned" engineered systems, for reasons both technical and cultural; and speculate on how the methods in use can scale towards better assurance for less planned and more complex socio-technical systems. - Presentation Available

Session 4: Anomaly detection (03:30 pm - 04:00 pm) - Session Chair: Eugenio Zimeo

Invited Speaker:

Assessing and Improving the Trustworthiness of Cloud Applications: The ATMOSPHERE Approach, Marco Vieira

Abstract

Self-adaptive cloud applications should be able to reflect on their own state and perform adaptations to achieve specific goals. Quality models can be used to express trustworthiness properties such as security, privacy, fairness, etc., and are a way to represent the goals of an application. In practice, one quality model allows computing a score by continuously aggregating raw data collected from the system, portraying how trustworthy that system is. In this talk we will discuss a framework and a platform for measuring and improving trustworthiness properties of applications that are deployed in cloud environments. The framework specifies a trustworthiness assessment lifecycle inspired in MAPE-K, and covers both design-time and run-time aspects. The platform implements a distributed monitoring system based on probes, which is highly flexible and supports the analysis. Trustworthiness scores are used to plan adaptations by evaluating rules, which are finally executed by means of actuators deployed in the system. A concrete example of application in an industrial project will be presented. - Presentation Available