GAUSS 2020

2ndInternational Workshop on Governing Adaptive
and
Unplanned Systems of Systems

Co-located with the 31st International Symposium on Software Reliability Engineering (ISSRE 2020)

October 12, 2020 - Coimbra, Portugal - Virtual Event

The Organizing Committee and the Steering Committee of ISSRE 2020 are closely following the worldwide situation regarding COVID-19. Because the wellbeing of everyone in the ISSRE community is our first and only guidance, and considering the information from national and international bodies, such as the World Health Organization, a decision has been made to move ISSRE 2020 into a full online conference experience.

Program

Monday, October 12


13.00 - 13.10 UTC

Opening - Daniela Briola

13.10 - 13.45 UTC - Keynote 1

Chair: Francesco Poggi

Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges

Fuyuki Ishikawa

Link


Session 1 - Architecture

Chair: Daniela Briola

13.45 – 14.00 UTC

Domain Metric Driven Decomposition of Data-Intensive Applications

Matteo Camilli, Carmine Colarusso, Barbara Russo and Eugenio Zimeo

Link

14.00 – 14.15 UTC

Towards the synthesis of context-aware choreographies

Gianluca Filippone, Marco Autili and Massimo Tivoli

Link

14.15 – 14.30 UTC

Break


14.30 - 15.05 UTC - Keynote 2

Chair: Francesco Gallo

Stopping the Barbarians at the Gate: Protecting IoT Devices from Security Attacks

Karthik Pattabiraman

Link


Session 2 - Validation

Chair: Pietro Braione

15.05 – 15.20 UTC

Towards Anomaly Detectors that Learn Continuously

Andrea Stocco and Paolo Tonella

Link

15.20 – 15.35 UTC

Standing on the Shoulders of Software Product Line Research for Testing Systems of Systems

Antonia Bertolino, Francesca Lonetti and Vânia de Oliveira Neves

Link

15.35 – 15.45 UTC

Break


Session 3 - Management and Evolution

Chair: Giovanni Quattrocchi

15.45 – 16.00 UTC

Declarative Dashboard Generation

Alessandro Tundo, Leonardo Mariani, Marco Mobilio, Oliviero Riganelli and Chiara Castelnovo

Link

16.00 – 16.15 UTC

Towards Declarative Decentralised Application Management in the Fog

Antonio Brogi, Stefano Forti, Carlos Guerrero and Isaac Lera

Link

16.15 – 16.30 UTC

A Reconfiguration Approach for Open Adaptive Systems-of-Systems

Björn Wudka, Carsten Thomas, Lennart Siefke and Volker Sommer

Link

16.30 – 16.45 UTC

Closing - Francesco Gallo



Invited Speakers

Fuyuki Ishikawa

Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges


Abstract

Ensuring safety and reliability of autonomous driving systems is a crucial challenge. One of the difficulties is how to check the intelligent control that should work in a variety of environments. In this talk, I will report our recent studies on testing and debugging path-planning software with our industry partner. Our approach is to adapt techniques originally for software programs to work with the path-planning software driven by optimization and weight design. Specifically, we use search-based (optimization-driven) testing and repair techniques as well as fault localization techniques to detect, explain, and fix ''significant'' crash cases. I will also discuss future directions from the perspective of "systems of systems".

Bio

Fuyuki Ishikawa is Associate Professor at Information Systems Architecture Science Research Division, and also Deputy Director at GRACE Center, in National Institute of Informatics, Japan. His interests are in software engineering for dependability, including formal methods, testing, optimization, and adaptation, especially for smart and autonomous systems. He has been playing key roles in ongoing projects for dependability of autonomous driving systems and machine learning-based systems.
Info


Karthik Pattabiraman

Stopping the Barbarians at the Gate: Protecting IoT Devices from Security Attacks


Abstract

In the past decade, there has been a phenomenal growth in consumer devices connected to each other, and to the Internet. Popularly known as the Internet of Things (IoT), these devices are often entry points to critical infrastructures such as the smart grid (e.g., smart meters). Attackers can compromise these end-user devices to gain a foothold into the infrastructure, and take over large numbers of these devices to mount massive attacks. Therefore, it is important to ensure that end-user devices are protected from attacks.
In the first part of this talk, I will describe our group’s work on automated techniques to find security vulnerabilities against smart end-user devices, such as smart-meters, drones, and smart rovers. I will then describe our work on developing host-based Intrusion Detection Systems (IDS) against these attacks, using invariant inference and machine learning techniques. Finally, I will describe some of the open problems and challenges in this area. This is joint work with my students and colleagues at UBC, and industrial partners.

