Blog

Using Timed Finite Automata to define the timing behaviour of a system

2013-09-25

Things that make real-time hard: DRAM refresh

2013-09-18

How to use the System Clock to extract timing data from a TriCore timer

2013-09-11

Things that make real-time hard - parallelization

2013-09-04

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

2013-08-20

Keeping Code Readable with Ada Generics

2013-08-13

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

2013-08-08

Simple P4080 Benchmarking Reveals Arbitration Bias

2013-07-23

Decision Coverage Loves Ada Enumerations

2013-07-12

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

2013-07-04

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

2013-06-25

Autonomous cars at Ada-Europe 2013

2013-06-13