Blog

Highlights from Ada Europe 2016

Wednesday, July 6, 2016 - 15:00
I write this on the plane home from the Ada Europe 2016 conference in sunny Pisa, Italy. It's been a good week. Here are a few highlights. Ada Firstly, it was good to see the key industrial sponsors like AdaCore pushing and supporting the Ada language itself. PCT, Ansys and others seem to have stepped up their Ada support too. 
Read More

Supporting Duff's Device in RVS

Friday, June 10, 2016 - 11:30
Nested “case” labels are an obscure feature of C, and not often seen. However, examples do exist, typically hidden deep in standard library functions and our customers come across them from time to time. Here's a little article about how we recently brought support for them into RVS.
Read More

Ada enumerations are sometimes functions

Monday, April 18, 2016 - 11:30
In Ada, you declare a new enumeration type by providing a list of literals: type Position is ( Left, Middle, Right );Ada also lets you use character literals in an enumeration: type Calc_Op is ( '*', '/', '+', '-' );or even: type DNACode is ( 'A', 'C', 'G', 'T', Unknown );Once you have an enumeration type, you can use these literals just as you would other literals:
Read More

What happened first? Handling timer wraparound

Friday, January 8, 2016 - 13:00
Suppose you had to determine which of two timestamps occurred first. Clearly the “obvious“ approach is to use a simple numerical comparison, for example:
Read More

Top 5 blog posts for 2015

Thursday, December 31, 2015 - 09:00
#5 - How do I demonstrate the safe use of instrumented source code analysis?In the second of two related blog posts, I describe one method to present a certification argument for the use of instrumentation in source code coverage analysis. In a previous post I explained how the coverage gained from instrumented code can be used to support DO-178B/C Level A compliance for code coverage.
Read More

Pages