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 LinkTopics
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:
- - LaTex Package (use bare_conf.tex) (ZIP)
- - Word Template (DOCX)
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 LinkOrganizing 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