News Archive

We are happy to announce that our CTO Roberto Bagnara will be giving two presentations (see the abstracts below) at the fourth Italian Workshop on Embedded Systems (IWES), which will take place from September 30^th to October 1^st in Naples.

The Italian Workshop on Embedded Systems (IWES) is a meeting point for the exchange of research experience in academy and industry on all aspects of embedded systems.

ECLAIR version 3.5 contains, besides numerous enhancements to all parts of the system, major
efficiency improvements: memory consumption has been cut to half and analysis speed has
been doubled or more, without any impact on analysis precision (speedups up to 6x have been
observed).

The BUGSENG team will be exhibiting at the Embedded World Conference in Nuremberg.

We’d love to meet you and answer any questions you may have about our tools, verification services, and training. You’ll find us on stand 4-545.

Our CTO, Roberto Bagnara, will also be speaking at the conference. His presentation: "The MISRA C Coding Standard: A Key Enabler for the Development of Safety and Security Critical Embedded Software" is at 10:30AM on Tuesday 26 February 2019.

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 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.

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.

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.

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'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!)