Projects
DESS: Development Tools
& Validation test cases (ITEA project)
- The implementation of an Esterel-based Extension of
Pspectra for designing/developing Software Radios applications
on general-purpose workstations.
It is to make easier the design and implementation of
portable DSP applications by accelerating the development time,
especially the debugging and verification phases. The focus of the
extension is on the scheduling model
based on soft real-time constraint.
- A Formal Approach to Developing practical DSP software
applications like the software interface part of GSM base
stations.
It is to provide a formal approach from design to
implementation of practical DSP software applications with an example
of GSM base stations. The formal verification is applied to this work
by means of the Esterel methodology.
French Partners: INRIA Sophia/Renne, THALES, France Telecom R&D,
Esterel Technologies, etc.
European Partners: Barco (B), Bull (I), Daimler Chrysler (D), Philips
(NL), Siemens (D), TXT (I), UNIS (CZ), TU Eindhoven (NL), CEFRIEL (I),
GMD FIRST (D), etc.
Duration: Jan. 2000 to Dec. 2001
Status of the project: Done
Documentation: reports/papers
Related Links:
Software Radios
SpectrumWare group of LCS at MIT
Esterel
GSM
@IRS++: The Development of AAA in Mobile Environment over IPv6
(RNRT project)
- Authentication system to allow users (mobile terminals) to
get authenticated and authorized in mobile environment.
It is required to provide authentication, authorization and
accounting mechanisms for users who want to have access to resources as
Internet itself moves along with them. Theses mechanisms should be
independent of heterogeneous networks including UMTS, GSM, WiFi. They
are also expected to have a good performance of AAA in Inter-domain.
This project focuses on developing Diameter of AAA protocols which is
being standardized in IETF.
- Integration of the Diameter implementations into a UMTS
base station.
French Partners: INRIA Sophia, ELV, IMAG, LIP6, Realix, LAAS, Eurecom,
RENATER
Duration: Jan. 2002 to May 2003
Status of the project: Done
Documentation: papers
Related Links:
AAA
MobileIP
IPv6
INRIA-Hitachi collaboration: Network security
- Inter-domain authentication.
Partners: INRIA Sophia, Hitachi
Duration: June 2003 to Feb. 2004
Status of the project: Done
Documentation: Internet
draft
Implementations
Functions: Signal processing (speech coding, channel
coding, interleaving,
ciphering, GMSK modulation and vice versa.), UDP transport.
Demonstration: We tested it with two mobile computers connected with an
inverse ethernet cable each other. The one is a sender who sends
processed signals with the operations from speech to modulation. The
other is a receiver who decodes signals sent with the operations from
demodulation to PCM signals.
Verification: We verified several properties with the XEVE verifier.
Functions: Authentication and Authorization of NASREQ and
UMTS over IPv6 (IPv4 available). In addition to those functions, we
expect the future version of implementation to include EAP support.
Demonstration: It was demonstrated on 6bone, consisting of a mobile
terminal, a UMTS BS/Diameter Client and a Diameter Server. Here, more
details.