(p+n)SafeCer Safety Certification of Software-Intensive Systems with Reusable Components

n-SafeCer e p-SafeCer mirano ad aumentare l’efficienza e ridurre il time-to-market grazie alla certificazione componibile di sistemi embedded rilevanti per la sicurezza.

Programma di Finanziamento

ARTEMIS

Coordinatore

Volvo Technology Corporation (SE)

Partners

Volvo Technology AB (SE); AVL LIST GmbH (AT); Thales Rail Signaling Solution GmbH (AT); TTTech Computertechnik AG (AT); AIT Austrian Inst. of Tech. GmbH (AT); Kompetenzzentrum – Das virtuelle Fahrzeug Forschungsgesellch. mbH (AT); Thales Alenia Space Espania (ES); GMV Aerospace and Defence (ES); TRAINTIC SL (ES); ULMA Embedded Solutions (ES); OSATU S.Coop (ES); Mondragon Goi Eskola Polit. J.M.A. S.COOP (ES); Universidad Politec. de Madrid (ES); Thales Communication SA (FR); Delphi France SAS (FR); Magillem Design Services SAS (FR); AdaCore (FR); CEA-LIST (FR); Akhela SRL (I); Intecs SPA(I); Vitrociset SPA (I); ResilTech (I); Fondazione Bruno Kessler (I); Valsts Akciju Sabiedriba Latvijas Dzelzcels (LV); Algorego SIA (LV); Riga Tehniska Unversitate (LV); Volvo Construction Equipment (SE); Cross Control AB (SE); Quviq AB (SE); Mälardalens Högskola (SE); SP – Sveriges Tekniska Forskningsinsitut. AB (SE)

Descrizione

n-SafeCer e p-SafeCer mirano ad aumentare l’efficienza e ridurre il time-to-market grazie alla certificazione componibile di sistemi embedded rilevanti per la sicurezza. Un obiettivo primario era fornire supporto per argomenti sulla sicurezza del sistema basati su argomenti e proprietà dei componenti, nonché fornire supporto per la generazione di prove corrispondenti in un modo compositivo simile. Grazie al riutilizzo efficiente della certificazione e ai legami più forti tra certificazione e sviluppo, sarà facilitato il riutilizzo dei componenti. Il miglioramento della qualità e la riduzione del rischio aumenteranno la competitività e apriranno la strada a un mercato trasversale per componenti qualificati per la certificazione. I settori industriali interessati sono l’industria automobilistica e delle macchine per l’edilizia, l’aerospaziale, l’assistenza sanitaria e il ferroviario.

pSaveCar  nSafCar