[agents] Second Edition of the Workshop on Quality Assurance for Self-adaptive, Self-organising Systems at the Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems QA4SASO 2015, Cambridge, MA, USA, September 21, 20

[Benedikt Eberhardinger]

Dear subscribers of the Agents mailing list,
This mail intends to remind you about the upcoming QA4SASO workshop.
The deadline for submissions has been extended to July, 17th 2015.
Further details can be found in the attached CfP.

Best regards,
Benedikt Eberhardinger.

=================================================

Second Edition of the Workshop on Quality Assurance for  Self-adaptive, Self-organising Systems at the Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems QA4SASO 2015, Cambridge, MA, USA, September 21, 2015



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 17, 2015

Acceptance notification: July 31, 2015

Camera-ready version: August 10, 2015

Workshop: September 21, 2015



Website

--------

More information can be found at http://qa4saso.isse.de





Submissions

-----------

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 thoroughness of the related work comparison. Submitted papers must not have been previously published or submitted elsewhere.



Beyond, the organisers welcome the submission of proposals for talks not exceeding two pages. We encourage the submission of talks presenting previously published work that is of special interest to the community of the workshop. Moreover, position statements encouraging discussions on the workshop's topics are welcome. The workshop is an excellent opportunity to discuss and share research results with a wider audience in an interdisciplinary environment.



Publication

-----------

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 Computer Society Press proceedings style guide





Workshop Organization

---------------------

Wolfgang Reif Augsburg University, Germany Institute for Software & Systems Engineering reif at isse.de<mailto:reif at isse.de<mailto:reif at isse.de%3cmailto:reif at isse.de>>



Franz Wotawa Technical University of Graz, Austria Institute for Software Technology wotawa at ist.tugraz.at<mailto:wotawa at ist.tugraz.at<mailto:wotawa at ist.tugraz.at%3cmailto:wotawa at ist.tugraz.at>>



Benedikt Eberhardinger Augsburg University, Germany Institute for Software & Systems Engineering eberhardinger at isse.de<mailto:eberhardinger at isse.de<mailto:eberhardinger at isse.de%3cmailto:eberhardinger at isse.de>>





Program Committee

-----------------

Jacob Beal (BBN Technologies, USA)

Radu Calinescu (University of York, UK)

Schahram Dustdar (Technical University Wien, AUT)

Holger Giese (Hasso-Plattner-Institut Potsdam, GER)

Sebastian Götz (Technical University Dresden, GER)

Helmut Götz (Siemens AG, GER)

Marc Harman (University College London, UK)

Paola Inverardi (University of L'Aquila, ITA)

Alexander Knapp (University of Augsburg, GER)

Cu D. Nguyen (University of Luxembourg, LUX)

Hella Seebach (University of Augsburg, GER)

Sven Tomforde (University of Augsburg, GER)