general

Roberto Bagnara is now a member of the MISRA-C Working Group

Roberto Bagnara, our CEO/CTO, is now a member of the MISRA-C Working Group. The working group is in charge of developing and maintaining the MISRA-C coding guidelines. MISRA-C is a set of software development guidelines for the C programming language developed by MISRA (Motor Industry Software Reliability Association). Originally aimed at the automotive industry, MISRA-C is now in widespread use in all industry sectors, especially those concerned with the development of safety- and mission-critical software.

PPL 1.2 has been released

This release includes a major efficiency improvement to the conversion procedure for polyhedra, a few bugfixes and numerous portability improvements. See the release notes for more information.

Best Presentation Award @ Automotive S/W 2014

The presentation “On the Toyota UA Case and the Redefinition of Product Liability for Embedded Software” given by Roberto Bagnara at the 12th Workshop on Automotive Software & Systems was awarded the Best Presentation Award. This is the second time in a row BUGSENG's CEO receives that award. The slides are available in the presentations page.

ECLAIR Meets Erika: Real MISRA Compliance without the Hassle

A joint project conducted by BUGSENG and Evidence has resulted in the release of the first version of Erika Enterprise (an open-source OSEK/VDX hard real-time operating system) that can rightfully claim to be MISRA-ready, that is, essentially free of unjustified violations of the MISRA-C:2004 guidelines. Read more »

Best Presentation Award @ Automotive S/W 2013

The presentation “Is the code we have verified what we really have embedded?” jointly given by Ugo Schiara (Bitron) and Roberto Bagnara (BUGSENG) at the 11th Workshop on Automotive Software & Systems was awarded the Best Presentation Award. The slides are available in the presentations page.

BUGSENG Presentation @ Automotive S/W 2014

On October 30th, 2014, Roberto Bagnara, CEO/CTO of BUGSENG, will give a presentation at the 12th Workshop on Automotive Software & Systems. The presentation is titled “On the Toyota UA Case and the Redefinition of Product Liability for Embedded Software”. Read more »

Next generation static software analysis tools

Our CEO and CTO will attend the invitation-only Dagstuhl Seminar 14352: Next Generation Static Software Analysis Tools. This seminar brings together developers of software analysis tools and algorithms, including researchers working on the underlying decision procedures (e.g., SMT solvers), and people who are interested in applying these techniques (e.g., in the automotive or avionics industry). Read more »

PPL 1.1 has been released

This release includes support for positive time elapse, a new operator on polyhedra, improvements to the Java interface, several portability improvements and a few bug fixes. See the release notes for more information.

Bitron/BUGSENG @ Automotive S/W Workshop

On November 7th, 2013, Ugo Schiara, Automotive Software Department Mgr. of the Grugliasco BU of Bitron, and Roberto Bagnara, CEO/CTO of BUGSENG, will give a joint presentation at the 11th Workshop on Automotive Software & Systems. The presentation, titled “Is the code we have verified what we really have embedded?”, focuses on the importance of ensuring that the embedded code and the verified code actually coincide and, more generally, reports on the ongoing Bitron/BUGSENG partnership

CERN selected ECLAIR

CERN selected BUGSENG’s ECLAIR to check ROOT’s Coding Conventions

Automated Coding Conventions Checks makes for Clean Code

Geneva, September 25th, 2013. CERN, the European Organization for Nuclear Research, one of the world’s largest and most respected centres for scientific research, announced today that it has acquired a license of the ECLAIR software verification platform instantiated to automatically check the ROOT project coding conventions. Read more »

Syndicate content