CONTACT US TODAY: +353 61 213 028

FMSAS 2012

First International Workshop on Formal Methods for Self-Adaptive Systems
Event type: 
Event Date/Time: 
Wed, 27/06/2012 (All day) to Thu, 28/06/2012 (All day)
Concordia University, Montreal, QC, Canada

Aself-adaptive system changes its behavior in response to stimuli from its execution and operational environment. As software is used for more pervasive and critical applications, support for self-adaptation is increasingly seen as vital in avoiding costly disruptions for repair, maintenance and evolution of systems. Self-adaptation may result in changes to some functionality, algorithms, or system parameters, as well as to the system’s structure or any other system aspect. Moreover, an autonomic self-adaptive system may have intrinsic intelligence that may help it reason about situations where autonomous decision making is required. The major challenges to overcome in order to achieve adequate self-adaptive behavior are related to monitoring, quality and quantity of knowledge and awareness. A successful self-adaptive system meets those challenges to emphasize features like adaptability, autonomy, mobility, robustness, and dynamicity.

Developing self-adaptive systems requires new approaches that can efficiently tackle the problems of expressing autonomy requirements, designing and implementing self-adaptive features, and efficiently testing self-adaptive behavior. This satellite event to the C3S2E 2012is a good opportunity to bring together researchers in formal methods and related fields interested in the opportunities and the challenges of developing self-adaptive systems. We welcome both theoretical and applied contributions related to the relevance and potential of formal methods in engineering self-adaptive systems.

  • formalism for expressing autonomy requirements and modeling self-adaptation;
  • tools and approaches for implementing self-adaptive systems;
  • tools and approaches for verification and testing self-adaptation;
  • run-time verification;
  • verification of non-deterministic systems;
  • algorithms for self-adaptation and self-management;
  • knowledge representation for cognitive systems;
  • approaches to autonomous decision-making;
  • modeling awareness and self-awareness;
  • robustness and fault tolerance;
  • mobility;
  • monitoring;
  • software architectures;
  • code generation;
  • bio-inspired algorithms;
  • simulation;
  • machine learning.

Other topics related to self-adaptive systems and of particular interest are: autonomic computing, mobile computing, multi-agent systems, resilient systems, unmanned exploration systems, service-oriented systems, robotics, sensor networks, adaptable user interfaces and pervasive systems.

FMSAS 2012will be held in conjunction with the Fifth International C* Conference on Computer Science & Software Engineering (C3S2E'12)hosted by Concordia University, Montreal, QC, Canada. Proceedings will be published by ACM.

Program Chair

Emil Vassev

Steering Committee

Emil Vassev (Lero, University of Limerick, Ireland)

Mike Hinchey (Lero, University of Limerick, Ireland)

Christopher Rouff (ATL, Lockheed Martin, USA)

Program Committee

Laura L. Pullum (Oak Ridge National Laboratory, USA)

Corina Pasareanu (NASA Ames Research Center, USA)

Olga Ormandjieva (Concordia University, Montreal, Canada)

Tiziana Margaria (University of Potsdam, Germany)

Phan Cong Vinh (London South Bank University, UK)

Xiaohui Cui (Oak Ridge National Laboratory, USA)

Franco Zambonelli (UNIMORE, Reggio Emilia, Italy)

Ugo Montanari (University of Pisa, Pisa, Italy)

Rocco De Nicola(IMT Lucca, Lucca, Italy)

Michele Loreti (University of Florence, Florence, Italy)

Saddek Bensalem (UJF-VERIMAG, Grenoble, France)

Emil Vassev (Lero, University of Limerick, Ireland)

Mike Hinchey (Lero, University of Limerick, Ireland)

Christopher Rouff (ATL, Lockheed Martin, USA)

Hausi A. Muller (University of Victoria, Victoria, Canada)

Joey Paquet (Concordia University, Montreal, Canada) 


Paper submission begins: 2012-15-02
Paper submission deadline: 2012-04-01
Acceptance notice: 2012-05-01
Camera-ready deadline: 2012-06-04
Conference dates: 2012-06-27 - 2012-06-28


Please address any inquiries to ''.