OPENCOSS
Open platform for evolutionary certification of safety-critical systems
Programma di Finanziamento FP7
Coordinatore Tecnitalia
Partners Alstom Transport, RINA Services SpA, AdaCore, Eindhoven University of Technology, Parasoft SA, ATEGO UK, Simula Research Laboratory, ikv++ technologies ag, ATEGO France, Det Norske Veritas, ALTREONIC, HPDahle, University of York, Centro Ricerche Fiat S.C.p.A., THALES Avionics
Descrizione OPENCOSS
è stato un progetto europeo su larga scala dedicato alla produzione della prima
piattaforma europea di certificazione di sicurezza: una piattaforma aperta per
la certificazione evolutiva dei sistemi critici per la sicurezza per i mercati
ferroviario, avionico e automobilistico.
Il progetto ha preso in considerazione
diversi mercati verticali per le industrie ferroviarie, avioniche e automobilistiche
e ha istituito un'infrastruttura di certificazione di sicurezza open source
basata su un approccio di certificazione composizionale ed evolutivo con la
capacità di riutilizzare argomenti di sicurezza, prove di sicurezza e
informazioni contestuali sui componenti del sistema, rendendo certificazione
più economica, precisa e scalabile.
Collegamenti Sito ufficiale del progetto
Intecs The Brainware company