BUGSENG

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

[BUGSENG @bugseng]

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: https://t.co/Hc1t0Vb6iX

[BUGSENG @bugseng]

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

[BUGSENG @bugseng]

#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: https://t.co/835Y7h2i54

#BUGSENG

[BUGSENG @bugseng]

#Blog: 5 reasons why you should do #MISRA compliance.

Find out more here: https://t.co/qTvg3mYNkN

[BUGSENG @bugseng]

@GSAS_India and @bugseng signed an agreement for the distribution of all BUGSENG software analysis and verification products.

Read the full news here: https://t.co/oRYlS4GkaQ

[BUGSENG @bugseng]

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: https://t.co/hsrRgjlsKR

[BUGSENG @bugseng]

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: https://t.co/9o0KliK4lj

[BUGSENG @bugseng]

Register for next #webinar: A Rationale-Based Classification of MISRA C Guidelines, on September 28th 2022 - 11:00 CEST

Register now: https://t.co/zTaPxNZvds

[BUGSENG @bugseng]

#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:

https://t.co/aW737gaaKo

#compliance #qualification

[Zephyr Project @ZephyrIoT]

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: https://t.co/ueztjYmo0q #opensource #ZephyrRTOS #RTOS #embedded

[Zephyr Project @ZephyrIoT]

.@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: https://t.co/fzs01ZYCNe @linuxfoundation #opensource #ZephyrRTOS #RTOS #embedded #compliance

[BUGSENG @bugseng]

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: https://t.co/kNIumwbwai

[BUGSENG @bugseng]

#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: https://t.co/lcDBfWIQDF

[BUGSENG @bugseng]

🇮🇹 @bugseng su @sole24ore di oggi, all'interno dello speciale “Automotive e Aftermarket Automobilistico - Realtà Eccellenti”.

#automotive #ECLAIR
Credits: B-Side Communication Srl

[Linaro @LinaroOrg]

#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: https://t.co/rEGZuLAuQI #opensource #security

[Tiera @TieraOAtOSM]

@bugseng launched a new certified functional safety package for its #ECLAIR #Software #Verification Platform, enabling customers to accelerate the development of safety-critical software.
https://t.co/5ZYS7iTY8B

[BUGSENG @bugseng]

#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: https://t.co/DWFCDyATzJ

[BUGSENG @bugseng]

BUGSENG launches certified #ECLAIR FuSa Pack to complete its functional safety ecosystem!

Read the full Press Release: https://t.co/P97xe2EmYL

[BUGSENG @bugseng]

ECLAIR Software Verification Platform® is now certified by TÜV SÜD! Download the #certificate here: https://t.co/Zp8LfqsJqB

[embedded world @embedded_world]

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!
🎫https://t.co/fQGd1Q8QT4
#ew22