-------- Original-Nachricht --------
*** Please accept our apologies should you receive multiple copies
of this call from different lists. ***
Call for Participation
- FESCA 2012 -
9th International Workshop on
Formal Engineering approaches to Software Components and
Architectures
Satellite event of ETAPS
March 31st 2012, Tallinn, Estonia
http://fesca.ipd.kit.edu/fesca2012/
WORKSHOP AIM
Component-based software design has received
considerable attention in industry and academia in the past
decade. In recent years, the growing need for trustworthy software
systems and the increased relevance of systems quality properties
(e.g. reliability, performance, and scalability) have stimulated
the emergence of formal techniques and architecture modelling
approaches for the specification and implementation of
component-based software architectures. Both have to deal with an
increasing complexity in software systems challenging analytical
methods as well as modelling techniques.
FESCA aims to address the open question of how formal methods can
be applied effectively to these new contexts and challenges. FESCA
is interested in both the development and application of formal
methods in component-based development and tries to
cross-fertilize their research and application.
PROGRAM HIGHLIGHTS
* SAMUEL KOUNEV, chair of SPEC Research Group (RG) and Descartes
RG at Karlsruhe Institute of Technology (Germany), has agreed to
deliver the FESCA 2012 keynote speech on the topic: "Modeling of Event-based
Communication in Component-based Architectures: State-of-the-Art and Future
Directions"
* MICHAL MALOHLAVA, has agreed to give tutorial on: "SOFA 2
Component Framework and Its Ecosystem"
TOPICS
One strength of FESCA is the link established
between the formal methods community and the software engineering
community by exploring how formal approaches can be exploited for
the analysis of large software architectures.
We encourage submissions on formal techniques and their
application that aid reasoning, analysis and certification of
component-based applications. In this context, the following
topics are of particular concern:
- Architecture as a language: Building Domain-Specific
Languages (DSLs)
- Modelling formalisms for the analysis of concurrent, embeded
or model-driven systems assembled of components;
- Modelling formalisms in prediction, analysis and measurement
of software quality attributes such as reliability,
performance, or security;
- Properties of component-based models
- Temporal properties (including liveness and safety) and
their formal verification;
- Interface compliance (interface-to-interface and
interface-to implementation) and contractual use of
components;
- Formal methods in Component-Based Software Development
- Techniques for prediction and formal verification of system
properties, including static and dynamic analysis;
- Instrumentation and monitoring approaches, runtime
management of applications;
- (Semi-) automatic inference of analytical models for
existing software systems;
- Formal methods in Model-Driven Software Development
- Abstraction level in modelling formalisms;
- Safer MDA through integration with formal methods;
- Correctness of model transformations;
- Industrial case studies and experience reports.
Submissions concentrating on specification
techniques should involve an evaluation of the practical merit of
their research and clearly state the analysis and reasoning
techniques they enable. We also appreciate work of a formal nature
with immediate value to the industrial context. We encourage not
only mature research results, submissions presenting innovative
ideas and early results are also of interest.
SUBMISSIONS
Three kinds of submissions are considered:
- Regular papers (up to 15 pages in ENTCS format), presenting
original and unpublished work related to the workshop topics.
- Position papers (up to 10 pages in ENTCS format) presenting
ideas and directions of interesting ongoing and yet unpublished
research related to the workshop topics.
- Tool demonstration papers (up to 5 pages in ENTCS format),
presenting and highlighting the distinguishing features of a
topic-related tool (co-developed by the authors).
PROCEEDINGS
- Regular and position papers will be published in a special
issue of the Electronic Notes in Theoretical Computer Science
(ENTCS) after the workshop.
- All regular, position and tool demonstration papers will
appear in electronic pre-proceedings distributed at the
workshop.
IMPORTANT DATES
- Paper registration: December 2, 2011
- Submission deadline: December 9, 2011
- Notification of acceptance: January 20, 2012
- Final versions due: February 3, 2012
- Workshop date: March 31, 2012
PROGRAMME COMMITTEE
- Ivana Cerna (Masaryk University, Czech Republic)
- Jens Happe (SAP Research, Germany)
- Ludovic Henrio (CNRS, France)
- Holger Hermanns (Universität des Saarlandes, Germany)
- Petr Hnetynka (Charles University in Prague, Czech
Republic)
- Samuel Kounev (Karlsruhe Institute of Technology,
Germany)
- Heiko Koziolek (ABB Research Ladenburg, Germany)
- Ralf Kuesters (Universität Trier, Germany)
- Markus Lumpe (Swinburne University of Technology,
Australia)
- Raffaela Mirandola (Politecnico di Milano, Italy)
- Dorina Petriu (Carleton Univesity, USA)
- Ralf Reussner (Karlsruhe Institute of Technology,
Germany)
- Cristina Seceleanu (Mälardalen University, Sweden)
- Steffen Zschaler (King's College London, UK)
PC CO-CHAIRS
- Barbora Buhnova (Masaryk University, Czech Republic)
- Lucia Kapova (Karlsruhe Institute of Technology, Germany)
- Jan Kofron (Charles University in Prague, Czech Republic)