13th International Symposium on Software Engineering for Adaptive and Self-Managing SystemsSEAMS 2018
SEAMS 2018 is co-located with ICSE 2018 in Gothenburg, Sweden and will be held from May 28-29, 2018.
- The SEAMS 2018 proceedings are available online at the ACM Digital Library.
- Pictures of SEAMS 2018 can be found at our Facebook page, particularly, here and here.
- The slides of the keynote “Self adaptive software systems are essential for the Internet of Things” by Danny Hughes are available here.
- The SEAMS 2018 best paper award goes to “Requirements and Specifications for Adaptive Security: Concepts and Analysis” by Thein Tun, Mu Yang, Arosha Bandara, Yijun Yu, Armstrong Nhlabatsi, Niamul Khan, Khaled Khan, and Bashar Nuseibeh and the best artifact award to “SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web Applications” by Gabriel A. Moreno, Bradley Schmerl, and David Garlan. Congratulations!
- The SEAMS 2018 proceedings are available as part of the ICSE 2018 proceedings on the official ICSE 2018 webpage.
- We have now officially published the SEAMS 2018 artifacts as issue 1 in the volume 4 of the “Dagstuhl Artifacts Series (DARTS)”.
- Register to SEAMS 2018 through the ICSE 2018 registration. Please note the early registration deadline of April 1st 2018.
- Keynote speaker confirmed: Danny Hughes will give a talk entitled “Self adaptive software systems are essential for the Internet of Things”.
- Extended submission deadline for all solicited types of papers (including the extended abstracts on “security and adaptivity”). The extended deadline is strict.
Modern and emerging software systems, such as industrial Internet of Things, Cyber-Physical Systems, cloud and mobile computing, have to operate without interruption. Self-adaptation and self-management enable these systems to adapt themselves at runtime to preserve and optimize their operation in the presence of uncertain changes in their operating environment, resource variability, new user needs, attacks, intrusions, and faults.
Approaches to complement software-based systems with self-managing and self-adaptive capabilities are an important area of research and development, offering solutions that leverage advances in fields such as software architecture, fault-tolerant computing, programming languages, robotics, run-time program analysis and verification, among others. Additionally, research in this field is informed by related areas such as control systems, machine learning, artificial intelligence, agent-based systems, and biologically inspired computing. The SEAMS symposium focuses on applying software engineering to these approaches, including methods, techniques, processes and tools that can be used to support self-* properties like self-protection, self-healing, self-optimization, and self-configuration.
The objective of SEAMS is to bring together researchers and practitioners from diverse areas to investigate, discuss, and examine the fundamental principles, the state of the art, and critical challenges of engineering self-adaptive and self-managing systems.
All topics related to engineering self-adaptive and self-managing systems, including:
- Understanding and taming uncertainty
- Runtime models and variability
- Online analysis and planning
- Consistent change of systems in operation
- Mixed-initiative and human-in-the-loop systems
- Self-* properties
- Automatic configuration, openness
- Adaptive security and privacy (SEAMS’18 will devote a special session on this topic)
- Architecture and model-driven approaches
- Control theory
- Automatic synthesis techniques
- Search-based techniques and learning
- Requirements elicitation techniques
- Architecture and design techniques
- Systematic reuse (e.g., patterns, viewpoints, reference architectures, code)
- Instrumentation of legacy systems (probing and effecting)
- Processes and methodologies
- Adaptation in the context of DevOps
- Real-world demonstrators
- Controlled experiments, case studies, replication studies, surveys
- Runtime decision-making (multi-objective, multi-layered, distributed)
- Analysis and testing frameworks
- Verification and validation
- Formal notations for modeling and analyzing self-* properties
- Domain-specific language support for self-adaptation
- Programming language support for self-adaptation
- Industrial internet of things
- Cyber-physical systems
- Cloud and edge computing
- Smart environments
- Smart user interfaces
- Model problems and exemplars
- Resources including data sets, metrics, and software useful to compare self-adaptive approaches
Mon 28 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00
|Welcome to SEAMS 2018|
09:00 - 10:30
|Self adaptive software systems are essential for the Internet of ThingsKeynote|
Danny Hughes KU LeuvenFile Attached
11:00 - 12:30
|Compositional Verification of Self-Adaptive Cyber-Physical SystemsLong Paper|
Aimee Borda Trinity College Dublin, Liliana Pasquale University College Dublin & Lero, Ireland, Vasileios Koutavas , Bashar Nuseibeh The Open University (UK) & Lero (Ireland)Pre-print
|DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non-functional Requirements Trade-offShort Paper|
|RE-STORM: Mapping the Decision-Making Problem and Non-Functional Requirements Trade-off to Partially Observable Markov Decision ProcessesShort Paper|
|Towards Integrating Undependable Self-Adaptive Systems in Safety-Critical EnvironmentsShort Paper|
|K8-Scalar: a workbench to compare autoscalers for container-orchestrated database clustersArtifact|
14:00 - 15:30
|Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic SearchLong Paper|
|Uncertainty Reduction in Self-Adaptive SystemsShort Paper|
|Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper|
Ilias Gerostathopoulos Technical University of Munich, Christian Prehofer fortiss, Germany, Tomas Bures Charles University, Czech RepublicPre-print
|Trace Checking for Dynamic Software Product LinesShort Paper|
16:00 - 17:30
|Hybrid Adaptation Policies – Towards a Framework for Classification and Modelling of Different Combinations of Adaptation PoliciesLong Paper|
|A Systematic Literature Review of UML-based Domain-Specific Modeling Languages for Self-adaptive SystemsShort Paper|
João Pablo S. Da Silva Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, Miguel Ecar Federal University of Pampa, Brazil, Marcelo S. Pimenta Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, Gilleanes T. A. Guedes Federal University of Pampa, Brazil , Luiz Paulo Franz Federal University of Pampa, Brazil , Luciano Marchezan Federal University of Pampa, Brazil
|Run-time Monitoring of Self-Adaptive Systems to Detect N-way Feature Interactions and their CausesShort Paper|
|mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-OptimizationArtifact|
Thomas Vogel Humboldt-Universität zu BerlinLink to publication Pre-print
Tue 29 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00
|Opening Day 2|
09:00 - 10:30
|Cleaning Up the Mess: a Formal Framework for Autonomously Reverting BDI Agent ActionsLong Paper|
|Prototyping Self-managed Interdependent Networks - Self-healing Synergies against Cascading FailuresLong Paper|
Evangelos Pournaras ETH Zurich, Mark Ballandies ETH Zurich, Dinesh Acharya ETH Zurich, Manish Thapa ETH Zurich, Ben-Elias Brandt ETH ZurichPre-print
|A Coordination Mechanism to Replicate Large-Scale Multi-Agent SystemsShort Paper|
|SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web ApplicationsArtifactSEAMS 2018 Best Artifact Award|
Gabriel A. Moreno Carnegie Mellon University, USA, Bradley Schmerl Carnegie Mellon University, USA, David Garlan Carnegie Mellon UniversityLink to publication Media Attached
|Decentralized Self-Adaptive Computing at the EdgeDoctoral Project|
11:00 - 12:30
|Toward Evaluating the Impact of Self-adaptation on Security Control CertificationLong Paper|
|Requirements and Specifications for Adaptive Security: Concepts and AnalysisSEAMS 2018 Best Paper AwardLong Paper|
Thein Tun , Mu Yang The Open University, Arosha K Bandara Open University, Yijun Yu The Open University, Armstrong Nhlabatsi Qatar University, Niamul Khan Qatar University, Khaled Khan Qatar University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland)Pre-print
|Defining, Enforcing and Checking Privacy Policies In Data-Intensive ApplicationsLong Paper|
|INSpIRA: INtegrating Security Into Risk AssessmentDoctoral Project|
Jürgen Dobaj Graz University of Technology
14:00 - 15:30
|Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract|
|The Special Case of Data Protection and Self-adaptationExtended Abstract|
|Self-adapation Made Easy with BlockchainsExtended Abstract|
|Agree to Disagree: Security Requirements Are Different, But Mechanisms For Security Adaptation Are NotExtended Abstract|
|Panel Discussion on Security and AdaptivityPanel|
16:00 - 17:10
|Learning Non-Deterministic Impact Models for AdaptationLong Paper|
|A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive SystemsLong Paper|
Arthur Rodrigues University of Brası́lia, Ricardo Caldas University of Brası́lia, Genaina Rodrigues University of Brasilia, Thomas Vogel Humboldt-Universität zu Berlin, Patrizio Pelliccione University of Gothenburg & Chalmers University of TechnologyPre-print
|Adaptive Runtime Response Time Control in PLC-based Real-Time Systems using Reinforcement LearningShort Paper|
Call for Papers
SEAMS solicits different types of papers:
Long papers (10 pages main text, inclusive of figures, tables, appendices, etc.; plus references up to two additional pages). Long papers should: (1) clearly describe innovative and original research, or (2) report a survey on a research topic in the field, or (3) explain how existing techniques have been applied to a real-world case.
Comparative study papers (10 pages main text, plus references up to two additional pages). Comparative study papers should clearly describe a research problem and the artifact that is used to evaluate and compare at least two different solutions to the problem. The artifact used in a comparative study can be any artifact that is formally published, within or outside the SEAMS community. Comparative study papers are regular research papers, as long papers.
Short papers (6 pages + 1 page references). Short papers should describe novel and promising ideas and/or techniques that are in an early stage of development. To that end, short papers will be reviewed with dedicated review guidelines.
Extended abstracts on “security and adaptivity” (2 pages including references). SEAMS 2018 will organize a session devoted to “security and adaptivity” led by David Garlan. Besides other types of submissions, interested authors are invited to submit an extended abstract in which they provide an argumentation either in favor or against the statement “security is not just another quality attribute in self-adaptive systems.”
Artifact papers (6 pages + 1 page references). Artifact papers should describe a model problem, an exemplar, or useful set of resources for the broader community. A model problem provides a description of a problem that poses and highlights fundamental or characteristic challenges in the area of self-adaptive systems that should be addressed. An exemplar is an implementation of a system that can be used with multiple self-adaptive approaches. A data repository provides data (e.g., logging data, system traces, survey raw data) useful in other studies. A framework offers tools and services illustrating new approaches to self-adaptation that could be used by other researchers in different contexts. Please provide instructions on how to install or try out the artifact and include a link to the artifact in the paper.
Doctoral project papers (4 pages + 1 page references). A doctoral project paper should describe the dissertation research of a PhD student in the field of self-adaptive and self-managing systems. This paper has to be authored by the student only. A suggestion for structuring the paper is as follows:
- The problem to be solved in your thesis (justify why this problem is important and make clear that previous research has not yet solved that problem).
- Your research hypothesis (claim).
- The expected contributions of your dissertation research.
- How you plan to evaluate your results and to present credible evidence of your results to the community.
- A description of the results achieved so far and a planned timeline for completion.
Students of accepted papers will have a short time slot to introduce their research and interact with the audience during a poster session. Instructions for formatting posters will be provided after the notification. We encourage submissions from PhD students at any stage of their research.
Please note that SEAMS 2018 will not use double blind reviewing. It will continue using single blind reviewing.
All submitted papers and artifacts will be reviewed by at least three members of the program committee. Papers must not have been previously published or concurrently submitted elsewhere. Papers must conform to ACM formatting guidelines (see ICSE 2018 style guidelines here and here), and submitted via EasyChair. Accepted papers will appear in the symposium proceedings that will be published in the ACM and IEEE digital libraries. The official publication date of an accepted paper will be the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of ICSE2018. The official publication date affects the deadline for any patent filings related to published work. Purchases of additional pages in the proceedings is not allowed.
Accepted artifact papers will also be archived on the Dagstuhl Artifacts Series (DARTS).
The following list contains all accepted full papers, short papers, artifact papers, doctoral project papers, and abstracts.
Symposia-related email should be addressed to: seams-2018-org [AT] cs.kuleuven.be
- SEAMS 2017 in Buenos Aires, Argentina
- SEAMS 2016 in Austin, USA
- SEAMS 2015 in Florence, Italy
- SEAMS 2014 in Hyderabad, India
- SEAMS 2013 in San Francisco, USA
- SEAMS 2012 in Zürich, Switzerland
- SEAMS 2011 in Hawaii, USA
- SEAMS 2010 in Cape Town, South Africa
- SEAMS 2009 in Vancouver, British Columbia, Canada
- SEAMS 2008 in Leipzig, Germany
- SEAMS 2007 in Minneapolis, Minnesota, USA
- SEAMS 2006 in Shanghai, China
SEAMS community page: http://self-adaptive.org