Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

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 adaptation 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.

Call for paper

Important date

2016-07-04
Draft paper submission deadline

Submission Topics

  • 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 self-adaptive, self-organising systems empirical evaluation

  • empirical evaluation

  • measurement and evaluation of resilience, security, performance, reliability, and cost in self-adaptive, self-organising systems

  • benchmarking of self-adaptive, self-organising 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

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Sep 12

    2016

    Conference Date

  • Jul 04 2016

    Draft paper submission deadline

  • Sep 12 2016

    Registration deadline