BUGSENG have been running MISRA C/C++ workshops, seminars and presentations across Europe and India in recent years.
BUGSENG is kicking off the series on Tuesday 17 March, with CTO Roberto Bagnara's lecture prepared for the Embedded World conference in Nuremberg in February.
The webinars will cover the latest developments in MISRA C/C++ and BARR-C coding standards, static analysis tools, tool qualification, and compliance to industrial functional safety standards. Each webinar will last around 45-50 minutes plus 10-15 minutes for questions, and all are completely free.
Roberto Bagnara, PhD will host all the webinars. As well as being BUGSENG’s CTO, Roberto is a Computer Science Professor at the University of Parma and a member of the ISO/IEC JTC1/SC22/WG14 - C Standardization Working Group and the MISRA C Working Group. The whole BUGSENG team is particularly proud that Roberto received (for the third time) the ‘Best Presentation Award’ for his talk at Automotive SPIN Workshop earlier this year.
Here’s the full webinar schedule: Topics, dates and times
In October 2013, an Oklahoma jury found Toyota Motor Corp. liable for a crash in 2007 that left one woman dead and another seriously injured when a Camry suddenly accelerated. The jury awarded 3 million USD in compensatory damages to the victims. The jury also decided that Toyota acted with "reckless disregard" for the rights of others, paving the way for a second phase of the trial on punitive damages. Before the jury could decide on damages, Toyota settled this case together with many other outstanding sudden-acceleration cases. The likely reason for the quick settlement was the expert testimony of Michael Barr - an embedded software systems' expert - who had been asked by the jury to examine the source code of Toyota's engine-control system. He found many extremely serious problems, both with the system's design and with the software, all of them indicating inadequate engineering practice.
Wednesday, June 17th, 2020, 14:30-15:30 CEST (UTC+2)
The MISRA Compliance:2020 document ("Achieving compliance with MISRA Coding Guidelines") defines what must be covered within the software development process when making a claim of MISRA compliance. In this webinar, we will cover the process requirements, the classification of the MISRA guidelines, the possibility of re-categorizing guidelines, the GEPs (Guideline Enforcement Plans), the role of deviations, deviation records and deviation permits, and the formulation of a defensible MISRA compliance argument.
Tuesday, June 23rd, 2020, 11:00 - 12:00 CEST (UTC+2)
Deviation is an integral part of MISRA compliance. Apart from "mandatory" guidelines, the point of a guideline is never "You should not do that." The point is: "This is dangerous, you can do it if: (1) it is needed; (2) it is safe; (3) you can quickly convince your peers that it is both needed and safe." In this webinar, we try to convey the basics of what we may call "the art of deviation": sometimes complying is easier than deviating; sometimes deviation really is the best option. Understanding the tradeoffs involved in this choice is one of the keys for successful adoption of MISRA C/C++.
Thursday, July 2nd, 2020, 11:00-12:00 CEST (UTC+2)
In this webinar, we will cover integer promotions, usual arithmetic conversions, decays and pointer conversions. The companion webinar "The Essential Type Model of MISRA C:2012" will show you that sticking to MISRA C (and C++) is much, much easier than trying to remember the complex rules that govern implicit conversions.
Thursday, July 16th, 2020, 11:00-12:00 CEST (UTC+2)
In this webinar, we will present the essential type model and we will review some of the guidelines of MISRA C:2012 that are based on the model. The companion webinar "Implicit Conversions in C: The Hidden Enemy" is recommended in order to fully appreciate the value of the essential type model and of the associated guidelines.
Thursday, July 30th, 2020, 11:00-12:00 CEST (UTC+2)