posted by organizer: b_eberhardinger || 1579 views || tracked by 10 users: [display]

QA4SASO 2014 : First Workshop on Quality Assurance for Self-adaptive, Self-organising Systems


When Sep 12, 2014 - Sep 12, 2014
Where London
Submission Deadline Jul 16, 2014
Notification Due Jul 30, 2014
Final Version Due Aug 6, 2014
Categories    software engineering   agents   multi-agent systems   testing

Call For Papers

First Edition of the Workshop on Quality Assurance for Self-adaptive, Self-organising Systems
at the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems
QA4SASO 2014, London, UK, September 8, 2014

Call for Papers
Developing self-adaptive, self-organising systems (SASO) that fulfil the requirements of different stakeholders is no simple matter. Quality assurance is required at each phase of the entire development process, starting from requirements elicitation, system architecture design, agent design, and finally in the implementation of the system. The quality of the artefacts from each development phase affects the rest of the system, since all parts are closely related to each other. Furthermore, the shift of adaption decisions from design-time to run-time - necessitated by the need of the systems to adapt to changing circumstances - makes it difficult, but even more essential, to assure high quality standards in these kind of systems. Accordingly, the analysis and evaluation of these self-* systems has to take into account the specific operational context to achieve high quality standards.

The necessity to investigate this field has already been recognized and addressed in different communities but there exists so far no platform to bring all these communities together. Therefore, the workshop will provide an open stage for discussions about the different aspects of quality assurance for self-adaptive, self-organising systems. Examples for topics of interest are:

Modelling and verification
* formal models and modelling languages such as automata, state machines, process algebras, logics, HOL, Markov-chains, UML
* run-time verification and validation in SASO systems empirical evaluation

empirical evaluation
* measurement and evaluation of resilience, security, performance, reliability, and cost in SASO systems
* benchmarking of SASO systems

test-centred development
* test derivation, test selection, test coverage, test implementation and execution, test result analysis, test oracles, test management, and monitoring
* automated support of any of the testing activities, rigid testing processes, test driven development

case studies, industrial applications, and experience reports

Important Dates
Paper submission: July 16, 2014
Acceptance notification: July 30, 2014
Camera-ready version: August 6, 2014
Workshop: September 12, 2014

More information can be found at

The workshop organisers solicit original research papers, position papers, as well as experience reports on the topics outlined in the description with a maximum length of 6 pages. At least three members of the program committee will review each paper in a single-blind process. The decision will be based on the motivation of the topic, the clarity of the claims of the contribution, the relevance of the research, its evaluation, and the thor-oughness of the related work comparison. Submitted papers must not have been previously published or submitted elsewhere.

The proceedings of the workshop will be published as a bundle with the main conference proceedings, presumably by IEEE Computer Society Press.

Paper Format
Maximum of 6 pages, formatted according to the IEEE Comput-er Society Press proceedings style guide.

Workshop Organization
Wolfgang Reif Augsburg University, Germany Institute for Software & Systems Engineering

Franz Wotawa Technical University of Graz, Austria Institute for Software Technology

Tom Holvoet Catholic University of Leuven, Belgium Department of Computer Science

For all enquiries about the workshop, please contact:
Benedikt Eberhardinger Augsburg University, Germany Institute for Software & Systems Engineering

Program Committee
Rasmus Adler, Fraunhofer IESE
Steffen Becker, University of Paderborn
Radu Calinescu, University of York
Schahram Dustdar, Technical University of Wien
Gordon Fraser, University of Sheffield
Karin Anna Hummel, ETH Zurich
Paola Inverardi, University of L'Aquila
Alexander Knapp, University of Augsburg
Rogério de Lemos, University of Kent
Simone Ludwig, North Dakota State University
Frédéric Migeon, Paul Sabatier University
Cu D. Nguyen, University of Luxembourg
Alexander Pretschner, Technical University of Munich
Hella Seebach, University of Augsburg
Matthias Tichy, University of Gothenburg
Sven Tomforde, University of Augsburg
Franco Zambonelli, University of Modena

Related Resources

QA4SASO 2016   Third Edition of the IEEE Workshop on Quality Assurance for Self-adaptive, Self-organising Systems
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
SASO^ST 2016   Fourth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
SASO 2016   IEEE International Conference on Self-Adaptive and Self-Organizing Systems
NFM 2017   The 9th NASA Formal Methods Symposium
ADAPTIVE 2017   The Ninth International Conference on Adaptive and Self-Adaptive Systems and Applications
ICCRD 2017   The 9th International Conference on Computer Research and Development (ICCRD 2017)-SCOPUS
SOAComm 2016   1st International Workshop on Self Organized Adaptive Communications
MRT 2016   The 11th International Workshop on Models@run.time