Manage complexity and maintain code quality of projects based on Ada language

The Ada language is often used in large applications that require decades of development and maintenance by generations of developers. In order to manage this complexity and maintain code quality, various solutions are available as part of the AdaCore toolset. These include static analysis, testing, or structural code coverage technologies. The Squoring environment collates the results of these tools providing a comprehensive data overview. The information is presented in the form of high level key performance indicators. The SQUORE platform manages the evolution of these indicators over time, creating a list of corrective actions to ensure that code quality is maintained. This webinar will present how customers are using these two technologies to ensure the long-term success of their projects.

Speakers

  • Quentin Ochem, AdaCore. Quentin has a software engineering background, with a special focus on development and verification tools for safety- and mission-critical systems. He has over 10 years of experience in the Ada programming language. He has conducted customer training on topics including the Ada language, AdaCore tools, and the DO-178B and DO-178C software certification standards. He is currently leading the technical account management and business development activities at AdaCore, in connection with projects from the avionics, railroad, space, and defense industries, both in Europe and North America.
     
  • Flavien Huynh, Squoring Technologies. Flavien has been developing and contributing to technical projects for almost 20 years, from Expert Systems and computer-aided configuration systems, to semantic aggregation and Business Intelligence. This wide variety of operational contexts has led him to acquire a knowledge which is key to his current position at Squoring Technologies, where he first introduced the concept and architecture of the SQUORE platform. Today, he is dedicated to promoting the usage of SQUORE, and extending its scope to fields addressed by mature industries such as aerospace, automotive or embedded systems.


 


Related


Embedded Software for Safety Critical Applications

Production code generation with Model-Based Design has replaced document-based development and manual coding in various domains in automotive, industrial automation, aerospace and medical. Safety-rela...

Coding safe and secure applications

The debate about safety and security concerns in high integrity software applications is a hot topic of discussion in modern software management. The need to address these concerns is present in e...

Best practices for static analysis tools

This paper reviews a number of the growing complexities that embedded software development teams are facing, including the proliferation of third-party code, increased pressures to develop secure ...


Embedded Systems Safety & Security Survey

Andrew Girson, CEO of Barr Group, shares key findings of their 2017 Embedded Systems Safety & Security Survey. With responses from more than 1,700 qualified engineers worldwide, the independen...

What you say is what you get: an Ada story

Over the past 30+ years, Ada technology has matured into a unique toolset allowing programmers to achieve software reliability at a very affordable cost. It’s available for small microcontro...

Addressing IoT impact on software engineering

Manufacturers need to carefully evaluate the cyber threats and the level of exposure of IoT devices. New levels of software integrity can only be achieved if teams can eliminate both accidental co...

Making things come alive in a secure way

Considering the security of one single business application is not enough anymore. With the IoT, multiple applications across multiple industries can share and exchange data across different types...