Programme

9h00-9h15: Welcome, introduction and presentation of the participants


9h15-10h15: Invited talk
Lionel C. Briand Using Metaheuristic Search for the Analysis and Verification of UML Models
(see abstract below)

10h15-10h30: Questions and discussion


10h30-11h00: Coffee break


Session 1: Modelling Languages and Mappings

11h00-11h30: Skander Turki, Eric Senn and Dominique Blouin. Mapping the MARTE UML profile to AADL

11h30-12h00: John Eidson, Edward Lee, Slobodan Matic, Sanjit Seshia and Jia Zou. A Time-Centric Model for Cyber-Physical Applications

12h00-12h30: Luciano Baresi, Angelo Morzenti, Alfredo Motta and Matteo Rossi. From Interaction Overview Diagrams to Temporal Logic


12h30-14h00: Lunch break


Session 2: Verification and Validation

14h00-14h30: Wladimir Schamai, Philipp Helle, Peter Fritzson and Christiaan J.J. Paredis. Virtual Verification of System Designs against System Requirements

14h30-15h00: Gereon Weiss, Marc Zeller, Dirk Eilers and Rudi Knorr. Approach for Iterative Validation of Automotive Embedded Systems

15h00-15h30: Martin Große-Rhode. Model Maturity Levels for Embedded Systems Development, Or: Working with Warnings


15h30-16h00: Coffee break


Session 3: Position Papers

16h00-16h10: Hamid Bagheri and Kevin Sullivan. Towards a Systematic Approach for Software Synthesis

16h10-16h20: Stefan Neumann and Andreas Seibel. Toward Mega Models for Maintaining Timing Properties of Automotive Systems

16h20-16h30: Jakob Axelsson. A Transformation-Based Model of Evolutionary Architecting for Embedded System Product Lines

16h30-16h40: Rafael S. Durelli, Daniel B. F. Conrado, Ricardo A. Ramos, Oscar L. Pastor, Valter V. Camargo and Rosângela A. D. Penteado. Identifying Features for Ground Vehicles Software Product Lines by Means of Annotated Models

16h40-16h50: Susumu Tokumoto. Product Line Development using Multiple Domain Specific Languages in Embedded Systems

16h50-17h25: Discussion


17h25-17h30: Conclusions and Closing

Invited Talk

Lionel C. Briand: Using Metaheuristic Search for the Analysis and Verification of UML Models

Abstract

There is a growing research activity around the use of metaheuristic search techniques (e.g., genetic algorithms) in software engineering, for example to support test case generation. This is often referred to as search-based software engineering and is the subject of an international conference every year. This presentation will reflect on several years of research, involving several collaborators, that has focused on using metaheuristic search to support the analysis and verification of UML models and its extensions such as MARTE and OCL. Examples include the analysis of real-time deadlines (schedulability analysis), concurrency problems, and constraint solving, for example for supporting model-based test case generation. Results suggest that applying metaheuristic approaches to these problems lead to practical and scalable solutions that rely solely on UML and extensions, and does not require translations into other languages and formalisms. This latter property is of high practical importance in industrial practice.

Biography

Prof. Lionel C. Briand is currently a group leader at the Simula Research Laboratory and a professor at the University of Oslo, Norway. His main responsibility is to lead research and innovation activities in the area of software verification, validation, and testing.

From July 1999 to July 2008, he was a Professor and Canada Research Chair with the Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada, where he founded the Software Quality Engineering Laboratory (SQUALL). Before that he was the first software quality engineering department head at the Fraunhofer Institute for Experimental Software Engineering (IESE), Germany, and a Software Engineering group leader at the Computer Research Institute of Montreal (CRIM), Montreal, Canada. He also worked for 5 years as a research scientist for the Software Engineering Laboratory, a consortium of the NASA Goddard Space Flight Center, CSC, and the University of Maryland.

Réalisation Axome - Création de sites Internet