Community Research and Development Information Service - CORDIS

FP6

ASSERT

Project ID: 004033
Funded under

ASSERT : Automated proof based system and software engineering for real-time applications

From 2004-09-01 to 2007-12-31 | ASSERT Website

Project details

Total cost:

EUR 15 001 870

EU contribution:

EUR 8 300 000

Coordinated in:

France

Funding scheme:

IP - Integrated Project

Objective

Coordinator

EUROPEAN SPACE AGENCY
France
8-10, RUE MARIO NIKIS
75738 PARIS CEDEX 15
France
See on map

Participants

ALCATEL ALENIA SPACE ITALIA S.P.A.
Italy
VIA SACCOMURO 24
00131 ROMA
Italy
See on map
ASTRIUM GMBH
Germany
WILLY-MESSERSCHMITT-STRASSE -
85521 OTTOBRUNN
Germany
See on map
ASTRIUM SAS
France
6 RUE LAURENT PICHAT
75116 PARIS 16
France
See on map
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
France
3, RUE MICHEL-ANGE
75794 PARIS CEDEX 16
France
See on map
CS SYSTEMES D'INFORMATION SA
France
22 AVENUE GALILEE
92350 LE PLESSIS ROBINSON
France
See on map
DASSAULT AVIATION SA
France
9 ROND POINT DES CHAMPS ELYSEES
75008 PARIS
France
See on map
DR. RAINER GERLICH BSSE BODAN SYSTEM UND SOFTWARE ENGINEERING
Germany
AUF DEM RUHBUEHL
88090 IMMENSTAAD
Germany
See on map
DUTCH SPACE BV
Netherlands
NEWTONWEG 1
2333CP LEIDEN
Netherlands
See on map
EADS DEUTSCHLAND GMBH
Germany
WILLY-MESSERSCHMITT-STRASSE
85521 OTTOBRUNN
Germany
See on map
EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland
RAEMISTRASSE 101
8092 ZUERICH
Switzerland
See on map
ESTEREL TECHNOLOGIES S.A
France
8 RUE BLAISE PASCAL, PARC EUCLIDE
ELANCOURT
France
FUNDACION EUROPEAN SOFTWARE INSTITUTE
Spain
PARQUE TECNOLOGICO DE ZAMUDIO 204
48170 ZAMUDIO
Spain
See on map
GROUPE DES ECOLES DES TELECOMMUNICATIONS
France
46, RUE BARRAULT
75634 PARIS 13
France
See on map
INTECS S.P.A.
Italy
VIALE POGGIO FIORITO, 61
00144 ROMA
Italy
See on map
MBDA FRANCE
France
37 BOULEVARD DE MONTMORENCY
75016 PARIS
France
See on map
OFFICE NATIONAL D'ETUDES ET DE RECHERCHES AEROSPATIALES
France
29, AV. DE LA DIVISION-LECLERC BP 72
92322 CHATILLON CEDEX
France
PROVER TECHNOLOGY AB
Sweden
ROSENLUNDSGATAN 54
118 63 STOCKHOLM
Sweden
See on map
SCISYS (SPACE & DEFENCE) LIMITED
United Kingdom
METHUEN PARK
SN14 0GB CHIPPENHAM, WILTSHIRE
United Kingdom
See on map
SEMANTIX TECHNOLOGIES PLIROFORIKISTILEPIKOINONION ANONYMOS ETAIREIA
Greece
ODOS TSALDARI 62
11476 ATHINA
Greece
See on map
SOFTWCARE S.L.
Spain
PLAZA DE COMPOSTELA 5
36201 PONTEVEDRA - VIGO
Spain
See on map
TERMA A/S
Denmark
HOVMARKEN 4
8520 LYSTRUP
Denmark
See on map
THALES ALENIA SPACE FRANCE
France
26 AVENUE JEAN-FRANCOIS CHAMPOLLION
31100 TOULOUSE
France
See on map
TNI
France
TECHNOPOLE BREST IROISE, 120 RUE RENE DESCARTES
29280 PLOUZANE
France
See on map
TNI EUROPE LIMITED
United Kingdom
THE POST HOUSE MILL STREET
CW12 1AB CONGLETON
United Kingdom
See on map
UNIVERSIDAD POLITECNICA DE MADRID
Spain
AVENIDA RAMIRO DE MAEZTU 7
28040 MADRID
Spain
See on map
UNIVERSITA DEGLI STUDI DI PADOVA
Italy
VIA VIII FEBBRAIO 2
35122 PADOVA (PD)
Italy
Record Number: 71564 / Last updated on: 2009-02-09