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.
News
- 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.
Scope
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.
Topics of Interest:
All topics related to engineering self-adaptive and self-managing systems, including:
Foundational Concepts
- 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
Adaptation Objectives
- Self-* properties
- Automatic configuration, openness
- Adaptive security and privacy (SEAMS’18 will devote a special session on this topic)
Engineering Strategies
- Architecture and model-driven approaches
- Control theory
- Automatic synthesis techniques
- Search-based techniques and learning
Engineering Activities
- 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
Analytical Methods
- Runtime decision-making (multi-objective, multi-layered, distributed)
- Analysis and testing frameworks
- Verification and validation
- Simulation
Languages
- Formal notations for modeling and analyzing self-* properties
- Domain-specific language support for self-adaptation
- Programming language support for self-adaptation
Application Areas
- Industrial internet of things
- Cyber-physical systems
- Cloud and edge computing
- Robotics
- Smart environments
- Smart user interfaces
Artifacts
- 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 | |||
08:30 30m | Welcome to SEAMS 2018 SEAMS 2018 |
09:00 - 10:30 | |||
09:00 90m | Self adaptive software systems are essential for the Internet of ThingsKeynote SEAMS 2018 Danny Hughes KU Leuven File Attached |
14:00 - 15:30 | UncertaintySEAMS 2018 at E1 room Chair(s): Hausi Müller University of Victoria, Computer Science, Faculty of Engineering, Canada | ||
14:00 25m | Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic SearchLong Paper SEAMS 2018 Cody Kinneer Carnegie Mellon University, Zack Coker Carnegie Mellon University, Jiacheng Wang Dickinson College, David Garlan Carnegie Mellon University, Claire Le Goues Carnegie Mellon University | ||
14:25 15m | Uncertainty Reduction in Self-Adaptive SystemsShort Paper SEAMS 2018 Gabriel A. Moreno Carnegie Mellon University, USA, Javier Camara Carnegie Mellon University, David Garlan Carnegie Mellon University, Mark Klein Carnegie Mellon University | ||
14:40 25m | Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper SEAMS 2018 Ilias Gerostathopoulos Technical University of Munich, Christian Prehofer fortiss, Germany, Tomas Bures Charles University, Czech Republic Pre-print | ||
15:05 15m | Trace Checking for Dynamic Software Product LinesShort Paper SEAMS 2018 Rafael Olaechea University of Waterloo, Joanne M. Atlee University of Waterloo, Canada, Axel Legay , Uli Fahrenberg École Polytechnique |
18:00 - 22:00 | |||
18:00 4hDinner | SEAMS Banquet SEAMS 2018 |
Tue 29 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00 | |||
08:30 30m | Opening Day 2 SEAMS 2018 |
11:00 - 12:30 | |||
11:00 25m | Toward Evaluating the Impact of Self-adaptation on Security Control CertificationLong Paper SEAMS 2018 Allen Marshall University of Tulsa, Sharmin Jahan University of Tulsa, Rose Gamble University of Tulsa | ||
11:25 25m | Requirements and Specifications for Adaptive Security: Concepts and AnalysisSEAMS 2018 Best Paper AwardLong Paper SEAMS 2018 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 | ||
11:50 25m | Defining, Enforcing and Checking Privacy Policies In Data-Intensive ApplicationsLong Paper SEAMS 2018 Michele Guerriero Politecnico di Milano, Damian Andrew Tamburri TU/e, Elisabetta Di Nitto Politecnico di Milano | ||
12:15 10m | INSpIRA: INtegrating Security Into Risk AssessmentDoctoral Project SEAMS 2018 Jürgen Dobaj Graz University of Technology |
14:00 - 15:30 | |||
14:00 10m | Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract SEAMS 2018 | ||
14:10 10m | The Special Case of Data Protection and Self-adaptationExtended Abstract SEAMS 2018 | ||
14:20 10m | Self-adapation Made Easy with BlockchainsExtended Abstract SEAMS 2018 | ||
14:30 10m | Agree to Disagree: Security Requirements Are Different, But Mechanisms For Security Adaptation Are NotExtended Abstract SEAMS 2018 | ||
14:40 50m | Panel Discussion on Security and AdaptivityPanel SEAMS 2018 |
16:00 - 17:10 | |||
16:00 25m | Learning Non-Deterministic Impact Models for AdaptationLong Paper SEAMS 2018 Francisco Duarte Universidade de Lisboa, Richard Gil Universidade de Lisboa, Paolo Romano University of Lisbon, Portugal, Antónia Lopes University of Lisbon, Luis Rodrigues INESC-ID, IST, ULisboa | ||
16:25 25m | A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive SystemsLong Paper SEAMS 2018 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 Technology Pre-print | ||
16:50 15m | Adaptive Runtime Response Time Control in PLC-based Real-Time Systems using Reinforcement LearningShort Paper SEAMS 2018 Mahshid Helali Moghadam RISE SICS AB/Mälardalen University, Mehrdad Saadatmand RISE SICS, Markus Borg RISE SICS AB, Markus Bohlin RISE SICS, Bjorn Lisper Malardalen University |
17:10 - 17:30 | |||
17:10 10m | Closing SEAMS 2018 SEAMS 2018 | ||
17:20 10m | Outlook on SEAMS 2019 SEAMS 2018 |
Accepted Papers
The following list contains all accepted full papers, short papers, artifact papers, doctoral project papers, and abstracts.
Call for Papers
Solicited Types of Paper
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.
Paper Submission Details and Review Process
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).
Contact
Symposia-related email should be addressed to: seams-2018-org [AT] cs.kuleuven.be
SEAMS History
- 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