Il CERN di Ginevra, l'Organizzazione Europea per la Fisica Nucleare, uno dei più grandi e rispettati centri di ricerca scientifica del mondo, ha annunciato oggi di avere acquistato una licenza della piattaforma di verifica del software Eclair sviluppata da Bugseng, una società spin-off dell'Università di Parma. La tecnologia di Bugsengaiuterà il CERN nello sviluppo del progetto ROOT, un software usato in molti esperimenti di fisica delle particelle, inclusi quelli basati sul Large Hadron Collider (LHC), il più grande e potente acceleratore di particelle del pianeta. ROOT analizza e visualizza ogni giorno quantità enormi di dati (milioni di miliardi di byte) che sono prodotti da questi esperimenti ed è quindi un componente critico per il loro successo.

Linked Startups

BUGSENG

  • Parma2011
  • Digitale
Spin-off dell'Università di Parma, Bugseng e il suo team hanno tradotto in impresa una ricerca di oltre quindici anni su tecniche di analisi del software basate su una teoria matematica dell'approssimazione che consente di progettare e dimostrare la correttezza di complessi verificatori automatici di programmi, altrimenti impensabili.La verifica del software è un'esigenza sempre più avvertita, data la presenza sempre più pervasiva del software in dispositivi critici (ad esempio, in ambito automobilistico, avionico, elettromedicale). Pur riferendosi al mercato internazionale, Bugseng è una novità assoluta per l'Italia e assicura un livello di assistenza altamente qualificata, che i concorrenti (tutti esteri) non forniscono.

Tag

Ti potrebbe interessare anche:

Vai alla lista completa