Conference announcements

Abstract

Real time software applications may be incorrect due to three main reasons:

• Run-time errors (latent faults in the code);
• Non respect of the temporal requirements;
• Non respect of the functional requirements.

Our talk will focus on the first solution to automatically detect run-time errors at compilation time (arithmetic overflows, arithmetic exceptions (division by zero, square root of a negative number), out-of-bounds array access, access conflicts to shared data, read access to a non-initialized variable, illegal dereferenced pointer).

In real time software applications, the following strategies are used to deal with run-time errors:

• fault-tolerant systems;
• fault detection, based on intensive testing and code review.

Unfortunately, due to the increase of software size and complexity, the cost of testing and code review dramatically increases. PolySpace Technologies has developed the first solution based on abstract interpretation techniques for an earliest and automatic detection of run-time errors in Ada and C applications.

We will report results obtained in the embedded systems industry and more specifically by our customers involved in the development of safety and mission critical Ada software: aerospace, railway transport and defense.

Speaker

Marc Lalo has been a consultant at PolySpace Technologies since July 2000. He received a MEng in Computer Science degree from Ecole Normale Superieure des Telecommunications, Paris, France. Before joining PolySpace he has worked at Verilog as a consultant and as a software development engineer.

More information

PolySpace Technologies: http://www.polyspace.com/

Also available: a poster to announce this event.

To the Ada-Belgium home page. To the 2003 Ada-Belgium General Assembly Home Page.

Last update: 2003/02/05.