DARPA ha scelto Julia per verificare l’attendibilità del sistema operativo Android

| FabbricaFuturo |

DARPA – Defense Advanced Research Projects Agency, l’Agenzia USA che sovrintende i progetti strategici di sicurezza nazionale – ha scelto Julia, una piccola spinoff dell’Università di Verona incubata da M&A Partners Srl di Verona, per verificare l’attendibilità del sistema operativo Android.

Julia_costituzioneUS Air Force, che ha affidato una commessa triennale a Julia, intende infatti adottare il “dialetto” di Java per alcuni impieghi militari, ed a questo fine il team di alta ricerca e tecnico, che raggruppa alcuni tra i massimi esperti mondiali in materia ed è guidato dal main researcher e Presidente di Julia prof.Fausto Nicola Spoto, dovrà fornire un importante responso, circa la stabilità e non vulnerabilità del linguaggio di programmazione.

Il sistema di verifica sviluppato in Julia è infatti l’unico in grado di effettuare una analisi categorica dei programmi in java-android, applicando ad essi l’approccio semantico e statico; inoltre, non necessita del codice sorgente ma soltanto dell’eseguibile.
Esistono sì molti tools di verifica semantici e statici, ma che operano in altri linguaggi, mentre altri tools in java-android non sono semantici e statici e quindi non garantiscono risultati definitivi.

“Dopo avere messo a fuoco le potenzialità del mercato – spiega Paolo Fiorini di M&A Partners che è anche AD di Julia – abbiamo costituito un team societario composto sia da ricercatori che da imprenditori; del team fa parte il responsabile scientifico di Julia, prof.Roberto Giacobazzi, che è insignito in questo momento del Software Engineering Innovation Foundation Awards di Microsoft Research, per le competenze in materia di Abstract Interpretation of Self-Modifying Code, che è alla base del progetto Julia.”

La piccola entità sta ora affacciando le prime collaborazioni sul mercato degli ambienti critici, finance, security ecc.

http://www.juliasoft.com

Share on FacebookShare on TwitterShare on LinkedinShare on Pinterest

FabbricaFuturo è il progetto di comunicazione rivolto a tutti gli attori del mercato manifatturiero (responsabili delle direzioni tecniche, imprenditori e direzione generale, responsabili organizzazione e HR) che ha l’obiettivo di mettere a confronto le idee, raccontare casi di eccellenza e proporre soluzioni concrete per l’azienda manifatturiera di domani.

Nasce nel 2012 dalla rivista Sistemi&Impresa come reazione alla crisi finanziaria del 2011. Negli anni il progetto è cresciuto significativamente, parallelamente alla definizione di politiche pubbliche in ambito industria 4.0 (Piano Calenda e successivi).
Oggi FabbricaFuturo affronta i temi legati al Piano Nazionale di Ripresa e Resilienza (PNRR), per offrire alle aziende gli strumenti per affrontare le sfide nella fabbrica di domani.

Contatti

ESTE – Edizioni Scientifiche Tecniche Europee Srl

Via Cagliero, 23 - 20125 Milano
P.IVA: 00729910158
TEL: 02 91 43 44 00

Per informazioni commerciali:
commerciale@este.it
Cookie Policy | Privacy Policy

Iscriviti alla Newsletter