Approche langage au développement logiciel : application au domaine des systèmes d’informatique ubiquitaire (J. Mercadal)

On April 23, 14:00-14:30 (INRIA Lille, Salle du Conseil), Julien Mercadal will present his work on “Approche langage au développement logiciel : application au domaine des systèmes d’informatique ubiquitaire”.

Résumé :
************************************************************** 
Face à l’augmentation de la taille et de la complexité des systèmes logiciels, il convient de les décrire à un plus haut niveau d’abstraction (i.e., au-delà du code) avant de concrètement les implémenter. Toutefois, l’utilisation de ces descriptions de haut niveau dans les processus de construction et de vérification des systèmes reste très rudimentaire, ne permettant pas de véritablement guider et faciliter le développement logiciel.
Nous proposons une nouvelle approche pour rendre plus simple et plus sûr le développement de systèmes logiciels. Cette approche repose sur l’utilisation de langages dédiés et sur un couplage fort entre une couche de spécification et d’architecture et une couche d’implémentation. Elle consiste tout d’abord à décrire à un haut niveau d’abstraction différents aspects, à la fois fonctionnels et non fonctionnels, d’un système dans la couche de spécification et d’architecture. Ces descriptions sont ensuite analysées et utilisées pour personnaliser la couche d’implémentation, afin de faciliter la construction et la vérification du système logiciel. Nous avons illustré notre approche dans le domaine de l’informatique ubiquitaire.
**************************************************************

 

Vers une industrialisation des langages spécifiques à un domaine (T. Leveque)

On April 17, 10:00  (Inria Lille, Salle du Conseil), Thomas Leveque will present his work on “Vers une industrialisation des langages spécifiques à un domaine”.

Abstract:
Il est aujourd’hui reconnu que les langages spécifiques à un domaine (DSL) permettent d’augmenter la productivité et la qualité du développement d’applications. Ils restent cependant coûteux à implémenter alors qu’ils ne peuvent s’utiliser que pour un domaine restreint donc pour un nombre limité d’utilisateurs. Pour cette raison, ils souffrent en général d’un outillage plus pauvre que les langages génériques. En particulier, un des freins à l’utilisation de DSL est l’absence de gestionnaire de versions dédié et de possibilités de modularisation.  Cette présentation introduira les concepts et mécanismes associés permettant de générer à moindre coût un ensemble d’outils nécessaires à une exploitation efficace d’un DSL. L’approche proposée a été expérimentée sur plusieurs domaines d’applications dont celui des applications pervasives orientés services.

Recommending Refactorings to Reverse Software Architecture Erosion (R. Terra)

On April 5, 11:00  ( Univ Lille 1, Bat M3, M116), Ricardo Terra will present his work on “Recommending Refactorings to Reverse Software Architecture Erosion”.

Abstract:

Architectural erosion is a recurrent problem faced by software architects. Despite this fact, the process is usually tackled in ad hoc way, without adequate tool support at the architecture  level. To address this issue, we have described the design of a recommendation system whose main purpose is to provide refactoring guidelines for developers and maintainers during the task of reversing an architectural erosion process. In this talk, we will describe some recommendations proposed in our current research and results of their application in two real web-based applications.

Semi-Automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge (S. Henss)

On March 13, 10:30-11:00, Stefan Henss will present his recent results on “Semi-Automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge” (accepted at ICSE’2012).

Location: INRIA Lille Nord Europe, Salle Du Conseil
Language: English
Abstract: Frequently asked questions (FAQs) are a popular way to document software development knowledge. As creating such documents is expensive, this paper presents an approach for automatically extracting preliminary FAQs from sources of software development discussion, such as mailing lists and Internet forums, by  combining techniques of text mining and natural language processing. We apply the approach to popular mailing lists and carry out a survey among software developers to show that it is able to extract focused and relevant FAQs that can serve as a staring point for further revision by experts.
Co-authors: Martin Monperrus, Mira Mezini

 

Network architectures for inter-Carrier QoS-capable services (N. Djarallah)

On Friday 9 March 20124, 14:00 at INRIA Lille (Room W21), Nabil Djarallah will present his PhD work (Univ Rennes 1, 2011) on “Network architectures for inter-Carrier QoS-capable services”

