Ken Briodagh, Editor-in-Chief at Embedded Computing Design, interviews Jose Ruiz from AdaCore at Embedded World.