@bugseng

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

 Parma, Italy
bugseng.com/
Joined December 2010
  • Tweets70
  • Following22
  • Followers22
57Media
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
BUGSENG Presents C-rusted: The Guarantees of Rust, in standard C

ALT BUGSENG Presents C-rusted: The Guarantees of Rust, in standard C

1
59
#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
#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
Blog: Say "No" to MISRA Debts

ALT Blog: Say "No" to MISRA Debts

1
#Blog: 5 reasons why you should do #MISRA compliance. Find out more here: bugseng.com/blog/5-reasons-w…
Blog: 5 Reasons Why You Should Do MISRA Compliance

ALT Blog: 5 Reasons Why You Should Do MISRA Compliance

1
2
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
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

A Rationale-Based Classification of MISRA C Guidelines

MISRA C is the most authoritative language subset for the C program...

youtube.com
1
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
#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
September Blog

ALT September Blog

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
.@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
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…
BUGSENG Consulting Services - selected by the Zephyr Project to move Zephyr towards MISRA Compliance

ALT BUGSENG Consulting Services - selected by the Zephyr Project to move Zephyr towards MISRA Compliance

3
7
#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…
A New Way of Implementing Shift-left

ALT A New Way of Implementing Shift-left

1
🇮🇹 @bugseng su @sole24ore di oggi, all'interno dello speciale “Automotive e Aftermarket Automobilistico - Realtà Eccellenti”. #automotive #ECLAIR Credits: B-Side Communication Srl
BUGSENG retweeted
Linaro@LinaroOrg9 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
Replying to @bugseng
@bugseng launched a new certified functional safety package for its #ECLAIR #Software #Verification Platform, enabling customers to accelerate the development of safety-critical software. embeddedcomputing.com/techno…

BUGSENG's Certified ECLAIR Software Verification Platform Accelerates the Development and Certifi...

BUGSENG launched a new certified functional safety package for its ECLAIR Software Verification Platform. This enables customers to accelerate the development of safety-critical software and its...

embeddedcomputing.com
2
2
#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…
BUGSENG launches certified #ECLAIR FuSa Pack to complete its functional safety ecosystem! Read the full Press Release: bugseng.com/blog/bugseng-lau…
1
ECLAIR Software Verification Platform® is now certified by TÜV SÜD! Download the #certificate here: lnkd.in/etjFDf8j
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
1
6
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
Load more