Blog

All blogs

It’s difficult to recruit programmers for Ada projects: myth or reality? (Part 3)

The final blog in our three-part series on recruiting programmers to use Ada features software developer Will Lunniss.

2013-08-20

Keeping Code Readable with Ada Generics

In my last blog post on Ada renames I re-iterated the commonly accepted guideline within the Ada community that langu

2013-08-13

It’s difficult to recruit programmers for Ada projects: myth or reality? (Part 2)

The second of the special three-part series on recruiting programmers to use Ada focuses on new Rapita recruit Chris…

2013-08-08

Simple P4080 Benchmarking Reveals Arbitration Bias

We did some analysis on a Freescale P4080 multicore device with cache disabled (a previous blog post explains some of…

2013-07-23

Decision Coverage Loves Ada Enumerations

A key feature of Ada is its strong typing, and one area that is a lot stronger than in many other imperative language

2013-07-12

What really happened to the software on the Mars Pathfinder spacecraft?

It’s the 4th of July. Exactly sixteen years ago today the Mars Pathfinder landed to a media fanfare and began to…

2013-07-04

It’s difficult to recruit programmers for Ada projects: myth or reality? (Part 1)

“We can’t use Ada on our project because recruiting Software Engineers who know how to use it or can learn it is very…

2013-06-25

Autonomous cars at Ada-Europe 2013

Ian Broster reveals his highlight of the week from Ada-Europe 2013 – and it’s not what you might expect.

2013-06-13

simpler_Ada_using renames for.complex.names

The renames facility is just one of a long list of reasons why we are big Ada fans. Here I explain how the renames…

2013-05-28

PowerPC and TriCore timing variability: which is the more predictable?

We recently tested a system with two different processors, a PowerPC and a TriCore. For anyone concerned with…

2013-05-21

Rapita Systems blog recap: MC/DC, RVS 3.1 and more

Have you missed some Rapita blog posts over the past few months? This quick recap of recent posts will fill any gaps in…

2013-05-09

Safe, portable, non-blocking interprocess communication (part 2)

Some time ago, I wrote about

2013-04-30

Multicore verification

Services

Other

Webinars

Brochures

Product briefs

Technical notes

Research projects

RapiTimes

Popular tags

Industry leading verification tools & services

Multicore verification

Services

Industries

Other

Latest from Rapita HQ

Technical resources for industry professionals

Discover Rapita

Who we are

Working at Rapita

Careers

Blog

RapiTimes

Popular tags