News

BUGSENG AT C++ DAY 2019

30thNovember, Department of Engineering Parma University 

To celebrate the C++ Day 2019, we are happy to announce that our CTO Roberto Bagnara will give a talk about "MISRA C++: A Subset of C++ for the Development of High-Integrity Systems".  The talk has been coauthored by Roberto and Chris Tapp who, among other things, is the Chairman of the MISRA C++ Working Group.  The abstract of the talk follows.

ECLAIR 3.6.0 has been released

 

ECLAIR version 3.6.0 contains numerous enhancements and some bug fixes:

  • Support has been added for MISRA C:2012 Third edition, first revision;
  • Support has been added for the BARR-C:2018 coding standard.

Also, due to many improvements to the checkers and associated tools:

  • the number of false positives has been reduced;
  • the number of false caution reports has been reduced and some true caution reports have been converted to violation reports;
  • the report messages have been improved.

ECLAIR Qualification Kits have been released

 

After three years of intensive research and development, we are proud to announce the release of ECLAIR Qualification Kits.

ECLAIR Qualification Kits provide direct, explicit support for several functional safety standards such as CENELEC EN 50128 (railway), ECSS-Q-ST-80C (space), IEC 61508 (industrial), IEC 62304 (medical), ISO 26262 (automotive), RTCA DO-178C/DO-330 (aerospace) and for all major MISRA coding standards.

Gli ultimi sviluppi della norma MISRA C e la sua adozione presso FCA

Workshop pubblico gratuito

Torino, 22 novembre 2019

Centro Ricerche FIAT - Orbassano (Torino)

Posti limitati: pre-registrazione obbligatoria

Introduzione

Il software imbarcato (embedded) nei dispositivi gioca un ruolo sempre più importante in ogni settore industriale, in quello automotive in modo particolare, dove l'importanza del software investe aspetti di sicurezza non più trascurabili.

BUGSENG at IWES-2019 Workshop in Naples

 

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 30th to October 1st 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.

 

MISRA C e il suo ruolo chiave per la conformità agli standard industriali di sicurezza del software

Workshop pubblico gratuito

Pisa, 25 giugno 2019

Polo Tecnologico di Navacchio (PI)

 

Introduzione

Il software imbarcato (embedded) nei dispositivi gioca un ruolo sempre più importante in ogni settore industriale. In molti di questi settori l'importanza del software investe aspetti di sicurezza non più trascurabili.

ECLAIR 3.5 has been released

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

Meet us at the Embedded World Conference in Nuremberg, 26-28 February 2019

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.

ECLAIR 3.4 has been released

ECLAIR version 3.4 contains a new web application for viewing reports, several new and revised services and improvements to all aspects of the system.

New services include support for an appreciable part of BARR-C:2018, the Embedded C Coding Standard by Barr Group.

There is a brand new innovative HTML reporting tool providing clear visualization with versatile navigation facilities of all the information concerning an ECLAIR analysis.

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

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.

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.

For older news items, see the complete news archive.

We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.