DARPA ha scelto Julia per verificare l’attendibilità del sistema operativo Android
![](https://www.fabbricafuturo.it/wp-admin/admin-ajax.php?action=kernel&p=image&src=%7B%22file%22%3A%22wp-content%2Fuploads%2FPaolo-Fiorini.jpg%22%2C%22thumbnail%22%3A%22%2C%22%7D&hash=7267819b)
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.
US 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
![Julia_costituzione Julia_costituzione](http://www.fabbricafuturo.it/wp-content/uploads/Paolo-Fiorini.jpg)
Fausto Nicola Spoto, Julia, M&A Partners, mercato, news, Paolo Fiorini, tecnologie