Section: Contracts and Grants with Industry
RNTL project DANOCOPS — “Détection Automatique de NOn-COnformités d'un Programme vis-à-vis de ses Spécifications” , duration: 39 months, started on 1st January 2004, ended on March 31. The goal of this project is to confront specification and program to find non-conformity. We propose to use an abstract representation of specification and source program, with constraints. There are five partners, two industrials: Thales division Systèmes Aéroportés, Axlog (SS2I), and three academics: I3S/Nice, LSR/Grenoble and LIFC/Besançon. The local coordinator is F. Bouquet.
RNTL project POSÉ — Security policies conformance testing for embedded systems , duration: 2 years, started in December 2005. The objective is to provide automated tools for generating tests of security policies conformance of embedded systems. There are five partners: LEIRIOS, AXALTO, SILICOMP AQ, IMAG/LSR and INRIA Lorraine. The local coordinator is F. Bouquet.