07 December 2011

Cyrille Comar, AdaCore Europe

Cyrille Comar, co founder and managing director of AdaCore Europe, speaks to New Electronics.

AdaCore evangelises an open source philosophy – how has the industry's perception of open source software changed in recent years and what benefits does it offer?
At AdaCore, FLOSS (Freely Licensed Open Source Software) has been our bread and butter for the last 20 years even though we don't consider ourselves as open source evangelists. Our core business is to invent, develop and maintain long-term, tools and technologies that help our customers build and validate high-assurance software and systems.
In doing this, we quickly realised our customers need a rich environment whenever they require a very high-level of confidence in the code they develop. We have found it more efficient business-wise, to participate to different open-source communities in order to build our commercial solution based on open-source building blocs. We also think that more industries could benefit from this type of sharing and co-operation. Many companies rely heavily on home-grown pieces of software (e.g. a real-time executive) that are very expensive to maintain and don't bring noticeable value to the final product. In order to decrease such internal costs, there are two avenues: use commercial-off-the-shelf software or share the development and maintenance of the less valuable, non-critical software in an open source community.

What makes Adacore's software programming environments suitable for a wide range of markets?
Ada is a general programming language with capabilities similar to C++ or Java. Its main difference is that it has been designed to support long lived, very large pieces of potentially critical software. As such, it emphasises code readability, strong typing, ease of maintenance and thus is of general interest for all markets where long-term reliability is more important than time-to-market.
AdaCore programming environments and tools are designed for the needs of such markets: Aeronautics, Space, Military, Railway, Automotive, Industrial automation, Medical devices, etc. It is also used in other areas when long-term maintenance or safety are of particular interest.

You've campaigned for better safety standards for embedded software systems across the aviation industry, where else is there a need for better safety legislation?
We have indeed been involved in the recent work leading to the new version of the civil avionics software standard: DO-178C. The main novelty of this standard is the capability to better take into account some of the major evolutions of Software Engineering that were not dealt with sufficiently in the previous version of the standard such as Object-Oriented Programming, Modelling or Formal Verification. Other industrial areas have different standards that are usually more recent than DO-178B and each standard has its own path to upgrade. Most probably, they will follow the DO-178C lead in due time.
More important than the standard itself, are the means of verifying its proper and complete usage. Some industries, such as the automotive one, still think they can enforce the use of their standard without independent assessment controlled by inter-government authorities. For sure such independent assessment has a cost that the automotive industry would like to avoid but is it a good thing for the safety of our principal mean of transportation? Imposing more stringent safety and security requirements will become a public safety issue sooner or later but isn't it also an opportunity for our own software industry to show its competitiveness in developing ultra-safe and secure software compared to emerging countries?

You've been involved with Ada for well over a decade – how has the language changed since then?
The Ada language is going through its 3rd major revision: Ada 95, Ada 2005 and now Ada 2012. Those evolutions have come from the feedback of the Ada community. What is particularly interesting in the evolution of the languageis that it has minimised upward compatibility issues as much as possible and thus it is relatively easy for Ada projects to adopt a newer version of the language and have access to newer paradigms without having to throw away or rewrite already written components.

What's next? What will Ada 2012 look like and what enhancements will it bring to software developers?
The latest revision brings many new features that help with modern verification techniques such as programming by contract through pre and post conditions. It also generalises the notion of constrained subtypes since it is now possible for the user to specify themself the constraints in a general way.
The new language is now even more suitable for static analysis and formal proofs. Based on this new revision of the language, the AdaCore research lab is working on an open project whose goal is to make formal programme verification easy enough that it can help reduce the costs associated with testing (Hi-Lite project).

Author
Chris Shaw

Supporting Information

Websites
http://www.adacore.com/home/

Companies
AdaCore

This material is protected by Findlay Media copyright
See Terms and Conditions.
One-off usage is permitted but bulk copying is not.
For multiple copies contact the sales team.

Do you have any comments about this article?


Add your comments

Name
 
Email
 
Comments
 

Your comments/feedback may be edited prior to publishing. Not all entries will be published.
Please view our Terms and Conditions before leaving a comment.

Related Articles

Green light for FinFET flow

EDA software vendor Synopsys has announced that its Galaxy design flow has been ...

Four IDEs for Kinetis support

Freescale has named four tools as featured integrated development environments ...

ARM Compilers based on LLVM

ARM's future compilers will be built on the LLVM open source framework, the ...

Software tools: Cost vs. value

Depending upon who you talk to and the scale of the design, software ...

ECAD and MCAD crossover

At an industry event late in 2013, the speaker asked all mechanical engineers ...

Safe start to software test

Embedded software testing is a discipline that is both easier and more ...

KeyStone software

This whitepaper explores how Texas Instruments' KeyStone multicore SoCs offload ...

Using Linux in medical devices

This whitepaper explores the issues that software developers and medical device ...

High speed board design

Istvan Nagy, electronics design engineer at Blue Chip Technology, a leading UK ...

Embedded software solution

Digia announced a major upgrade to its Qt Enterprise Embedded solution at ...

C-RUN analysis tool

IAR Systems used Embedded World to launch C-RUN - its fully integrated runtime ...

OpenCL development kit

Altera has announced a new software development kit for OpenCL, a move which ...

Device Developers' Conference

20th May 2014, Holiday Inn, Bristol

Device Developers' Conference

22nd May 2014, Menzies Hotel, Cambridge

Device Developers' Conference

3rd June 2014, Cheadle House, Manchester

LightCrafter software upgrade

This video explains the steps needed to perform an upgrade of the LightCrafter ...

Altium design secret 19

Output Job Files enable repeatable, pre-configured generation of fabrication, ...

WEBENCH Filter Designer

Bonnie demonstrates how to design, optimise and simulate active filter ...

The Heartbleed glitch

Last week we were awakened to the news of a new software 'glitch' called ...

Embedded engineering needs

Software is a fundamental part of developing today's electronic devices. It's ...

The eco cloudy system thing...

One of the bothersome aspects of coming to grips with new, popular shifts in ...

Andreas Pabinger, Wind River

Three years ago, Wind River Systems – developer of the VxWorks real time ...

Martin Harris, Altium

Chris Shaw asks Martin Harris about the latest developments at Altium

Herbert Truppe interview

Herbert Truppe, director, Product Management & Application, ...