Le challenge pour les opérateurs, aujourd’hui, réside dans la fourniture de services à valeur ajoutée à leurs utilisateurs mais aussi et surtout aux utilisateurs d’autres opérateurs. Ces services traversent plusieurs réseaux et exigent des garanties en termes de Qualité de Service (QoS). Pourtant, les protocoles actuels de routage inter-opérateur présentent encore des limitations en termes de garantie de QoS.  La complexité de la mise en place de tels services inter-opérateurs à valeur ajoutée est due à des raisons techniques (par ex. hétérogénéité des réseaux, passage à l’échelle, confidentialité de la topologie des réseaux de chaque opérateur, dimensionnement des ressources, etc.), et économiques ou politiques (par ex. partage des revenus, coopération inter-opérateur). Pour atténuer ces inquiétudes, nous suggérons la création d’alliances d’opérateurs prêts à coopérer. Bien que cela ne réponde pas totalement au challenge évoqué ci-dessus, ces alliances de confiance permettraient de relâcher ces contraintes. Pour accompagner cette démarche et permettre la mise en place de services à valeur ajoutée dépassant les frontières d’un seul opérateur, une réflexion autour des architectures des réseaux de nouvelle génération, des protocoles et des algorithmes associés est indispensable. Dans ce travail, nous avons présenté différentes architectures permettant le déploiement de tels services, ainsi que des solutions algorithmiques et protocolaires pour la négociation de contrats de services et la vérification de la disponibilité des ressources du réseau traversant plusieurs opérateurs. Nous avons démontré que les performances de ces algorithmes sont compétitives par rapport à d’autres travaux.

 

Uncovering Causal Relationships between Software Metrics and Bugs (M. Valente)

 Marco Tulio Valente is going to present his work on 8 Feb. 2012 at 3pm in  room 211 (M3 building).

Title: Uncovering Causal Relationships between Software Metrics and Bugs

Abstract: Bug prediction is an important challenge for software engineering research. It consist in looking for possible early indicators of the presence of bugs in a software. However, despite the relevance of the issue, most experiments designed to evaluate bug prediction only investigate whether there is a linear relation between the predictor and the presence of bugs. However, it is well known that standard regression models can not filter out spurious relations. Therefore, in this paper we describe an experiment to discover more robust evidences towards causality between software metrics (as predictors) and the occurrence of bugs. For this purpose, we have relied on Granger Causality Test to evaluate whether past changes in a given time series are useful to forecast changes in another series. As its name suggests, Granger Test is a better indication of causality between two variables. We present and discuss the results of experiments on four real world systems evaluated over a time frame of almost four years. Particularly, we have been able to discover in the history of metrics the causes – in the terms of the Granger Test – for 64% to 93% of the defects reported for the systems considered in our experiment.

Workshop “Software Engineering for Mobile Applications” (SEMA’2011)

This workshop gathers researchers and PhD students from INRIA, the University of Lille and the University of Luxembourg. The goal of the workshp is to discuss new software engineering research challenges characteristics to mobile applications (e.g. smartphones apps).

The presentations are meant to be interactive and there is plenty of room for questions and discussion.

Where: INRIA Lille,  Room E11
When: Dec 5 2011

Program

13:45 – 15:00: Session #1
– Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (Alexandre Bartel, Univ Luxembourg, Serval)
– AntDroid : Opportunistic Mobile Sensing PLatform (Nicolas Haderer, INRIA, ADAM)
– Brainstorm #1: pros and cons of the Android platform

15:00 – 15:15: Coffee break

15:15 – 16:30: Session #2
– Using Multiple Feature Models to Design Applications for Smartphones (Clément Quinton, INRIA, ADAM)
– Soot, a Java Static Analysis Tool (Alexandre Bartel, Univ Luxembourg, Serval)
– Brainstorm #2: platform-independant research challenges

16:30 – 16-45: Wrap-up

People

Participants:
– Jacques Klein
– Alexandre Bartel
– Laurence Duchien
– Clément Quinton
– Nicolas Haderer
– Nicolas Petitprez
– Adel Noureddine
– Daniel Romero
– Michel Dirix
– Martin Monperrus

Organization: Martin Monperrus

Abstracts

Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android
Various scientific communities extensively exploit simulations to validate their theories. However, the relevance of the obtained results highly depends on the accuracy of the input traces they use. This statement is particularly true when considering human mobility traces, which tend to be highly unpredictable. We introduce AntDroid, a service-oriented platform for tracking the activities of mobile users. In particular, AntDroid offers a participative platform to the scientists of various domains and can help them to easily set up tracking experiments.

AntDroid : Opportunistic Mobile Sensing PLatform
Various scientific communities extensively exploit simulations to validate their theories. However, the relevance of the obtained results highly depends on the accuracy of the input traces they use. This statement is particularly true when considering human mobility traces, which tend to be highly unpredictable. We introduce AntDroid, a service-oriented platform for tracking the activities of mobile users. In particular, AntDroid offers a participative platform to the scientists of various domains and can help them to easily set up tracking experiments.

