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.
Announcements
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.
Proceedings
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 28, 2017 (extended) | |
| Submission deadline: | February 3, 2017 (extended) | |
| Notification of acceptance: | March 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
Tutorial
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.