MDD4DRES Summer School

1-5 September, Aber-Wrac'h Registration

Invited Speakers


Francis BORDELEAU

Ericsson

Francis BordeleauFrancis Bordeleau is Product Manager in the Software Development group at Ericsson. His main areas of responsibilities include model-based engineering and modeling tools. In this role, he is responsible for defining product specification and roadmap, developing business cases, managing budget, managing open source initiatives, and collaborating with other companies, researchers, and academia.

Francis has over 20 years of experience in MBE and software engineering; researching, working, consulting, and collaborating with numerous companies worldwide. Prior to joining Ericsson in May 2013, Francis was the Founder and CEO of Zeligsoft, a provider of domain specific Model Based Engineering (MBE) tooling solutions for distributed real-time embedded systems. He was also Director of Tooling Business for PrismTech, a leading provider of middleware products for distributed real-time embedded systems.
Francis holds a B.Sc. in Mathematics from University of Montreal, a Bachelor of Computer Science from University of Quebec (UQO), and a Master in Computer Science and Ph.D. in Electrical Engineering from Carleton University.


Arnaud CUCCURU

CEA List

CuccuruArnaud Cuccuru is a research engineer at CEA LIST, in the Laboratory of Model Driven Engineering for Embedded Systems (LISE).

His current R&D activities mainly concern formalization of UML execution semantics and simulation of real-time embedded software systems.

He is involved in several related standardization processes at the OMG, such as the "UML profile for MARTE", the "Semantics of a foundational subset for executable UML models" (fUML), the "Action language for fUML" (Alf), and he is chairing the "Precise semantics of UML composite structures" (PSCS) FTF. He also participates to the development of the Eclipse UML/SysML modeling tool Papyrus.


Marco DI NATALE

Scuola Superiore Sant’Anna of Pisa

MDiNataleMarco Di Natale is an IEEE Senior member and Associate Professor at the Scuola Superiore Sant’Anna, in which he held the position of Director of the Real-Time Systems (ReTiS) Lab from 2003 to 2006. He received his PhD from Scuola Superiore Sant’Anna in 1991. He was a visiting Researcher at the University of California, Berkeley in 2006/7 and 2008/9. In 2006 he was the national representative in the mirror group of the ARTEMIS European Union Technology platform. He's been a researcher in the area of real-time systems and embedded systems for more than 15 years, being author or co-author of more than 150 scientific papers. He has been winner of five best paper awards and one best presentation award. He has served as Program Committee member and has been organizer of tutorials and special sessions for the main conferences in the area, including the Real-time Systems Symposium, the IEEE/ACM Design Automation Conference (DAC), the Design Automation and Test in Europe (DATE) and the Real-Time Application Symposium in which he also served as Track Chair and Program Chair in 2012. He has been associate editor for the IEEE Transactions on CAD and is currently in the editorial board of the IEEE Transactions on Industrial Informatics. He is currently leading the Scientific advisory commitee for the EU project Cyphers, tracing the guidelines for the definition of the EU agenda on cyberphysical systems.


Marina EGEA

Atos Research & Innovation

Marina Egea
Marina Egea received the PhD degree in computer science from the Universidad Complutense de Madrid in 2008. She has been a senior security consultant at Atos Research & Innovation, Madrid, since September 2011.

From 2008 to 2011, she was a postdoctoral researcher, first with the Information Security Group at ETH Zurich, and later at IMDEA Software Institute. Her research interests include formal approaches to model driven development and security.

 


Robert B. FRANCE

Colorado State University

Robert FranceRobert France is a Professor in the Department of Computer Science at Colorado State University. He is also an INRIA International Chair.

His research on model-driven software development focuses on (1) providing software developers with mathematically-based software modeling languages and supporting analysis tools that they can use to specify and analyze critical software properties, (2) domain-specific languages, and (3) model-based approaches to software product line engineering.

Dr. France is a founding editor-in-chief of the Springer journal on Software and Systems Modeling (SoSyM).  Dr. France was  awarded a 2014 Senior Dahl-Nygaard Award for his research contributions by AITO, the group that organizes the European Conferences on Object-Oriented Programming (ECOOP).


Peter Fritzson

Linkoping University

Peter Fritzson Peter Fritzson is Professor since 1995 and research director of the Programming Environment Laboratory (PELAB), at Linköping University. He is also director of the Open Source Modelica Consortium (OSMC), director of the MODPROD center for model-based product development, and vice chairman of the Modelica Association, organizations he helped to establish.


