bugseng Profile Banner
BUGSENG Profile
BUGSENG

@bugseng

Followers
23
Following
8
Media
57
Statuses
70

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

Parma, Italy
Joined December 2010
Don't wanna be here? Send us removal request.
@bugseng
BUGSENG
3 years
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
0
0
1
@bugseng
BUGSENG
3 years
#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.
0
0
1
@bugseng
BUGSENG
3 years
#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
0
0
1
@bugseng
BUGSENG
3 years
#Blog: 5 reasons why you should do #MISRA compliance. Find out more here: https://t.co/qTvg3mYNkN
0
1
2
@bugseng
BUGSENG
3 years
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
0
0
1
@bugseng
BUGSENG
3 years
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:
0
0
1
@bugseng
BUGSENG
3 years
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
0
1
1
@bugseng
BUGSENG
3 years
#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
0
0
0
@ZephyrIoT
Zephyr Project
3 years
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
0
3
7
@ZephyrIoT
Zephyr Project
4 years
.@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
0
5
6
@bugseng
BUGSENG
4 years
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
0
3
7
@bugseng
BUGSENG
4 years
#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
0
0
1
@bugseng
BUGSENG
4 years
🇮🇹 @bugseng su @sole24ore di oggi, all'interno dello speciale “Automotive e Aftermarket Automobilistico - Realtà Eccellenti”. #automotive #ECLAIR Credits: B-Side Communication Srl
0
0
0
@LinaroOrg
Linaro
4 years
#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
0
3
5
@bugseng
BUGSENG
4 years
#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
0
0
0
@bugseng
BUGSENG
4 years
BUGSENG launches certified #ECLAIR FuSa Pack to complete its functional safety ecosystem! Read the full Press Release: https://t.co/P97xe2EmYL
0
1
0
@bugseng
BUGSENG
4 years
ECLAIR Software Verification Platform® is now certified by TÜV SÜD! Download the #certificate here: https://t.co/Zp8LfqsJqB
0
0
0
@embedded_world
embedded world
4 years
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
0
1
6
@bugseng
BUGSENG
4 years
Brace yourself #NewRelease ECLAIR 3.12.0 comes with great news! Get a free preview on https://t.co/p3MeeXAyWW: https://t.co/BRB6jmCxAj Read more: https://t.co/7TJSvXOB7w
0
0
1