White Paper: Jumpstarting MISRA compliance via the integration of static analysis into Open Source CI systems: best practices and key elements from TrustedFirmware.org
Over the last two years TrustedFirmware.org has integrated ECLAIR, BUGSENG’s MISRA tooling, into TrustedFirwmare’s Open CI as part of the validation efforts for both TF-A and TF-M. These verification efforts provide additional confidence in regards to Functional Safety and Security for users of these projects.
ECLAIR 3.13.0 Release Highlights
Release 3.13.0 of the ECLAIR Software Verification Platform is here! The new version is packed with new features and tons of improvements in all parts of the system and its documentation. Here is a small sample:
Did you know ECLAIR 3.13.0 comes with full GitHub support?
ECLAIR 3.13.0 supports Sarif and can be integrated seamlessly into the typical GitHub workflow: ECLAIR automatically analyzes pull requests, adding comments to the corresponding thread so that developers are immediately informed about code criticalities and perform all the required changes before the merge. Open IMUtility project to get an idea of how it works.
Did you know ECLAIR can enforce software architectural constraints?
You know that defining the right software architecture is probably the most important step towards a successful project. Strict adherence to the software architectural constraints is then essential: What if a programmer bypasses the hardware abstraction layer? What if another one unknowingly introduces a dependency that may cause a highly critical component to fail as a consequence of a failure in a less critical or non critical component?
BUGSENG at IWES-2023 Workshop in Florence
Meet us at the 8th Italian Workshop on Embedded Systems (IWES), which will take place in Florence (Auditorium B, Plesso Didattico Morgagni) on September 4 and 5.
Did you know ECLAIR 3.13.0 has the most complete set of IDE advanced interfaces?
One of the ECLAIR Software Verification Platform® strong suits is definitely its uniform user experience whether you choose to use it from its GUI, from the command line, within IDEs and in CI/CD systems such as Jenkins, GitLab and GitHub.
Did you know ECLAIR 3.13.0 comes with a requirements management tool?
Surely you know that managing requirements in Word documents or Excel spreadsheets is not exactly the thing. And you also know emblazoned requirements management tools cost a fortune.
The (Embedded) Software Industry Must Up the Game: BUGSENG Has a Revolutionary Solution for C Programming
On February 1st, 2023, Jen Easterly and Eric Goldstein published an article on the Foreign Affairs journal titled: "Stop Passing the Buck on Cybersecurity: Why Companies Must Build Safety Into Tech Products." Jen Easterly is the Director of CISA, the Cybersecurity and Infrastructure Security Agency at the Department of Homeland Security of the United States; Eric Goldstein is Executive Assistant Director at CISA.
Visit BUGSENG Booth at Embedded World 2023
Free Analysis Services for GitHub Projects: Call for Proposals
MISRA C:2012 Amendment 3 has just been published
MISRA C:2012 Amendment 3 has just been published on the MISRA website.
This new document updates MISRA C:2012 Third Edition, First Revision, for additional coverage of C11/C18 language features.
GSAS Micro Systems signs distribution agreement with BUGSENG
GSAS Micro Systems Private Limited (GSASMSPL) and BUGSENG signed a non-exclusive agreement for the distribution of all BUGSENG software analysis and verification products.
BUGSENG Consulting Services – selected by the Zephyr Project to move Zephyr towards MISRA Compliance
The Zephyr® Project, hosted by the Linux Foundation, aims to build a safe, secure and flexible real-time operating system (RTOS) for space-constrained devices. With more than 1200 contributors, Zephyr is one of the fastest growing open source and broadly contributed RTOS projects of its kind. It currently supports more than 350 boards, more than any other RTOS.
BUGSENG on Il Sole 24 Ore, Automotive Special
TrustedFirmware.org chooses ECLAIR to reinforce Code Verification and Safety
TrustedFirmware.org and BUGSENG jointly announce the signature of a contract whereby BUGSENG provides a license of its ECLAIR Software Verification Platform® for the static analysis and MISRA compliance of Trusted Firmware projects.
BUGSENG launches the ECLAIR FuSa Pack to complete its functional safety ecosystem
Certified ECLAIR Software Verification Platform® accelerates the development and certification of functional-safety applications
ECLAIR 3.12.0 is certified by TÜV SÜD
ECLAIR 3.12.0 has been released
ECLAIR 3.11.0 has been released
BUGSENG is now 100% privately owned
ECLAIR 3.10.0 has been released
ECLAIR version 3.10.0 contains several enhancements and some bug fixes.
ECLAIR 3.9.0 has been released
BUGSENG joins Arm's Functional Safety Partnership Program
ECLAIR 3.8.1 has been released
Beijing Siener Electronics Tech. Development Ltd. Signs Reselling Agreement with BUGSENG
ECLAIR 3.8.0 has been released
Home-working support from BUGSENG
ECLAIR 3.7.0 has been released
BUGSENG is forced to withdraw from EW2020
Due to a compelling order by the Italian health authorities, we are forced to cancel our participation in the Embedded World 2020 Exhibition & Conference in Nuremberg.
If you have planned to visit our stand or have a specific request, please contact us by email info@bugseng.com and we will arrange alternative ways of e-meeting.
Thank you for your understanding.
BUGSENG is Certified ISO 9001:2015
BUGSENG at Automotive SPIN Italia 2020
20th February, Milano, Four Points by Sheraton, 12.15-12.45
We are glad to announce our presentation at the 17th workshop on automotive software & system:
"The Qualification of Software Tools in Compliance with ISO 26262"
ECLAIR 3.6.3 has been released
ECLAIR version 3.6.3 contains only minor fixes and documentation improvements.
BUGSENG & Solid Sands at Functional Safety Training
15th January, Automotive Campus, Helmond, Netherlands
We are glad to announce that together with our partners Solid Sands, we will be doing a joint presentation at the Functional Safety Training organized by AutomotiveNL.
ECLAIR 3.6.2 has been released
ECLAIR version 3.6.2 contains only minor fixes and documentation improvements.
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.
WORKSHOP ON SOFTWARE RELIABILITY FOR MADRID FLIGHT ON CHIP
26th November, IMDEA Software Institute, Madrid
We are glad to announce that our CTO Roberto Bagnara will be one of the MFoC Workshop speakers.
Here is a sneak peek at his talk: "Precise approximation of Floating-Point Computations for C/C++ Software Using the Mathematical Libraries".
ECLAIR 3.6.1 has been released
ECLAIR version 3.6.1 contains only bug fixes and documentation improvements.
A new series of conferences in India
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.
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, Revision 1;
- 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.
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).
Menlopark® Technologies Signs Distribution Agreement with BUGSENG
BUGSENG entered into an agreement with Menlopark® Technologies, a leading embedded product distribution company, to be a non-exclusive multinational distributor of BUGSENG’s software verification solutions and services.
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.
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:
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!”.