Research Projects

Design-Driven Development Methodologies and Software Verification

We are interested in providing tool-supported methodologies for both development and verification of applications orchestrating networked entities.

 

SERUS: Software Engineering for Resilient Ubiquitous Systems

The objectives of this project is to propose a design-driven development methodology for resilient systems that

  • takes into account dependability concerns in the early stages,
  • ensures the traceability of these requirements throughout the system life-cycle, even during runtime evolution.

To provide a high level of support, this methodology will rely on a design paradigm dedicated to sense/compute/control applications. This design will be enriched with dependability requirements and used to provide support throughout the system life-cycle.

This work is founded by the INRIA collaboration program ( in french actions de recherches collaboratives de l'INRIA).

Collaborators

Web Site

Design-driven Development Methodology for Safety-Critical Systems

The safety-critical nature of the avionics domain takes the form of stringent non-functional requirements. The goal of this project is to propose a design-driven development methodology for safety-critical applications, which integrates non-functional requirements. This project is based on realistic case studies in the avionics domain.

This project is funded by a CIFRE Fellowship with the THALES airborne systems company.

Biomasud

The goal of the Biomasud european project is to show the viability of the biomass-based energy model. The project aims to propose a certification and traceability process throughout the value chain of biofuel. Our objective is to design and implement a prototype of traceability system that will extract automatically traceability information based on sensors such as RFID tags, simplifying the certification process. This work will leverage our DiaSuite development methodology and will be evaluated by the Biomasud partners.

This project is funded by the SUDOE territorial cooperation programme.

Web Site

 

Cognitive Digital Assistance

Digital assistance becomes safety-critical when targeting vulnerable users (e.g., elderly or people with cognitive disabilities). We are interested in providing development tools to facilitate the development and the verification of cognitive assistive applications and evaluating the benefice of such applications regarding its acceptance by the assisted user, the reliability of the applications and the benefits in term of user autonomy.

 

Assistive Technologies for Elderly

The objective of this project is to provide an open platform of digital assistance dedicated to aging in place. This project is in collaboration with researchers in Cognitive Science (Bordeaux University) and the UDCCAS Gironde (Union Départementale des Centres Communaux d’Action Sociale) managing elderly care. This project will include a need analysis, the development of new assistive applications and their experimental validation.

Collaborators

Cognitive Assistance for Supporting the Autonomy of Persons with Intellectual Disabilities

The objective of this project is to develop assistive technologies enabling people with intellectual disabilities to gain independence and to develop self-determined behaviors, such as making choices and taking decisions. This project is in collaboration with the TSA Chair of UQTR (Université du Québec à Trois-Rivières) in Psychology and the Association Trisomie 21 (Down’s Syndrom). The TSA chair has recently designed and built a smart apartment that is used to conduct experimental evaluation of our assistive technologies in realistic conditions.

Collaborators

School Inclusion for Children with Autism

The objective of this project is to provide children with assistive technologies dedicated to the school routines. This project relies on digital tablets.

This work is funded by the French Ministry of National Education.

Collaborators

 
Wednesday, 23 November 2011 08:28

INRIA   LaBRI