No shortcuts, no compromises, no excuses: software verification done right.

Joined December 2010
57 Photos and videos
Pinned Tweet
24 Feb 2023
BUGSENG presents C-rusted: a safe, secure and energy-efficient C dialect for the next 50 years. C-rusted will be first presented to the community at @embedded_world . BUGSENG will host a live presentation twice a day, at booth 4-348. Read more: bugseng.com/c-rusted
1
59
6 Dec 2022
#MISRA C:2012 Amendment 3 has just been published! This document updates MISRA C:2012 Third Edition, First Revision, for additional coverage of C11/C18 language features. Support for it will be included in the forthcoming releases of the #ECLAIR Software Verification Platform.
1
29 Nov 2022
#Blog MISRA technical debt is accumulated when #MISRA compliance is delayed, in some extreme cases until the very end of the project. Learn how to control MISRA debts: bugseng.com/blog/say-no-misr… #BUGSENG
1
25 Oct 2022
#Blog: 5 reasons why you should do #MISRA compliance. Find out more here: bugseng.com/blog/5-reasons-w…
1
2
6 Oct 2022
A monthly introduction to #ECLAIR Software Verification Platform. This is particularly useful to optimize the evaluation process of the tool or even to get you up to speed on the latest features. Register for October 10th presentation: meet.zoho.com/iz6LPCLZTr
1
4 Oct 2022
This Rationale-Based Classification of MISRA C Guidelines helps developers and managers taking the right decision more quickly when facing the choice between complying vs deviating MISRA C violations. Watch last week's #webinar here: youtu.be/rBwC9S0uuWM
1
20 Sep 2022
Register for next #webinar: A Rationale-Based Classification of MISRA C Guidelines, on September 28th 2022 - 11:00 CEST Register now: meet.zoho.com/VBug2jW3Pu
1
1
13 Sep 2022
#Blog In safety-related development, nothing can be trusted blindly. And the C Standard Library makes no exception. Learn what #functionalsafety standards are really asking for: bugseng.com/blog/c-standard-… #compliance #qualification
BUGSENG retweeted
Did you know? Last month, @ZephyrIoT announced our move towards MISRA #Compliance w/ @bugseng's help to facilitate code #safety, #security, portability and reliability in the context of #embeddedsystems. Learn more: hubs.la/Q01j5P4t0 #opensource #ZephyrRTOS #RTOS #embedded
2
7
BUGSENG retweeted
.@ZephyrIoT moves towards MISRA Compliance with the help of @bugseng to facilitate code #safety, #security, portability and reliability in the context of #embeddedsystems. Learn more: hubs.la/Q01f-Nqy0 @linuxfoundation #opensource #ZephyrRTOS #RTOS #embedded #compliance
4
6
30 Jun 2022
The @ZephyrIoT users with MISRA #compliance requirements will now have a much easier task in obtaining the required certification for their products. Thanks to the team at #ZephyrRTOS! Read: bugseng.com/sites/default/fi…
3
7
16 Jun 2022
#Blog A New Way of Implementing Shift-left Shift-left is not a new concept, learn how to do it in a cost-effective way thanks to the use of Continuous Integration #CI systems, such as @jenkinsci, @gitlab and #Bamboo. Read here: bugseng.com/blog/new-way-imp…
1
24 May 2022
🇮🇹 @bugseng su @sole24ore di oggi, all'interno dello speciale “Automotive e Aftermarket Automobilistico - Realtà Eccellenti”. #automotive #ECLAIR Credits: B-Side Communication Srl
BUGSENG retweeted
9 May 2022
#TrustedFirmware.org, a Linaro Community Project, enhances its Open #CI with @bugseng ECLAIR’s MISRA compliance verification tooling, making it easier for its reference implementations to achieve product quality and safety: ow.ly/3EOc50J2x6j #opensource #security
3
5
7 Apr 2022
#Blog Activities such as providing evidence of compliance with #FuSa standards to get third-parties’ approval, without proper tools, can invest a team for months. Surely not in line with production timing. Simplify the qualification process. Read more: bugseng.com/blog/hurry-hazar…
5 Apr 2022
BUGSENG launches certified #ECLAIR FuSa Pack to complete its functional safety ecosystem! Read the full Press Release: bugseng.com/blog/bugseng-lau…
1
22 Mar 2022
ECLAIR Software Verification Platform® is now certified by TÜV SÜD! Download the #certificate here: lnkd.in/etjFDf8j
BUGSENG retweeted
From 22 to 23 June 2022, engineers, developers, project leaders, managers, scientists and users will once again learn about the latest display technologies at electronic displays Conference in Nuremberg. Take advantage of the early bird discount! 🎫embedded.ly/8h5c #ew22
1
6
14 Mar 2022
Brace yourself #NewRelease ECLAIR 3.12.0 comes with great news! Get a free preview on eclairit.com: eclairit.com:8443 Read more: bugseng.com/blog/eclair-3120…
1