AdaCore’s EU Tech Day
AdaCore’s Tech Days will be presented as a virtual event this year. AdaCore technical staff and guest panelists will present short, timely topics of interest to the aerospace and defence community followed by in-depth Q&A sessions with AdaCore’s senior product and account management teams.
As the regulatory framework in the United States and Europe evolves to address increasingly growing cybersecurity threats, AdaCore is enlarging the scope of its offering to help you meet these challenges. In addition to its longstanding commitment to formal proof and static analysis, AdaCore is now upgrading its product security procedures and preparing a dynamic analysis solution. This presentation will give an insight into our roadmap in both areas, and showcase the upcoming fuzzing technology.
Software safety certification standards assure that critical software is safe, secure, and reliable across the most demanding industries, including avionics, rail, space, industrial automation and automotive. However, meeting certification requirements can be challenging and costly. This presentation will demonstrate how AdaCore tools and technologies, from both a feature functionality and safety assurance perspective, can provide a cost-effective approach to meeting today’s most demanding certification requirements.
This session will introduce the QGen Auto Code Generator for Simulink(r)/Stateflow(r) and explain the advantages provided by a TQL-1 Qualification, in terms of reduced time and effort to certify a Simulink-based application. The talk will identify the DO-178C and DO-331 objectives that are covered by the QGen code generator, meaning that your team can avoid many of the most labor-intensive steps involved in achieving certification, even at the highest level of criticality. The talk is aimed at both engineers and managers for such critical systems development activities, and will cover the features of the QGen code generator, as well as other tools with which it is integrated, including a model-level debugger and testing tools for Simulink-based applications running in embedded targets.
A challenge that every code base will phase over time are code smells. AdaCore provides tooling to find smells in code, like GNATcheck and CodePeer. Newly applied to a code base the number of findings of this tools can be big. Bigger than one can solve with limited resources. We will present an approach based on LibAdaLang to fix code smells automatically saving you many hours of rewriting code manually. This approach is pattern based and can thus be applied to generic transformations of a code base.
All presentations will be recorded and available on-demand at the conclusion of the event.