Join BUGSENG at embedded world 2024

The embedded world Exhibition&Conference is the global platform, the industry meeting place for the embedded community, leading experts, key players and industry associations. Its clear focus and specialization on technologies, processes and future-oriented products, combined with top-class expert knowledge, make the event unique in an international comparison and THE must-attend event for the industry.

WHEN / WHERE

Tuesday, 9 April 2024 09:00 – 18:00
Wednesday, 10 April 2024 09:00 – 18:00
Thursday, 11 April 2024 09:00 – 17:00

NürnbergMesse GmbH Messezentrum 1 90471 Nürnberg, Germany

Open in Google Maps

Visit BUGSENG in Hall 4, Booth 548

Book a meeting in advance

Register to the event and get free tickets by  using our voucher code ew24518471

Redeem voucher now

CONFERENCES

With its comprehensive and high-quality conference and supporting program, embedded world bundles know-how at the highest level. You can follow BUGSENG at the conference attending these two talks:

When: Wednesday, 10 April 2024 | 4:30-5:00 pm
Session: 6.6 MISRA and Static Code Analysis 3
Title: Bringing Existing Code into MISRA Compliance: Challenges and Solutions
By: Roberto Bagnara (University of Parma,  BUGSENG) and Stefano Stabellini (AMD)
Abstract:

Bringing an existing codebase into MISRA compliance is known to be a difficult, risky and time consuming task. Yet, when a product needs a functional safety certification and rewriting the software is out of question, this is a necessity. Such an endeavor requires facing multiple tradeoffs and, consequently, lots of experience both on the codebase and on MISRA. The choices between deviating the guideline, and the (often, many) ways in which code may be changed and deviations may be formulated, are tough and with consequences that are not immediately evident. While, clearly, a project undertaking MISRA compliance at a late development stage is likely to rely on deviations more than other projects, one should take into account the interdependencies among MISRA guidelines and that such deviations have to be rock-solid (as they will inevitably catch the assessors’ attention). In this paper, we illustrate our experience and the several lessons learned while undertaking MISRA compliance work in several projects. This includes closed-source projects (which cannot be disclosed for confidentiality reasons) as well as open-source projects, most notably the Zephyr RTOS and the Xen hypervisor, both used in many embedded systems. Key take-home points include: effective deviation strategies and mechanisms; dealing with the MISRA C essential type model (guidelines related to that account for many of the violations in existing codebases); interaction with open-source communities.

When: Thursday, 11 April 2024 | 9:30-10:00 am
Session: 6.13 C/C++
Title: C-rusted: A Formally Verifiable Flavor of C For The Development of Safe and Secure Systems
By: Federico Serafini (BUGSENG)
Abstract:

C-rusted is an innovative technology whereby C programs can be (partially) annotated so as to express: ownership, exclusivity and shareability of language, system and user-defined resources; dynamic properties of objects and the way they evolve during program execution; nominal types and subtypes compatible with any C data type. The annotated C programs, being fully compatible with all versions of ISO C, can be translated with unmodified versions of any C compiler. The crucial point is that the annotated C program can be formally verified by static analysis: if the static analyzer flags no error, then the annotations are provably coherent among themselves and with the annotated C code, in which case the annotated parts are provably exempt from a large class of logic, security, and run-time errors. The annotation system has been designed not to be intrusive and so that also the lack of annotations can be used to formally infer program properties. C-rusted is a pragmatic and cost-effective solution to up the game of C programming to unprecedented integrity guarantees without giving up anything that the C ecosystem offers today. That is, keep using C, exactly as before, using the same compilers and the same tools, the same personnel… but incrementally adding to the program the information required to formally verify correctness, using a system of annotations that is not based on complex formalisms (such as mathematical logic) and can be taught to programmers in a week.

Check out the full program and register

MORE INFO

Visit Embedded World online platform.