posted by user: vslatten || 4330 views || tracked by 12 users: [display]

ASAS 2011 : Assurances for Self-Adaptive Systems

FacebookTwitterLinkedInGoogle

Link: http://asas.dei.uc.pt/
 
When Sep 4, 2011 - Sep 4, 2011
Where Szeged, Hungary
Submission Deadline Jun 22, 2011
Notification Due Jul 5, 2011
Categories    formal methods   adaptation   software engineering
 

Call For Papers

CALL FOR PAPERS - ASAS 2011

Assurances for Self-Adaptive Systems
1-day ESEC/FSE Workshop: September 4-6, 2011 (final date TBD), Szeged (Hungary)
http://asas.dei.uc.pt
-------------------------------------------------------------------------------

DESCRIPTION

Until recently, repairing faults, or performing upgrades on software systems
have been activities performed by human operators. However, both the increasing
complexity of systems and the growing uncertainty in their operational environments
have created a critical need to develop systems able to improve their operation, adapt
to change, and recover from failures autonomously. This situation has led to recent
advances in self-adaptive systems able to reconfigure their structure and modify their
behaviour at run-time to adapt to environmental changes.

Despite these advances, one key aspect of self-adaptive systems that remains to be tackled
in depth is assurances: that is, providing evidence that systems satisfy their set of
stated functional and non-functional properties during operation. Developing high-assurance,
self-adaptive systems is difficult because they tend to be highly context-dependent, and
this fact introduces a high degree of uncertainty. ASAS is a one-day workshop that will
bring together researchers to discuss software engineering aspects of self-adaptive systems,
including methods, architectures, languages, algorithms, techniques, and tools that can be
used to support assurances in self-adaptive system development.

TOPICS OF INTEREST

We are interested in submissions from both industry and academia on all topics related to this
important area. Topics of interest to ASAS include, but are not limited to:

- formal notations for modeling and analyzing self-adaptation
- measurement and evaluation of resilience, security, performance, and cost in adaptive systems
- run-time verification and validation
- stochastic analysis
- reasoning in the presence of uncertainty
- benchmarking resilience
- combination of run-time and development-time evidence
- social aspects of assurances
- resilient cases for self-adaptive systems

PAPER SUBMISSION DETAILS AND PUBLICATION

We solicit the submission of (1) position papers and progress reports describing ongoing work or
new ideas, (2) research papers and experience reports describing substantive research results,
and (3) survey papers. Papers submitted for consideration should not have been published elsewhere
and should not be under review or submitted for review elsewhere during the duration of consideration.

Papers submitted for consideration should not have been published elsewhere and should not be under
review or submitted for review elsewhere during the duration of consideration. All papers must conform,
at time of submission to the ACM SIG Proceedings Templates and be up to 4 pages (position papers and
progress reports) or 10 pages (research, experience, and survey papers). All submissions must be in English
(PDF format) and must be uploaded through our Easychair submissions website (https://www.easychair.org/conferences/?conf=asas2011). Workshop proceedings will be published in the ACM digital library. In addition
to the workshop proceedings, a post-proceedings book (under negotiation with Springer) containing a selection
of extended versions of the presented papers will be considered, depending on the scientific quality of the contributions received.

IMPORTANT DATES

Paper submission: June 15, 2011
Notification of acceptance: July 5, 2011
Workshop: To be determined (September 4-6, 2011)

PROGRAM COMMITTEE (To be completed)

Betty H.C. Cheng (Michigan State University, USA)
Bojan Cukic (West Virginia University, USA)
Felicita Di Giandomenico (CNR-ISTI, Italy)
David Garlan (Carnegie Mellon University, USA)
Paola Inverardi (University of L'Aquila, Italy)
Marta Kwiatkowska (Oxford University, UK)
Raffaela Mirandola (Politecnico di Milano, Italy)
Flavio Oquendo (European University of Brittany- UBS/VALORIA, France)
Luis Rodrigues (Instituto Superior Tecnico, Portugal)
Rick Schlichting (AT&T, USA)
Marco Vieira (University of Coimbra, Portugal)

WORKSHOP ORGANIZERS
Javier Camara (University of Coimbra, Portugal)
Rogerio de Lemos (University of Kent, UK)
Carlo Ghezzi (Politecnico di Milano, Italy)
Antonia Lopes (University of Lisbon, Portugal)

Related Resources

SEAMS 2021   Software Engineering for Adaptive and Self-Managing Systems
ITE 2021   2nd International Conference on Integrating Technology in Education
CyRA 2020   1st International Workshop on Cyber Resilience and Antifragility in Complex, Distributed Systems
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
SEAMS 2020   15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
IJCSES 2020   International Journal of Computer Science and Engineering Survey
IROS 2021   International Conference on Intelligent Robots and Systems
ACM--ADIP--EI Compendex, Scopus 2020   ACM--2020 2nd Asia Digital Image Processing Conference (ADIP 2020)--EI Compendex, Scopus
UVS-Oman 2022   The 2nd International Conference on Unmanned Vehicle Systems (UVS-Oman 2022) - IEEE
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex