Membre du personnel

Germain SAVAL

Après des études de sciences physiques et d'informatique, à l'issue d'une spécialisation en sûreté et sécurité du logiciel, j'ai eu l'opportunité d'intégrer la faculté d'informatique de l'université de Namur. Je travaille actuellement sur la valorisation des résultats de recherche dans le domaine des lignes de produits logiciels et des technologies de configuration.

Téléphone: 081/724985
Fax: 081/724967
Mail:
Web: Autre site personnel

Charges aux FUNDP

Requirements engineering and business/IT alignment (Scientifique)
Evolution (Scientifique)
PReCISE Research Center (Chercheur)
Faculté d'informatique (Chercheur)
Unité conception et développement des systèmes d'information (Assistant)

Diplômes

Licence et Maîtrise d'Informatique, Université Pierre et Marie Curie - Paris VI

DESS Développement de Logiciels Sûrs, Université Pierre et Marie Curie - Paris VI & CNAM

Projets en cours

Conf&ti : aide au développement de configurateurs logiciels pour les technologies de l'information (conf&ti) (2011-2013)
Patrick HEYMANS, Germain SAVAL

Doctorats en cours

Sélection de Systèmes de Gestion de Conférences (Thèse-G-Saval) (2011)
Germain SAVAL

Anciens projets

Cadastre des professions de la santé (CadProfSant) (2004-2005)
Véronique DUMONT, Vincent LETOCART, Jean-Roch MEURISSE, Germain SAVAL, Pierre-Yves SCHOBBENS
Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications (MoVES) (2007-2011)
Salah BAINA, Yves BONTEMPS, Anne-France BROGNEAUX, Andreas CLASSEN, Gaetan DELANNAY, Virginie DETIENNE, Vincent ENGLEBERT, Stephane FAULKNER, Nicolas GENON, Naji HABRA, Jean-Luc HAINAUT, Arnaud HUBAUX, Ivan JURETA, Raimundas MATULEVICIUS, Nicolas MAYER, Laura OGER, Michaël PETIT, Ravi RAMDOYAL, Stéphane SANDRON, Germain SAVAL, Hubert TOUSSAINT, Jean-Christophe TRIGAUX, Benoît VANDEROSE, Jean-Marc ZEIPPEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Anthony CLEVE

Activités organisées

