posted by organizer: b_eberhardinger || 3567 views || tracked by 8 users: [display]

QA4SASO 2015 : Second Edition of the Workshop on Quality Assurance for Self-adaptive, Self-organising Systems

FacebookTwitterLinkedInGoogle

Link: http://qa4saso.isse.de
 
When Sep 21, 2015 - Sep 21, 2015
Where Cambridge, MA, USA
Submission Deadline Jul 11, 2015
Notification Due Jul 31, 2015
Final Version Due Aug 10, 2015
Categories    software engineering   testing   self-adaptation   self-organization
 

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 achie ve 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, tes t 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 11, 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.

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@isse.de

Franz Wotawa Technical University of Graz, Austria Institute for Software Technology wotawa@ist.tugraz.at

Benedikt Eberhardinger Augsburg University, Germany Institute for Software & Systems Engineering eberhardinger@isse.de


Program Committee
-----------------
Jacob Beal (BBN Technologies, USA)
Radu Calinescu (University of York, UK)
Schahram Dustdar (Tec hnical University Wien, AUT)
Holger Giese (Hasso-Plattner-Institut Potsdam, GER)
Sebastian Götz (Technical University Dresden, GER)
Helmut Götz (Siemens AG, GER)
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)
To be completed.

Related Resources

ADAPTIVE 2025   The Seventeenth International Conference on Adaptive and Self-Adaptive Systems and Applications
Ei/Scopus- DMCSE 2024   2024 International Conference on Data Mining, Computing and Software Engineering (DMCSE 2024)
AI4AS 2024   AI4AS 2024: Second International Workshop on Artificial Intelligence for Autonomous computing Systems
ISCMI 2024   2024 11th International Conference on Soft Computing & Machine Intelligence (ISCMI 2024)
SAB 2024   From Animals to Animats: 17th International Conference on the Simulation of Adaptive Behavior
ACM NLPIR 2024   ACM--2024 8th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2024)
Dialogical Approaches to the Sphere ‘in 2024   Call For Papers - Dialogical Approaches to the Sphere ‘in-between’ Self and Other: The Methodological Meaning of Listening
ACM AICCC 2024   ACM--2024 7th Artificial Intelligence and Cloud Computing Conference (AICCC 2024)
ASQAP 2025   First International Workshop on Autonomous System Quality Assurance and Prediction with Digital Twins
AIAT 2024   2024 4th International Conference on Artificial Intelligence and Application Technologies (AIAT 2024)