19 Sep 2025
Check out this quick demo video by Roberto Bagnara, CEO at BUGSENG, and @Ac6Embedded's @royjjamil that showcases an application based on #ZephyrRTOS and a case study from @bugseng: hubs.la/Q03K9mBQ0 @ZephyrIoT #opensource #embedded
4
484
2 Jul 2022
** Zephyr RTOS moves towards MISRA Compliance with help from BUGSENG Consulting Services #zephyrRTOS
lnkd.in/gkEPH4SV
1
2
30 Jun 2022
.@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
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
17 Jun 2021
The #safety presentations from #ZephyrDevSummit are now live! Learn more about @ZephyrIoT & #functionalsafety certification, MIRSA Compliance, safety analysis, & ISO 26262. Read the #blog or watch the videos here: bit.ly/2UguXG3 #ZephyrRTOS @intel @bugseng @ULdialogue
2
8
8 Jun 2021
Day 1 #ZephyrDevSummit is a wrap! Thank you speakers from @bugseng @Inteliot @golioth_iot @NordicTweets @risc_v! Check out Day 2 sched w/ @AVSystemCom, @jaredwolff @intel @LaasCNRS @LegrandNA @LibreSolar @LinaroOrg @lpnplant @muni_cz @percepio: bit.ly/3v5W2bw @ZephyrIoT
1
6
10
2 Jun 2021
Are you going to @ZephyrIoT's event next week?! Check out a preview of Day 1 of #ZephyrDevSummmit with speakers from @bugseng @Inteliot @IntelSoftware @golioth_iot @NordicTweets. bit.ly/3ceak3j #embedded #ZephyrRTOS #RTOS #opensource @linuxfoundation
6
11
Are #compiler defects bugging your code?
Find out how the new Application Hazard Scanner from @BUGSENG and @SolidSandsBV can improve your #SafetyCritical software. bugseng.com/content/help-are…
1
16 Apr 2021
Join for our Automotive Virtual Conference on May 13th covering #adas #autonomousdrive #electricvehicles #ivi #security bit.ly/autovirtualconf
Speakers: @iarsystems @TXInstruments @QorvoInc @bugseng @cranksoftware @ImaginationTech @KDPOF @RenesasGlobal @TanvasLabs @Tuxera @ublox
5
7
Webinar on the topic " Floating-Point Computation Traps & Pitfalls: Part 2" by ROBERTO BAGNARA on 7th May 2020.
Register now - bit.ly/2yioU9s
#MenloparkTechnologies #webinar #Bugseng #MISRAC2012 #C #C #ECLAIR #Bugsengwebinar #ISO26262
1
#FutureStartsHere – Meet the @BUGSENG team @embedded_world in #Nuremberg. Find out how to get your free #ew20 ticket here.
bugseng.com/content/meet-bug…
2
26 Nov 2019
Roberto Bagnara, CEO of @bugseng and Professor at @unipr at #MadridFlightonChip workshop: “Without a specification for the functions, no conclusion can be drawn statically about the behaviour of the program. We propose an alternative using constraint solving”
1
3
27 May 2019
MISRA C e il suo ruolo chiave per la conformità agli standard industriali di sicurezza del software | BUGSENG bugseng.com/content/workshop…
1
#SafetyCritical software demands an unerring commitment to quality. Find out why #verification specialists @BUGSENG abide by their no shortcuts, no compromises, no excuses philosophy. bugseng.com/content/our-phil…
1
2 Oct 2017
Il prof. Roberto Bagnara dell'Universita' di Parma, CEO di @bugseng, presenta l'azienda e i profili ricercati al Career Day #ICT @DI_Unipisa
2
3
27 Sep 2017
Partecipa alla prima giornata del Career Day #ICT il 2 ottobre al @DI_Unipisa con @extra_group_it #TAI #SeSa @bugseng @ArmundiaGroup #ION
3
4