Last modified on May 27, 2017
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.
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. Tool demonstration and position papers are required to state "Tool demonstration paper/Position paper" as a subtitle of the publication.
Final versions of all accepted papers will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS).
|Paper registration:||January 4, 2016|
|Submission deadline:||January 14, 2016|
|Notification of acceptance:||February 15, 2016|
|Final versions due:||February 28, 2016|
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.
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.
|09:00-09:15||Jan Kofron and Jana Tumova: Workshop opening|
|09:15-10:15||Steffen Becker: Engineering Scalable Cloud Systems (Invited talk)|
|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|
|14:00-15:00||Cristina Seceleanu: Verification and Test-Case Generation Starting from Architectural Models of Automotive Systems (Tutorial I.)|
|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|
Contact address: fesca2016(at)easychair.org, please include the keyword FESCA in the email subject.
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)
Please follow the information at ETAPS 2016 website.
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