Bio

Karthik Pattabiraman received his M.S and PhD. degrees from the University of Illinois at Urbana-Champaign (UIUC) in 2004 and 2009 respectively. After a post-doctoral stint at Microsoft Research (MSR), Karthik joined the University of British Columbia (UBC) in 2010, where he is now an associate professor of electrical and computer engineering. Karthik has won distinguished paper/runner up awards at conference such as DSN, ISSRE, ICSE, ICST, and EDCC. He received the Rising Star in Dependability award in 2020, the distinguished alumni early career award from UIUC’s Computer Science department in 2018,  the NSERC Discovery Accelerator Supplement (DAS) award in 2015, the 2018 Killam Faculty Research Prize, and 2016 Killam Faculty Research Fellowship at UBC. He also won the William Carter award in 2008 for best PhD thesis in the area of  fault-tolerant computing. Karthik is a senior member of both the IEEE and the ACM, and the vice-chair of the IFIP  Working Group on  Dependable Computing and Fault-Tolerance (WG 10.4).
Info


Call for Papers

Scope

Systems of Systems (SoSs) are gaining momentum due to the widespread adoption of Internet of Things (IoT) technologies, an increasing interest for smartcities, digital twins, and industrial cyber physical systems. The heterogeneity and large scale of these systems require novel design techniques, architectures and software infrastructures able to integrate independent (sub)systems to support their seamless cooperation, even through emergent behaviors. In addition, the continuous servicing process enabled by the recent microservices paradigm leads to rely on evolving approaches able to anticipate, mitigate, or react to unplanned scenarios.

Each system of a SoS must both exist as an independent entity and become part of wider systems when needed. This vision radically changes the notion of "integrated" system:

  • - (sub)systems offer limited interaction capabilities and little possibility to be controlled;
  • - cooperation can be ad-hoc and only needed in specific cases or conditions;
  • - in many cases there is no prior, complete, knowledge of the (sub)systems;
  • - SoS behaviors can be partially unplanned to follow environment or requirement changes.

The goal of the GAUSS (Governing Adaptive and Unplanned Systems of Systems) workshop is to bring together researchers and practitioners working on the design, the development, the validation and the continuous maintenance of System of Systems.

In this context, specific emphasis to methods and approaches focusing on ensuring desired sets of quality attributes (e.g., reliability, security, resilience) that SoSs must satisfy is given.

In addition, research works on distributed and adaptive system are also subject of interest for the GAUSS Workshop. Indeed, topics on dynamic modules integration, autonomous reaction to unplanned scenarios, or dynamic evolution of operational and managerial assets are source of changes that often potentiallyaffect the overall environment (i.e. the SoS) too, consequently they are in the scope of the workshop too.


The GAUSS workshop will accept regular papers reporting on new research, and presentations of Journal First Papers.

In addition, the organizing committee is planning to invite the best regular papers for a special issue on a Journal related to the topics of the Workshop (to be decided).

Submission Link

Topics

The list of relevant topics include but is not limited to:

  • Modeling, design, and engineering of SoSs
  • Architectures, architectural styles, and middlewares for SoSs
  • Foundations and formal methods for SoSs
  • Methods for architecture synthesis, coordination and adaptation patterns
  • Online V&V techniques for functional and non-functional assessment and dependability
  • Online and Offline testing techniques for SoSs and Complex Systems
  • Context-awareness and context-aware adaptation techniques
  • Reconfiguration and optimization techniques
  • Self-* mechanisms
  • Techniques for extracting behavior models from streams of continuos observations
  • Applications of SoSs
  • Distributed Software Engineering: strategies, processes, testing and methods
  • SoSs experiences, case studies, benchmarking, evaluations, testing, and industrial perspectives
  • Models of functional and non functional requirements, context and governance policies to support integration of SoSs
  • Knowledge management and Decision-making process in SoSs
  • Ambient Intelligent Systems
  • MultiAgents solutions for SoSs
  • Interaction Platforms enabling heterogeneous entities participation
  • Knowledge bases integration support and exploitation for semantic interoperability
  • Autonomic coordination, negotiation and interactions for MultiAgents and Complex systems
  • Blockchain technology for distributed and heterogeneous systems
  • Internet of Things-based SoSs
  • Adaptive and Reactive systems

Regular Papers

Papers submitted for evaluation must be original, unpublished, and not submitted for publication elsewhere. Any submission of a contribution implies that, if accepted for presentation, at least one of its proponents must register (paying the requested fee) and attend the conference for giving the presentation.