Conférence : Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07) (FUNDP, Namur, 2007): Cet atelier a pour objectif de faire le point sur les techniques et outils, fondés sur des approches formelles, permettant d'assurer un certain niveau de confiance dans la construction de logiciels. Les thèmes portent aussi bien sur la définition, l'évaluation et la validation de modèles de développement que sur la définition de méthodes et d'outils orientés vers l'assistance à la vérification (preuve et vérification algorithmique), à la synthèse de programmes ou à leur validation par le test à partir de modèles formels.
Conférence : 18th BeNeLux Conference on Artificial Intelligence (BNAIC'06) (FUNDP, Namur, 2006): The BNAIC06 venue was held in the University of Namur under the auspices of the Belgian-Dutch Association for Artificial Intelligence (BNVKI) and the Dutch Research School for Information and Knowledge Systems (SIKS). The conference aims at presenting an overview of state-of-the art research in artificial intelligence in Belgium and The Netherlands.

Activités avec contribution

Séminaire : PReCISE Day (FUNDP, Namur, Belgium, 2007)

PReCISE is a research center of the University of Namur devoted to the engineering and management of advanced information systems. The center was established jointly by the Faculty of Computer Science and the Department of Business Administration.

In addition to a general overview of PReCISE's mission and activities, PReCISE Day '07 will provide you with a vision of "the Future of Information Systems". Four outstanding international keynote speakers among PReCISE's collaborators will present their views on four hot topics:

Enterprise Architecture, by Prof. François Vernadat;
Agent-Oriented Software Engineering, by Prof. John Mylopoulos;
Software Engineering as an Engineering Discipline, by Prof. Alain Abran;
Modeling Language Interoperability, by Prof. Andreas Opdahl.

The day will end with a poster session where PReCISE's researchers will present their achievements and on-going projects.

Conférence : 18th International Workshop on Algebraic Development Techniques (WADT'06) (La Roche en Ardenne, Belgium, 2006)

The algebraic approach to system specification and development, born as a formal method for abstract data types, encompasses today the formal design of integrated hardware and software systems, new specification frameworks and programming paradigms (such as object-oriented, logic and higher-order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). The WADT workshop provides an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.

Conférence : Interoperability for Enterprise Software and Applications Conference (I-ESA'06) - Doctoral Symposium (Bordeaux, France, 2006)

The Doctoral Symposium is an opportunity for students involved in the preparation of their PhD in any area of Interoperability for Enterprise Software and Applications to interactively discuss their research issues and ideas with senior researchers, and receive constructive feedback from members of the research community and other Doctoral Symposium participants. Besides scientific matters, students will also have the opportunity to seek advice on various aspects of completing their PhD and performing research as a young professional in groupware.

Conférence : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06) (Paris, France, 2006)

L'atelier AFADL a vocation à rassembler les acteurs académiques et industriels intéressés par l'application de techniques formelles aux différents stades du développement des logiciels. Cet atelier a pour objectif de faire le point sur les méthodes, techniques et outils qui sont fondés sur des approches formelles et qui permettent d'aider et contrôler le développement des spécifications et des programmes. Les thèmes portent sur :

la définition, l'évaluation et la validation de modèles formels de développement d'un système ainsi que sur la conception et la réalisation d'outils d'aide à l'écriture de ces modèles,
la vérification, la preuve ou le test des logiciels.

Séminaire : Staff'Sem "From Interaction Diagrams to State Machines: Moving to Class-Level" (FUNDP, Namur, 2006)

Scenarios and State Machines offer two complementary views on the behavior of distributed systems. The former presents a bird's eye view on objects interactions, whereas the latter describes the complete behavior of every object, thus being closer to implementation. Many algorithms translating scenarios to state machines have been devised. All these algorithms work at instance-level, i.e. for a fixed finite number of objects. Real-world object-oriented systems may contain arbitrarily many objects. Modeling languages and synthesis algorithms need to be adapted to this situation. We propose a simple and elegant extension of State Machines and Interaction Diagrams, that adds universal/existential quantifiers. This makes it possible to describe protocols such as when some observer detects an event, it notifies all registered clients. The problem we want to solve is precisely defined and an algorithmic solution is given and proven correct. Our synthesis algorithm is similar to state of the art approaches but adds a novel instantiation step to cope with quantifiers.

Réunion : Journée SPINOV (CRP Henri Tudor, Luxembourg, 2005)

Journée d'échange et d'information scientifique avec le CRP Henri Tudor.

Réunion : InterOP General Meeting (Bologna, Italy, 2005)

General meeting of the InterOP European Network of Excellence on interoperability.

Activités avec simple participation

Conférence : 6th Belgian-Netherlands Software Evolution Workshop (BENEVOL 2007) (FUNDP, Namur, 2007)

The 6th edition of the BElgian-NEtherlands software eVOLution workshop (BENEVOL 2007) took place at the University of Namur, Belgium. The aim of the workshop is to bring researchers to identify and discuss important principles, problems, techniques and results related to software evolution research and practice.

Séminaire : First interactive City of Requirements Seminar: Challenges in Requirements and Specification of Software Intensive Products (LMS International, Leuven, 2007)

The Vlaams software Platform and Sirris organized the First interactive Seminar of the City of Requirements, hosted by VSP member company LMS. Instead of following a traditional seminar format, this seminar focused on the challenges attendees found to be the most important. After a keynote introduction to the domain given by a world class expert in requirements engineering, the audience selected the top three challenges they face when dealing with requirements. The second part of the event hosted round table discussions of the selected top challenges, rounded up with the second keynote discussing and giving recommendations on the selected challenges, given by a panel of experts from both the industry and the research world.

Formation : 19th International School for Computer Science Researchers, Advances in Software Engineering (Lipari Island, Italy, 2007)

The Nineteenth International School for Computer Science Researchers addresses PhD students and young researchers who want to get exposed to the forefront of research activity in the field of Software Engineering.

First week (July 9 - July 13)

"Domain Engineering", Prof. Dines Bjoerner, Technical University of Denmark, Danemark
"Feature Modularity in Software Product Lines", Prof. Don Batory, University of Texas at Austin, Austin, USA
"Requirements Engineering", Prof. Florin Spanachi, SAP Research Karlsruhe, Germany
"Evolvable Software Products", Prof. Peter Sestoft, Department of Natural Sciences, Royal Veterinary and Agricultural University, Danemark

Second week (July 16 - July 20)

"Web Services", Prof. Boualem Benatallah, The University of New South Wales, Australia
"High-Level Modeling Patterns", Prof. Egon Boerger, University of Pisa, Italy
"Principles and challenges of software architecture evolution", Prof. Carlo Ghezzi, Politecnico di Milano, Italy
"Distributed Systems Security", Prof. Dieter Gollmann, Hamburg-Harburg (TUHH), Germany

Formation : GRASCOMP Graduate School in Computing Science: Constraint-Based Local Search, by Pascal Van Hentenryck, Brown University (UCL, Louvain-la-Neuve, Belgium, 2007)

Comet is an object-oriented programming language for constraint-based local search [1]. It features advanced modeling and control abstractions to simplify the design and implementation of neighborhood search algorithms, including invariants, differentiable events, events, and nondeterminism. It also supports high-level abstractions for parallel and distributed computing. Its applications range from resource allocation, to facility locations and scheduling.

Comet's underlying computational paradigm is Constraint-Based Local Search, the idea of specifying local search algorithms as two components: a high-level model describing the applications in terms of constraints, constraint combinators, and objective functions; a search procedure expressed in terms of the model at a high abstraction level.

Constraint-based local search makes it possible to build local search algorithms compositionally, to separate modeling from search, to promote genericity and reusability across many applications, and to exploit problem structure to achieve high performance.

This three days course will contain practical and tutoring sessions where the participants will use Comet.

[1] P. Van Hentenryck, L. Michel. Constraint-Based Local Search. MIT Press, 2005.

Conférence : International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'07) (Trondheim, Norway, 2007)

Requirements engineering (RE) is as integral to the assurance of software quality now as it was when the first REFSQ took place in 1994. Compared to 1994, our understanding of RE has improved, while newer and better methods and tools are available to practitioners. At the same time, however, new challenges have emerged. These include increased economic pressures on developers and customers and the pace of change caused by new technologies and new application domains. Meanwhile, many old problems stubbornly resist attempts to solve them. We still make poor trade-offs between incompatible requirements; we still struggle to derive appropriate software architectures from requirements; and too many ambitious development projects still end in recriminations instead of useful software. Against this background, REFSQ'07 seeks reports of innovative work in RE that enhances the quality of software and systems, particularly where challenged by new development paradigms or technologies. We encourage researchers and practitioners from the RE, software engineering, information systems, and embedded systems fields to present original work. Contributions from cognate areas such as formal methods, systems engineering, economics and management and social sciences are very welcome for the insights they provide in RE.

Autre : Salon « Etudes & Professions » du Siep (Namur Expo, 2007)

Présentation de l'offre de formation des Facultés aux élèves du secondaire et à leurs parents.

Conférence : First International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2007) (Limerick, Ireland, 2007)

Over the last decade, the management of variability has become a major concern in the development, maintenance and evolution of software-intensive systems, especially in software product line engineering.

To support variability management, numerous variability modeling techniques have been proposed both by academia and industry. Many of them have their roots in feature modelling or orthogonal variability modelling but significant contributions also have come from related areas including configuration management, domain analysis, requirements engineering, formal methods and generative programming.

Previous workshops have already addressed variability modeling (like the ones at SPLC '06, SPLC '04, ICSE '03 and the Groningen workshops), but research in the field is still fragmented.

We need to more thoroughly understand how the different variability modelling approaches complement each other and how we can improve and integrate these approaches to better meet the needs of practitioners.

As a first step in that direction, the VaMoS workshop will pursue the following goals:

Compare current approaches,
Identify research challenges,
Establish a research agenda for variability modeling.

Conférence : BCS Requirements Engineering Specialist Group - Problem Frames Day (The Open University, Milton Keynes, UK, 2006)

This one-day event combines a morning tutorial on Problem Frames, delivered by Michael Jackson, and an afternoon panel of distinguished speakers. The morning tutorial will cover Problem Frames foundation and techniques, including intellectual tools for representing and analysing software intensive problems. The afternoon session will provide a snapshot of current Problems Frames research and practice.