Using Multiple Feature Models to Design Applications for Smartphones
The design of a smartphone application is a tedious task according to its intrinsic variability. Software designers must take into account in their development process the versatility of available platforms (e.g., Android, iPhone). In addition to this, the variety of existing devices and their divergences (e.g., frontal camera, GPS) introduce another layer of complexity in the development process. These two dimensions can be formalized as Software Product Lines (SPL), independently defined. In this paper, we use a dedicated metamodel to bridge the gap between an application SPL and a mobile device one. This meta-model is also the support for the product derivation process. The approach is implemented in a framework named ApplIDE, and is used to

successfully derive customer relationship management software on different devices.

Soot, a Java Static Analysis Tool
This presentation is divided into two parts. In the first the possibilities offer by Soot and its inner-working will be described. Next, projects based on Soot will be presented. One of those projects aims at computing a mapping between entry points of the Android Framework and permissions.

Modelling and Model-Checking Variability-Intensive Systems (P. Heymans)

On 7 Oct. 2002, 14:00, Patrick Heymans (Professor, University of Namur, Belgium) will present his work on “Modelling and Model-Checking Variability-Intensive Systems’ (INRIA, Salle du conseil)

Analyse et remédiation des dépendances entre paquetages dans les systèmes orientés objet (J. Laval)

Speaker: Jannik Laval
Friday 17 June 2011, 10h30 AM Bâtiment SUP-SUAIO

Les logiciels évoluent au fil du temps avec la modification, l’ajout et la suppression de nouvelles classes, méthodes, fonctions, dépendances. Une conséquence est que le comportement peut être placé dans de mauvais paquetages et casser la modularité du logiciel. Une bonne organisation des classes dans des paquetages identifiables facilite la compréhension, la maintenance, les tests et l’évolution des logiciels. Nous soutenons que les responsables manquent d’outils pour assurer la remodularisation logicielle. La maintenance des logiciels nécessite des approches qui aident à (i) la compréhension de la structure au niveau du paquetage et l’évaluation de sa qualité; (ii) l’identification des problèmes de modularité, et (iii) la prise de décisions pour le changement. Dans cette thèse nous proposons ECOO, une approche qui aide la remodularisation. Elle concerne les trois domaines de recherche suivants:

Comprendre les problèmes de dépendance entre paquetages. Nous proposons des visualisations mettant en évidence les dépendances cycliques au niveau des paquetages.
Proposer des dépendances qui devraient être changées. L’approche propose des dépendances à changer pour rendre le système plus modulaire.
Analyser l’impact des changements. L’approche propose une analyse d’impact du changement pour essayer les modifications avant de les appliquer sur le système réel.

L’approche présentée dans cette thèse a été validée qualitativement et les résultats ont été pris en compte dans la réingénierie des systèmes analysés. Les résultats obtenus démontrent l’utilité de notre approche.

Jury:
Directeur de Thèse : Stéphane DUCASSE, Directeur de Recherche INRIA, INRIA Lille Nord Europe
Co-encadrant : Nicolas ANQUETIL, Maître de Conférences, Université Lille 1
Rapporteurs : Oscar NIERSTRASZ, Professeur, Université Bern (Suisse) Jean-Marc JEZEQUEL, Professeur, Université Rennes 1
Membres : Théo D’HONDT, Professeur, Vrije Universiteit Brussels (Belgique) Laurence DUCHIEN, Professeur, Université Lille 1

Programmation dirigée par la spécification (D. Cassou)

Date : 15 avril, 10h, IRICICA
Intervenant : Damien Cassou
Titre : Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification
Résumé : Nombre d’applications ont pour comportement principal l’attente d’un événement venant d’un environnement extérieur, la préparation d’un résultat et l’exécution d’actions sur cet environnement. Les interfaces graphiques et les systèmes avioniques en sont des exemples. Le paradigme SCC, pour sense-compute-control, est particulièrement adapté à la description de ces applications. Le développement d’applications suivant ce paradigme est complexe à cause du manque de cadre conceptuel et d’outils de support.
Nos travaux proposent un cadre conceptuel dédié au paradigme SCC et se concrétisent par un langage de description d’architectures. À partir d’une description dans ce langage, un framework de programmation peut être généré. Il guide l’implémentation d’une application grâce à un support dédié et vérifie que cette implémentation est conforme à l’architecture décrite. Notre approche est évaluée suivant des critères d’expressivité, d’utilisabilité et de productivité.