GAUSS 2020 accepts two categories of papers:

  • - Long: up to 8 pages (with reference)
  • - Short: up to 4 pages (with reference)

Papers that exceed the number of pages for that submission category could be rejected without review


Formatting Rules

Authors should submit an electronic copy of the paper (written in English) in PDF using the EasyChair submission site.

Submissions must adhere to IEEE Computer Society Format Guidelines as implemented by the following LaTeX/Word templates:


Publication

Accepted peer-reviewed papers will be included in a supplemental volume of the ISSRE conference proceedings, and published by the IEEE Computer Society on IEEE Xplore.
We plan to invite some selected papers to submit an extended version to a special issue on a Journal related to the topics of the Workshop (to be decided).


Special Track: Journal First

This year GAUSS will have a dedicated session to promote the community meeting and research sharing, accepting already published papers on journals related to the topics of the workshop.
Authors who had articles published on eligible journals between January 1st, 2019 and August 3rd, 2020 can propose their work to the JF Track of GAUSS. The proposed papers must be in the scope of the workshop; furthermore, they must not be an extension of previous Conference/Workshop papers, and they must have not already been presented in similar JF tracks.

Journals are eligible for the JF track if they:

  • - are indexed on Scimago
  • - are in subjects areas and categories related to the workshop (e.g., Computer Science, Software, Artificial Intelligence, etc.)
  • - have an average evaluation of Q2 (or more) in the last 4 years (2015-2018) in these categories

Please note that the papers in the JF Track will not be evaluated again by reviewers: their quality is already assured by the journals where they are published.
The selection process will only refer to the relevance and the affinity of the papers with respect to the workshop topics and the availability of the foreseen presentation slots.


Submissions Rules

Authors should submit an electronic record (written in English) in PDF using the easychair submission site.
Each record submission for the JF Track must include:

  • - the title of the original article
  • - the complete list of authors
  • - the original abstract
  • - a list of keywords
  • - the full reference to the article as accepted by the journal (plus a link to the online version, if any)
  • - if available, authors can include a public version of the paper too (e.g.,preprint, arxiv link, etc.) [not mandatory]


Presentation

All the papers accepted to the JF Track will have a presentation slot to promote their work during GAUSS 2020. Please note that these papers will not be included in the proceedings: only the Title, Authors and Abstract will appear on the websites, plus a mandatory reference to the already published paper.
Any accepted submission to the JF Track implies that at least one of its proponents must register (paying the requested fee) and attend the conference for giving the presentation.

Important Dates

Regular Papers

Abstract Submission

July 24, 2020 [not mandatory]

Full Paper Submission

August 10, 2020 (Extended)

Notification to Authors

August 21, 2020

Camera-Ready Papers

August 28, 2020


Journal First Papers

Record Submission

August 10, 2020 (Extended)

Notification to Authors

August 28, 2020

Call To Submission

Submission Link

Organizing Committee Members

  • Pietro Braione, Università di Milano - Bicocca - Italy
  • Daniela Briola, Università di Milano - Bicocca - Italy
  • Guglielmo De Angelis, CNR-IASI - Italy
  • Francesco Gallo, Università dell'Aquila - Italy
  • Francesco Poggi, Università di Modena e Reggio Emilia - Italy
  • Giovanni Quattrocchi, Politecnico di Milano - Italy

Program Committee Members

  • Marco Autili, Università dell'Aquila - Italy
  • Matteo Baldoni, Università degli Studi di Torino - Italy
  • Luciano Baresi, Politecnico di Milano - Italy
  • Antonia Bertolino, CNR-ISTI - Italy
  • Radu Calinescu, University of York - UK
  • Mariano Ceccato, Università di Verona - Italy
  • Angelo Ferrando, University of Liverpool - UK
  • Antonio Filieri, Imperial College London - UK
  • Marcelo Medeiros Eler, University of São Paulo - Brasil
  • Elisa Nakagawa, University of São Paulo - Brasil
  • Vânia de Oliveira Neves, Universidade Federal Fluminense - Brasil
  • Andrea Polini, University of Camerino - Italy
  • Stefano Russo, Università di Napoli-Federico II - Italy
  • Cristina Seceleanu, Mälardalen University - Sweden
  • Meng Sun, Peking University - China
  • Paolo Tonella, Università della Svizzera Italiana - Switzerland
  • Damian Andrew Tamburri, Eindhoven University of Technology - Eindhoven
  • Apostolos Zarras, University of Ioannina - Greece

Contact

For any question, curiosity or report, please do not hesitate to contact us here.