Consortium

Participant Organisation Short  Country Main role

TECNALIA Research & Innovation

TEC

Spain

Research

Alstom Transport

ALS

France

Manufacturer

RINA Services SpA

RIN

Italy

Certification body

AdaCore

ADA

France

Software development tool developer

LaQuSo , Eindhoven University of Technology

TUE

The Netherlands

Software quality consulting

Parasoft SA

PSF

Poland

Software development tool developer,

software quality consulting

INTECS

INT

Italy

Software design and process consulting

ATEGO UK

ATU

UK

Software design

Simula Research Laboratory

SIM

Norway

Research

ikv++ technologies ag

IKV

Germany

Software development tool developer

ATEGO France

ATF

France

Software design

inspearit (formerly: Det Norske Veritas Global IT Services)

DNV

France

Software design & quality consulting

ALTREONIC

ALT

Belgium

Software development tool developer,

consulting

HPDahle

HPD

Norway

Management and QA

University of York , Dept. of CS

UOY

UK

Academics

Centro Ricerche Fiat S.C.p.A.

CRF

Italy

Manufacturer

THALES Avionics

TAV

France

Manufacturer