Last modified on Jan 18, 2018
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.
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.
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.
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
Analysis and prediction of quality attributes
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.
Three kinds of submissions are solicited:
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).
|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|
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.
|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|
Contact address: fesca2017(at)easychair.org, please include the keyword FESCA in the email subject.
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)
Please follow the information at ETAPS 2017 website.
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