During 1999-2007 he served as chairman of the Scandinavian Simulation Society, and secretary of the European simulation organization, EuroSim. He received his M.Sc. in engineering 1975 and PhD 1984 in computer science from Linköping University. He was project leader at Sun MicroSystems, California, 1985-86, and visiting professor at University of Queensland, Australia, 2007-2008.


Christophe GASTON

CEA List

Christophe Gaston is a full position researcher in the LISE laboratory of CEA LIST since 2003. His domain of research concern model based testing. In particular he focuses on defining approaches taking benefits of system design techniques to increase the applicability of model based testing. That includes for example defining techniques to master combinatorial explosion problems at the test cases generation phase, or making testing processes more compositional in order to enable easier and earliest debug. He worked on different kind of systems including real-time systems, component systems, web service orchestrations, distributed systems, cyber-physical systems… He contributes to the evolutions of the symbolic execution tool DIVERSITY and its integration with the Papyrus editor to implement the approaches discussed above.


Oystein HAUGEN

SINTEF and Department of Informatics, University of Oslo

Oystein HaugenØystein Haugen is Senior Researcher at SINTEF and part-time Associate Professor at University of Oslo. He has earlier worked in the research departments at Ericsson and at ABB as well as in a small start-up company. He received his Dr. Scient. from University of Oslo.
Over the last 6 years he has advocated, initiated and organized work on standardizing a Common Variability Language in OMG (Object Management Group). Earlier he has been responsible in the International Telecom Union for the standard Z.120 on Message Sequence Charts (2000), and then responsible for Sequence Diagrams in UML 2 (since 2000). He has worked in several European projects relating to and experimenting with product lines such as FAMILIES, MoSiS, CESAR, VERDE and VARIES.
His main interests lie in language design and how proper languages may persuade its users to make good systems. Automation is the key and thus precision in the language definitions without sacrificing practical usability. He and his research companions have worked on tooling for language support and for testing product lines.


Jean-Marc JEZEQUEL

IRISA, University of Rennes

J.M. Jezequel Jean-Marc Jézéquel is a Professor at the University of Rennes and Director of IRISA, the largest public research lab in Informatics in France.

His interests include model driven software engineering for software product lines, and specifically component based, dynamically adaptable systems with quality of service constraints, including reliability, performance, timeliness etc.

He is the author of several books published by Addison-Wesley and of more than 200 publications in international journals and conferences. He was a member of the steering committees of the AOSD and MODELS conference series. He also served on the editorial boards of IEEE Computer, IEEE Transactions on Software Engineering, the Journal on Software and Systems, on the Journal on Software and System Modeling and the Journal of Object Technology. He received an engineering degree from Telecom Bretagne in 1986, and a Ph.D. degree in Computer Science from the University of Rennes, France, in 1989.


Gabor Karsai

Vanderbilt University

Gabor Karsai Dr. Gabor Karsai is a Professor of Electrical Engineering and Computer Science at Vanderbilt University, and Senior Research Scientist at the Institute for Software-Integrated Systems.

He has over twenty-five years of experience in software engineering. He conducts research in the design and implementation of embedded systems, in programming tools for visual programming environments, in the theory and practice of model-integrated computing, and in resource management and scheduling systems.

He received his Diploma, MSc, and Dr. Techn. degrees from the Technical University of Budapest, Hungary, in 1982, 1984 and 1988, respectively, and his PhD from Vanderbilt University in 1988. He has published over 100 papers, and he is the co-author of four patents. He has managed several large research projects on model-based integration of embedded systems, on model-based toolchains, on fault-adaptive control technology,  and on coordinated scheduling and planning.


Ed Merks

Macro Modeling

Ed Merks Ed Merks founded his own small consulting company, Macro Modeling. He is a coauthor of the authoritative book "EMF: Eclipse Modeling Framework" which is published as a second expanded edition.

He has been an elected member of the Eclipse Foundation Board of Directors for the past six years and has been recognized by the Eclipse Community Awards as Top New Comer Evangelist, Top Ambassador, and Top Committer, as well as for Lifetime Achievement. Ed is well known for his dedication to the Eclipse community since 2002, posting literally thousands of newsgroup answers each year.

