Fesca

Fesca

International Workshop on Formal Engineering approaches to Software Components and Architectures

Recent editions: 2016 2015 2014 2013 older

FESCA 2016

Last modified on Sep 27, 2016

13th International Workshop on Formal Engineering approaches to Software Components and Architectures
Satellite event of ETAPS, April 3rd, 2016, Eindhoven, Netherlands

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

  • Apr 02, 2016: The workshop dinner will take place on Sunday, Apr 3 at Le Connaisseur, Kleine Berg 12. The map can be found here.
  • Mar 21, 2016: The tutorial abstract has been published.
  • Feb 22, 2016: The workshop programme has been published.
  • Feb 16, 2016: Cristina Seceleanu (MDH, Sweden) has accepted an invitation to give a tutorial at Fesca on Verification and test-case generation starting from architectural models of automotive systems
  • Jan 08, 2016: Registration has been open. Please follow the instructions at the Etaps page.
  • Dec 22, 2015: The submission deadlines have been extended again!
  • Dec 09, 2015: The submission deadlines have been extended!
  • Aug 08, 2015: New FESCA'16 webpage was launched
  • Jun 02, 2015: PC-chairs of FESCA are now Bara Buhnova, Jan Kofron, and Jana Tumova
  • Mar 26, 2015: FESCA'16 website was launched



Etaps



Charles University Prague, Czech Republic       KTH Royal Institute of Technology, Sweden       Masaryk University, Brno, Czech Republic

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 10 pages) presenting ideas and directions of interesting ongoing and yet unpublished research related to the workshop topics, and
  • tool demonstration papers (up to 8 pages) presenting and highlighting the distinguishing features of a topic-related tool (co-developed by the authors).

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. Tool demonstration and position papers are required to state "Tool demonstration paper/Position paper" as a subtitle of the publication.

Proceedings

Final versions of all accepted papers will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS).

Important Dates

Paper registration:December 10, 2015   January 4, 2016
Submission deadline:December 17, 2015January 14, 2016
Notification of acceptance:   January 25, 2016February 15, 2016
Final versions due:February 15, 2016February 28, 2016

Invited Speaker

Steffen Becker (Technische Universität Chemnitz, Germany): Engineering scalable cloud systems

Cloud-computing offers scalable, elastic infrastructures or platforms which allow to build systems of web-scale. However, the applications running on those platforms need to utilize the provided features so that the overall solution becomes scalable, elastic and ultimately efficient. In the CloudScale EU FP7 project we developed in the last three years a method to engineer such systems. The method helps software architects in planning, designing, and analyzing such systems. In addition, it also provides support for migrating existing legacy systems into cloud-computing environment and hence, offer web-scale services.

Tutorial

Cristina Seceleanu (Mälardalen University, Sweden): Verification and test-case generation starting from architectural models of automotive systems

Architectural description languages, e.g. EAST-ADL, provide a comprehensive approach to describing complex embedded systems as standardized models that encapsulate structural, functional, and extra-functional information. The aim of such models is to enable the system's documentation, design, early verification, and even code implementation. In this tutorial, we show how such models can be used one step further, as a basis of an analysis methodology that leads to eventual code verification for embedded systems. Our proposed methodology relies on automated model-based formal verification and test-case generation for both functional and timing requirements, assuming the EAST-ADL architectural model of the embedded system as input.

Workshop Programme

09:00-09:15 Jan Kofron and Jana Tumova: Workshop opening
09:15-10:15 Steffen Becker: Engineering Scalable Cloud Systems (Invited talk)
10:15-11:00 Coffee break
11:00-11:30 Rui Couto, António Nestor Ribeiro and José Creissac Campos: An Approach for Use Cases Formalization Using Ontologies
11:30-12:00 Sarmen Keshishzadeh, Arjan Mooij and Jozef Hooman: Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Transformations
12:00-12:30 Luke Chircop, Gordon Pace and Christian Colombo: Device-Centric Monitoring for Mobile Device Management
12:30-14:00 Lunch
14:00-15:00 Cristina Seceleanu: Verification and Test-Case Generation Starting from Architectural Models of Automotive Systems (Tutorial I.)
15:00-15:30 Coffee break
15:30-16:00 Cristina Seceleanu: Verification and Test-Case Generation Starting from Architectural Models of Automotive Systems (Tutorial II.)
16:00-16:30 Avinash V. Varadarajan, Marcel Romijn, Bart Oosthoek, Joanna V.D. Mortel-Fronczak and Jos Beijer: Development and Validation of Functional Model of a Conventional Cruise Control System
16:30-17:00 Jiří Vinárek and Petr Hnetynka: Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

Organizing Committee

  • Jan Kofron, Charles University in Prague, Czech Republic
  • Jana Tumova, KTH Royal Institute of Technology, Stockholm, Sweden
  • Bara Buhnova, Masaryk University, Brno, Czech Republic

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

Programme Committee

Alessandro Abate (University of Oxford, UK)
Yanja Dajsuren (Centrum Wiskunde & Informatica, Netherlands)
Antinisca Di Marco (Università dell'Aquila, Italy)
Ruediger Ehlers (University of Bremen, Germany)
Uli Fahrenberg (IRISA Rennes, France)
Georgios Fainekos (Arizona State University, USA)
Radu Grosu (Vienna University of Technology, Austria)
Petr Hnetynka (Charles University in Prague, Czech Republic)
Patrizio Pelliccione (Chalmers University of Technology, Sweden)
Diego Pérez (Politecnico di Milano, Italy)
Paul Pettersson (Mälardalen University, Sweden)
Nadia Polikarpova (Massachusetts Institute of Technology, USA)
Pavithra Prabhakar (Kansas State University, USA)
Matthias Rungger (Technische Universität München, Germany)
Catia Trubiani (Gran Sasso Science Institute, Italy)

Registration and Travelling

Please follow the information at ETAPS 2016 website.

Previous FESCA Workshops

The previous FESCA workshops at ETAPS 2004-2015 enjoyed high-quality submissions and attracted a number of recognized guest speakers, including 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 2016 will make an equally positive contribution.

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