Team coprin
Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2003
Project: coprin
previous up next PDF PS XML Access to toc

Project : coprin

Section: Other Grants and Activities

National initiatives

Project ROBEA "MAX"

Participant : Jean-Pierre Merlet.

This project, that has been funded by the CNRS and has been completed on September 2003, has as objective to design tools for the design of complex mechanical systems. The partners are:

Our contribution is the use of interval analysis based methods for the determination of robot performances and for systems solving that arise when dealing with the design, control and calibration of such systems. A follow-up of this project (ROBEA MP2) will be funded by CNRS.

Project MathStic "Robot cuspidaux"

Participant : Jean-Pierre Merlet.

The purpose of this project is a detailed study of the cuspidal robots i.e. robots that, while keeping the end-effector pose, can change their joints configuration without crossing a singularity. The partners are:

Our contribution is the determination of all possible design parameters of a specific robot mechanical architecture that leads to cuspidal robots using a complete analysis that has been performed by LIP6, SPACES and IMAR.

ACI V3F: Validation and checking of floating point number computations

Keywords : floating point number arithmetic , checking , validation , constraint programming .

Participants : Claude Michel, Michel Rueher, Yahia Lebbah, David Daney.

The use of floating point numbers to represent real numbers is the root of an important quantity of failures and potential faults in software for critical systems. The modeling of such systems, combined with model checking techniques, proof and test case generation techniques, enhances the quality of the development process and improves the reliability of systems which integrates pieces of software [2]. Unfortunately, the currently available approaches, notations and techniques do not really take into account floating point numbers although the usual way to do computation over the reals with a computer is to use floating point numbers. The main difficulty to get a correct account of floating point numbers comes from:

The aim of the V3F ACI project is to provide tools required to evaluate the representation of reals by means of floating point numbers during the software validation and checking phases. More precisely, our aim is to develop a framework relying on CSP approaches for the validation of program computations with hypothesis coming from the modeling phase. Constraint methods have been successfully used in many applications related to software validation and checking. They already have shown their capabilities in automatic test case generation, in model checking as well as in code analysis. However, CSP techniques are then restricted to integer, rational and real numbers. Thus, the challenge is to provide the solving techniques to handle floating point numbers. We will develop solving techniques adapted to floating point numbers to validate and check critical software. We will also study the use of such a solver in the processes of model checking, of automatic test case generation and of static code checking.

V3F ACI project is a joint research project with:


previous
next