He spent 16 years at IBM, achieving the level of Senior Technical Staff Member after completing his Ph.D. at Simon Fraser University. He is a partner of itemis AG and is currently living in Berlin and learning German. His experience in modeling technology spans twenty-eight years.

 


Pierre-Alain MULLER

University of Haute-Alsace

P.A. MullerPierre-Alain Muller is full professor of computer science at University of Haute-Alsace, France.

He is currently leading a spinoff project (www.actily.com), in the area of behavioral modeling@runtime applied to e-marketing. Discover what your visitors are doing on your website wiht CalorMap, with our online Heatmap Generator.

From 2007 to 2010 he was executive vice-president at University of Haute-Alsace, in charge of information systems.His research interests include software engineering and model-driven engineering; he has been coordinating the Kermeta meta-language development, and the RNTL OpenEmbeDD platform project as he was member of INRIA project Triskell at IRISA in Rennes, France. He has been CEO of ObjeXion Software from 1999 to 2002 and consultant with Rational Software from 1988 to 1993.
He has authored several books about object modeling, founded the ACM/IEEE <<MODELS/UML>> series of conferences (with J. Bezivin) in 1998, and recently the IDM series of conferences (with J.-M Favre, S. Gérard and X. Blanc).


Bernhard Schaetz

Fortiss

Bernhard SchatzAfter receiving his M.Sc. in computer science, Bernhard Schätz worked as researcher at Technische Universität München on methods and tools for the development of reactive systems.

Since receiving his Ph.D. in 1998 he works as senior researcher and head of the "Model-Based Development/Embedded Systems" competence center at the chair of Software and Systems Engineering; a specific focus of his work is tool-based development in the automotive and automation domain. Since 2010 he also acts as a lecturer at the TU München. Additionally, in 2009 he joined the fortiss research and transfer institute as head of the Software and Systems Engineering group. Since 2010, he also acts as deputy managing director.

Besides his research activities, he works as a consultant for software engineering. Finally, he is co-founder and member of the executive board of Validas AG.


Bran SELIC

Malina Software Corporation

bran-selicBran Selic is President of Malina Software Corp., a Canadian software consultancy. He is also Director of Advanced technology at Zeligsoft Limited in Canada and a Visiting Scientist at Simula Laboratories in Norway. In 2007, Bran retired from IBM Canada, where he was an IBM Distinguished Engineer, responsible for setting IBM’s strategy for software development tools.

In addition, he is an adjunct at the Department of Computer Science at the University of Toronto, as well as a guest lecturer and researcher at the University of Sydney (Australia) and at INSA in Lyon, France. With close to 40 years of practical experience in designing and implementing large-scale industrial software systems, Bran has pioneered the application of model-driven development methods in real-time and embedded applications. In this domain, he has led numerous research projects, authored and edited several textbooks and close to 100 technical papers, and chaired several major conferences. He was a principal contributors to several industry standards, and chaired the committee responsible for the widely used UML 2 modeling language.

 


 

Hans VANGHELUWE

University of Antwerp – Mc Gill University

HansVangheluwe
Hans Vangheluwe is a Professor in the department of Mathematics and Computer Science at the University of Antwerp in Belgium, an Adjunct Professor in the School of Computer Science at McGill University, Montreal, Canada and an Adjunct Professor at the National University of Defense Technology in Changsha, China.
In a variety of projects, often with industrial partners, he develops and applies the theory, techniques and tools for Multi-Paradigm Modelling. He now works mostly in the following application domains: mechatronics, automotive, and modern computer games.
He currently coordinates the European COST Action 1404 Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS).


Jean-Luc VOIRIN

Thales

JLV2-1Jean-Luc Voirin is System and Software Engineering Director Research & Technology, Thales Aerospace & Mission Systems Division. After a MSc & an Engineering Degree at ENST Bretagne, France, he successively worked on many aspects of complex electronic systems design:

  • Advanced Studies, algorithmic & Architecting of real-time image synthesis systems
  • Hardware & software design for real-time image synthesis computers
  • Real-time software engineering & Computing, and simulation in radar & embedded sensors
  • Architecting of real-time & near real-time computing & mission systems on civil & mission aircraft & fighters
  • Capability analysis and architecting of military systems of systems & information systems
  • Advanced systems & software & hardware engineering methods & tools design, modelling techniques.

He is currently in charge of technical strategy, new methods definition and deployment in large programs of systems & software engineering and architectures, along with the definition of toolsuites able to support these new practices, at Thales Group level.