Proceedings 11th International Workshop on
Edited by: Bara Buhnova, Lucia Happe and Jan Kofroň
Formal Engineering approaches to Software Components and Architectures
Grenoble, France, 12th April 2014
Jan Kofroň, Bara Buhnova and Lucia Happe|
Towards Verifying Safety Properties of Real-Time Probabilistic Systems
Fenglin Han, Jan Olaf Blech, Peter Herrmann and Heinz Schmidt||1|
Execution Time Analysis for Industrial Control Applications
Stefan Stattelmann, Manuel Oriol and Thomas Gamer||16|
Component Substitution through Dynamic Reconfigurations
Arnaud Lanoix and Olga Kouchnarenko||32|
Comprehensive Monitor-Oriented Compensation Programming
Christian Colombo and Gordon J. Pace||47|
Application of Ontologies in Identifying Requirements Patterns in Use Cases
Rui Couto, António Nestor Ribeiro and José Creissac Campos||62|
A model-driven approach to broaden the detection of software performance antipatterns at runtime
Antinisca Di Marco and Catia Trubiani||77|
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking
Faiz UL Muram, Huy Tran and Uwe Zdun||93|
Correct-by-construction model composition: Application to the Invasive Software Composition method
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale and Xavier Thirioux||108|
Enabling Automatic Certification of Online Auctions
Wei Bai, Emmanuel M. Tadjouddine and Yu Guo||123|
Transformation of UML Behavioral Diagrams to Support Software Model Checking
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior and Nandamudi Lankalapalli Vijaykumar||133|
The aim of the FESCA workshop is to bring together both young and senior 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 component-based software engineering.
Component-based software design has received considerable attention in industry and academia in the past decade.
In recent years, with the emergence of new platforms (such as smartphones), new areas advocating software correctness along with new challenges have appeared. These include development of new methods and adapting existing ones to accommodate unique features of the platforms, such as inherent distribution, openness, and continuous migration. On the other hand, with the growing power of computers, more and more is possible with respect to practical applicability of modelling and specification methods as well as verification tools to real-life software, i.e, to scale to more complex systems.
FESCA aims to address the open question of how formal methods can be applied effectively to these new contexts and challenges. The workshop is interested in both the development and application of formal methods in component-based development and tries to cross-fertilize their research and application.
The previous FESCA workshops at ETAPS 2004 to 2013 enjoyed high-quality submissions and attracted a number of recognized guest speakers, including Raffaela Mirandola (Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy), Rolf Hennicker (Ludwig-Maximilians-Universität, München, Germany),
Constance L. Heitmeyer (Naval Research Laboratory, USA), Manfred Broy, (Technische Universität München, Germany), Jose Luiz Fiadeiro, (University of Leicester, UK), František Plášil (Charles University, Czech Republic), Martin Wirsing (Ludwig-Maximilians-Universität, München, Germany), Ivana Černá (Masaryk University, Czech Republic), Samuel Kounev (Karlsruher Institut für Technologie, Germany), and Vittorio Cortellessa (Department of Computer Science and Engineering, and Mathematics, University of L'Aquila, Italy).
The program committee of FESCA'14 consisted of
- Přemysl Brada (University of West Bohemia in Pilsen, Czech Republic)
- Ivana Černá (Masaryk University, Czech Republic)
- Antinisca Di Marco (Università dell'Aquila, Italy)
- Petr Hnětynka (Charles University in Prague, Czech Republic)
- Samuel Kounev (Karlsruhe Institute of Technology, Germany)
- Ralf Küsters (Universität Trier, Germany)
- Markus Lumpe (Swinburne University of Technology, Australia)
- Daniel Menasche (UFRJ, Brazil)
- Raffaela Mirandola (Politecnico di Milano, Italy)
- Dorina Petriu (Carleton Univesity, USA)
- Nadia Polikarpova (ETH Zürich, Switzerland)
- Ralf Reussner (Karlsruhe Institute of Technology, Germany)
- Cristina Seceleanu (Mälardalen University, Sweden)
- Kishor Trivedi (Duke University, USA)
- Catia Trubiani (Università dell'Aquila, Italy)
- Steffen Zschaler (King's College London, UK)
The papers were refereed by the program committee and by
several outside referees, whose help is gratefully acknowledged.
For the eleventh time, FESCA has been organized as a satellite event to
ETAPS. We are very grateful to the ETAPS organizers for taking care of all the local organization and for accommodating all our special requests.
Prague, March 17, 2014, Jan Kofroň, Barbora Buhnova, and Lucia Happe