AdaCore (France)

corporate_fareorganization

Web page: https://www.adacore.com/

Country: France

ROR: https://ror.org/00fpt6s33

Wikidata: Q30255054

AdaCore (France)

- Funding / Projects
  (3)

3 Projects, page 1 of 1

NSAFECER (nSafety Certification of Software-Intensive Systems with Reusable Components)
assignment_turned_inProject2012 - 2015Partners:AdaCore (France), Thales (Austria), Thalgo (France), PARTECIPAZIONI TECNOLOGICHE SPA, FBK +48 partners
AdaCore (France),
Thales (Austria),
Thalgo (France),
PARTECIPAZIONI TECNOLOGICHE SPA,
FBK,
RISE,
Volvo Construction Equipment AB,
OSATU,
UES,
OSATU,
TTTech Computertechnik (Austria),
AIT,
QUVIQ,
PARTECIPAZIONI TECNOLOGICHE SPA,
Magillem Design Services,
VITROCISET,
MGEP,
SP,
CAF P&A,
Avantune (Italy),
Volvo Construction Equipment AB,
UPM,
RTU,
AVL,
MGEP,
Magillem Design Services,
ALGOREGO,
GMV,
TTTech Computertechnik (Austria),
CAF P&A,
Thales (Austria),
ALGOREGO,
LETI,
TAS-E,
MDH,
CROSSCONTROL AB,
Vitrociset (Italy),
VIF,
INTECS SOLUTIONS,
ResilTech (Italy),
TECHNOLABS srl,
ResilTech (Italy),
ULMA Embedded Solutions,
VOLVO TECHNOLOGY AB,
TAS-E,
GMV,
CAF P&A,
AKH,
AVL,
Thalgo (France),
VOLVO TECHNOLOGY AB,
VIF,
AdaCore (France)
Funder: European Commission Project Code: 295373
linkLink to
shareshareShare
uploaduploadDeposit
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu
more_vert
linkLink to
shareshareShare
uploaduploadDeposit
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu
PSAFECER (pSafety Certification of Software-intensive Systems with Reusable Components)
assignment_turned_inProject2011 - 2013Partners:AVL, UES, TTTech Computertechnik (Austria), Volvo Construction Equipment AB, AIT +35 partners
AVL,
UES,
TTTech Computertechnik (Austria),
Volvo Construction Equipment AB,
AIT,
UPM,
RTU,
TECHNOLABS srl,
INTECS SOLUTIONS,
AVL,
Magillem Design Services,
Thalgo (France),
DELPHI,
MGEP,
SP,
CAF P&A,
Avantune (Italy),
AdaCore (France),
MGEP,
Magillem Design Services,
ALGOREGO,
VALSTS AKCIJU SABIEDRIBA LATVIJAS DZELZCELS,
MDH,
FBK,
CROSSCONTROL AB,
VIF,
RISE,
VALSTS AKCIJU SABIEDRIBA LATVIJAS DZELZCELS,
Volvo Construction Equipment AB,
TTTech Computertechnik (Austria),
CAF P&A,
ALGOREGO,
CAF P&A,
AKH,
Thalgo (France),
VOLVO TECHNOLOGY AB,
VIF,
AdaCore (France),
ULMA Embedded Solutions,
VOLVO TECHNOLOGY AB
Funder: European Commission Project Code: 269265
linkLink to
shareshareShare
uploaduploadDeposit
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu
more_vert
linkLink to
shareshareShare
uploaduploadDeposit
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu
OPENCOSS (Open Platform for EvolutioNary Certification Of Safety-critical Systems)
assignment_turned_inProject2011 - 2015Partners:PARAMETRIC TECHNOLOGY (UK) LIMITED, PARAMETRIC, RINA SERVICES SPA, PARTECIPAZIONI TECNOLOGICHE SPA, ATEGO SAS +30 partners
PARAMETRIC TECHNOLOGY (UK) LIMITED,
PARAMETRIC,
RINA SERVICES SPA,
PARTECIPAZIONI TECNOLOGICHE SPA,
ATEGO SAS,
HPDAHLE,
PARASOFT SA,
INSPEARIT SAS,
PARTECIPAZIONI TECNOLOGICHE SPA,
ALSTOM TRANSPORT S.A.,
TU/e,
PARASOFT SA,
AdaCore (France),
ATEGO,
Simula Research Laboratory,
TECNALIA,
ALTREONIC NV,
TECNALIA,
PARAMETRIC TECHNOLOGY (UK) LIMITED,
PARAMETRIC,
ALSTOM TRANSPORT S.A.,
INTECS SOLUTIONS,
CRF,
RINA SERVICES SPA,
TECHNOLABS srl,
THALES AVIONICS,
CRF,
ATEGO SAS,
ATEGO,
KPIT MEDINI TECHNOLOGIES AG,
University of York,
ALTREONIC NV,
KPIT MEDINI TECHNOLOGIES AG,
Thalgo (France),
AdaCore (France)
Funder: European Commission Project Code: 289011
linkLink to
shareshareShare
uploaduploadDeposit
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu
more_vert
linkLink to
shareshareShare
uploaduploadDeposit
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu

AdaCore (France)

AdaCore (France)

3 Projects, page 1 of 1

NSAFECER (nSafety Certification of Software-Intensive Systems with Reusable Components)

PSAFECER (pSafety Certification of Software-intensive Systems with Reusable Components)

OPENCOSS (Open Platform for EvolutioNary Certification Of Safety-critical Systems)

Loading