CERN selected ECLAIR
CERN selected BUGSENG’s ECLAIR to check ROOT’s Coding ConventionsAutomated Coding Conventions Checks makes for Clean CodeGeneva, September 25th, 2013.CERN, the European Organization for Nuclear...
View ArticleBitron/BUGSENG @ Automotive S/W Workshop
Il 7 novembre 2013 Ugo Schiara, Automotive Software Department Mgr. della BU di Grugliasco di Bitron, e Roberto Bagnara, CEO/CTO di BUGSENG, terranno una presentazione congiunta al 11th Workshop on...
View ArticleÈ stata rilasciata la versione 1.1 della PPL
La nuova versione include il supporto per il positive time elapse, un nuovo operatore definito sui poliedri, vari miglioramenti all'interfaccia Java e alla portabilità generale, nonché la correzione di...
View ArticleNext generation static software analysis tools
Il nostro CEO e CTO parteciperà al Dagstuhl Seminar 14352: Next Generation Static Software Analysis Tools. Questo seminario, cui si partecipa solo su invito, raccoglie gli sviluppatori di strumenti e...
View ArticlePresentazione BUGSENG @ Automotive S/W 2014
Il 30 ottobre 2014 Roberto Bagnara, CEO/CTO di BUGSENG, interverrà al 12th Workshop on Automotive Software & Systems con una presentazione dal titolo “On the Toyota SUA Case and the Redefinition of...
View ArticleBest Presentation Award @ Automotive S/W 2013
La presentazione congiunta “Is the code we have verified what we really have embedded?” di Ugo Schiara (Bitron) e Roberto Bagnara (BUGSENG) al 11th Workshop on Automotive Software & Systems ha...
View ArticleBest Presentation Award @ Automotive S/W 2014
La presentazione “On the Toyota UA Case and the Redefinition of Product Liability for Embedded Software” di Roberto Bagnara al 12th Workshop on Automotive Software & Systems ha vinto il Best...
View ArticleECLAIR incontra Erika: vera conformità MISRA senza stress
Un progetto congiunto di BUGSENG ed Evidence ha prodotto la prima release di una versione di Erika Enterprise (un sistema operativo hard real-time, open-source e OSEK/VDX) che può legittimamente dirsi...
View ArticleÈ stata rilasciata la versione 1.2 della PPL
La nuova versione include un importante miglioramento nell'efficienza della procedura di conversione dei poliedri, la correzione di alcuni bachi e numerosi miglioramenti alla portabilità. Ulteriori...
View ArticleRoberto Bagnara entra nel MISRA-C Working Group
Roberto Bagnara, il nostro CEO/CTO, è entrato a far parte del MISRA-C Working Group. Il gruppo ha il compito di sviluppare gli standard di codifica MISRA-C. MISRA-Cè un insieme di direttive per lo...
View Article
