International Workshop on Formal Engineering approaches to Software Components and Architectures

Recent editions: 2016 2015 2014 2013 older

FESCA 2017

Last modified on May 27, 2017

14th International Workshop on Formal Engineering approaches to Software Components and Architectures

Satellite event of ETAPS, April 22, 2017, Uppsala, Sweden

The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering.


Charles University, Czech Republic       KTH Royal Institute of Technology, Sweden


Mar 29, 2017: Workshop programme has been published, see below.
Sep 19, 2016: Tomáš Bureš has accepted the invitation to give a keynote.
Sep 19, 2016: Programme committee has been published.
Sep 13, 2016: Patrizio Pelliccione has accepted the invitation to give a tutorial.
Aug 24, 2016: The FESCA 2017 webpage is up.

Workshop Aim

In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity and utilization of today's software systems, FESCA aims at addressing two research questions: (1) what role is played by the software design phase in the systematic addressing of the analytical and modelling challenges, and (2) how can formal and semi-formal techniques be effectively applied to make the issues easier to address automatically, with lower human intervention.

Workshop Topics

We encourage submissions on (semi-)formal techniques and their application that aid analysis, design and implementation of software applications, especially those employed in interconnected, communicating devices, devices interacting with the physical world, and cyber-physical systems. The topics include (but are not limited to):

Formal modelling of component-based, timed and hybrid systems

Algorithmic controller synthesis

Correctness checking

  • Safety verification
  • Temporal properties and their formal verification
  • Interface compliance and contractual use of components

Analysis and prediction of quality attributes

  • Formal prediction and analysis
  • Static and dynamic analysis
  • Instrumentation and monitoring approaches

Industrial case studies and experience reports

We encourage not only mature research results, submissions presenting innovative ideas and early results of junior researchers are also of a particular interest.

Submission Guidelines

Three kinds of submissions are solicited:

  • regular papers (up to 15 pages) presenting original and unpublished work related to the workshop topics,
  • position papers (up to 5 pages) presenting ideas and directions of interesting ongoing and yet unpublished research related to the workshop topics, and
  • presentation abstracts (1 page) presenting work already accepted at other conferences and workshop.

The papers should be written in English, follow the EPTCS style, and respect the page limit. Papers are to be submitted via the EasyChair conference system, and need to be registered before submission (authors, title, abstract, keywords). All accepted papers are required to be presented at the workshop by one of the authors. The presentation abstracts will NOT be published.


Final versions of all accepted papers (excluding one-page presentation abstracts) will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS).

Important Dates

Paper registration:January 18, 2017January 28, 2017 (extended)
Submission deadline:January 25, 2017February 3, 2017 (extended)
Notification of acceptance:   February 27, 2017March 1, 2017 (extended)
Final versions due:March 14, 2017

Invited Speaker

Tomáš Bureš (Charles University, Czech Republic): Towards dynamic architectures of smart cyber-physical systems


Patrizio Pelliccione (Chalmers University of Technology and University of Gothenburg): Engineering the software of robotic systems

Abstract: Robots are meant to support and replace humans for a broad variety of everyday tasks such as environmental monitoring or patrolling large public areas for security assurance. The main focus of researchers and practitioners thus far has been on providing tailored software and hardware solutions for very specific and often complex tasks. On one hand, these solutions show, in some cases, great potential and provide advanced capabilities for solving specific tasks. On the other hand, the polarized attention to task-specific solutions makes it hard to reuse them - or part of them - for solving even slightly different tasks.

In this tutorial I will explain why there is the need for software engineering techniques for engineering robotic systems. I will then focus on the use of models and Model-driven Engineering (MDE) as a promising technique to (i) enable the development of robot applications in terms of prescriptive models defined with concepts that are less dependent on the underlying platform and closer to the problem domain, and (ii) facilitate the adaptation of the robots at runtime so to deal with unpredictability and uncontrollability of operational environments.

As concrete example, I will finally present a software platform tailored to unmanned multicopters that makes possible the specification of missions for end-users that have neither expertise in ICT nor in multicopters dynamics, e.g., fire-fighters and rescue workers.

Accepted Papers

  • Bence Czipó, Ákos Hajdu, Tamás Tóth and István Majzik. Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts
  • Oldrich Faldik, Richard Payne, John Fitzgerald and Barbora Buhnova. Modelling System of Systems Interface Contract Behaviour
  • Jean-Michel Hufflen. Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
  • Diego Marmsoler and Silvio Degenhardt. Verifying Patterns of Dynamic Architectures using Model Checking
  • Cyrille Valentin Artho and Guillaume Rousset. Model-based Testing of the Java network API

Workshop Programme

08:30 - 10:00    Keynote: Tomas Bures: Towards dynamic architectures of smart cyber-physical systems
10:00 - 10:30    Coffee break
10:30 - 11:00    Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts
11:00 - 11:30    Modelling System of Systems Interface Contract Behaviour
11:30 - 12:00    Verifying Patterns of Dynamic Architectures using Model Checking
12:00 - 12:30    Model-based Testing of the Java network API
12:30 - 14:00    Lunch
14:00 - 14:30    Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
14:30 - 15:30    Tutorial I: Patrizio Pelliccione: Engineering the software of robotic systems
15:30 - 16:00    Coffee break
16:00 - 17:00    Tutorial II: Patrizio Pelliccione: Engineering the software of robotic systems

Organizing Committee

  • Jan Kofron, Charles University, Prague, Czech Republic
  • Jana Tumova, KTH Royal Institute of Technology, Stockholm, Sweden

Contact address: fesca2017(at)easychair.org, please include the keyword FESCA in the email subject.

Programme Committee

Alessandro Abate (University of Oxford, UK)
Christian Colombo (University of Malta, MT)
Yanja Dajsuren (Technische Universiteit Eindhoven, NL)
Antinisca Di Marco (Università degli Studi dell'Aquila, IT)
Rudiger Ehlers (Universität Bremen, DE)
Uli Fahrenberg (IRISA Rennes, FR)
Georgios Fainekos (Arizona State University, US)
Radu Grosu (Technische Universität Wien, AT)
Petr Hnetynka (Charles University, CZ)
Diego Pérez (Politecnico Milano, IT)
Matthias Rungger (Technische Universität München, DE)
Cristina Seceleanu (Mälardalen University, SE)
Catia Trubiani (Gran Sasso Science Institute, IT)

Registration and Travelling

Please follow the information at ETAPS 2017 website.

Previous FESCA Workshops

The previous FESCA workshops at ETAPS 2004-2016 enjoyed high-quality submissions and attracted a number of recognized guest speakers, including Steffen Becker (TU Chemnitz, Germany), Steffen Zschaler (King's College London, UK), Colin Atkinson (University of Mannheim), Manfred Broy (Technische Universität München, Munich, Germany), Ivana Černá (Masaryk University, Czech Republic), Vittorio Cortellessa (Università dell'Aquila), José Luiz Fiadeiro, (University of Leicester, UK), Constance L. Heitmeyer (Naval Research Laboratory, USA), Rolf Hennicker (LMU, Munich, Germany), Samuel Kounev (KIT, Germany), František Plášil (Charles University, Prague, Czech Republic) and Martin Wirsing (LMU, Munich, Germany). It is expected that FESCA 2017 will make an equally positive contribution.

Copyright 2015, Fesca chairs. The Neat skin by Carlos A. Bonamigo