New paper on MISRA C
At the 25th Static Analysis Symposium, SAS 2018, which took place on August 29-31 in Freiburg im Breisgau, Germany, Roberto Bagnara gave a highly-successful tutorial on "The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software".
ECLAIR 3.3 has been released
ECLAIR version 3.3 contains substantial new functionality over the previous versions and offers significant improvements in all aspects of the system.
Most notably:
ECLAIR 3.2 has been released
ECLAIR version 3.2 contains many new static analyses, especially targeted at security. Support has been improved and extended for C11, C++11, C++14 and C++17.
The quality of ECLAIR HTML reports has been improved further and their generation has been speeded up by more than an order of magnitude. A new class of reports, suitable for printing, has been introduced.
There are new, very convenient installers both for the Windows and the Linux versions.
MISRA C, for security's sake!
On October 10th, 2016, Roberto Bagnara, CEO/CTO of BUGSENG, gave a presentation at the 14th Workshop on Automotive Software & Systems. The presentation was titled “MISRA C, for security's sake!”.
Support for AUTOSAR C Implementation Rules has been released
An ECLAIR package supporting all the AUTOSAR C Implementation Rules has been released. These rules are applicable for the development and maintenance of all the software of an AUTOSAR ECU written in the C programming language. These 25 rules enhance software quality in terms of reliability (through the avoidance of risky language constructs), readability, maintainability and portability. The ECLAIR package allows complete automatization of checking compliance with respect to all such rules.
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.
MISRA-C++:2008 + HIS Metrics package has been released
ECLAIR's MISRA-C++:2008 + HIS Metrics package offers the most extensive, properly said MISRA-C++:2008 coverage available on the market, by providing support for around 87% of the guidelines.
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 here.
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.
MISRA-C:2012 + HIS Metrics package has been released
ECLAIR's MISRA-C:2012 + HIS Metrics package offers the most extensive, properly said MISRA-C:2012 coverage available on the market, by providing support for around 95% of the guidelines. (Beware of fakes: MISRA-C:2012 cannot be covered by remapping MISRA-C:2004 checkers!)
ECLAIR 3.0 has been released
ECLAIR version 3.0 contains many new services and major improvements to existing services, most notably those supporting the MISRA coding standards.
Configurability has also been enhanced and makes it easier to support projects that use C and C++ at the same time and/or use different coding standards on different parts of the project. Deviation mechanisms have also been extended and improved.
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 here.
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 SUA Case and the Redefinition of Product Liability for Embedded Software”.
ECLAIR 2.1 has been released
ECLAIR version 2.1 contains several new features, in particular concerning the generation of reports in various formats, and major improvements in every part of the system.
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.
CERN selected ECLAIR
CERN selected BUGSENG's ECLAIR to check ROOT's Coding Conventions
Automated Coding Conventions Checks makes for Clean Code
PPL 1.0 has been released
This release includes support for the optimized representation of sparse vectors of coefficients, achieving significant performance improvements, e.g., when dealing with constraint systems describing weakly relational abstractions such as boxes and octagonal shapes. See the release notes for more information.
BUGSENG selected ACE's SuperTest
BUGSENG selected ACE's SuperTest to validate its ECLAIR Software Verification Platform
Validation of Verification tools proves value
The PPL has a new logo and web site
Thanks to BUGSENG, the Parma Polyhedra Library has a new logo and a completely renovated web site. If you are reading this, you have discovered that the new URI for the PPL is http://bugseng.com/products/ppl.
BUGSENG is the new copyright holder
The copyright of the Parma Polyhedra Library has been transferred to BUGSENG a newly established spin-off company of the University of Parma. The PPL will of course continue to be free software, but commercial licensing, support and maintenance is now available from BUGSENG.