, Issue taking into account remarks from Julien Duquenne and changes inspired from the design of the presentation slides. ? 0.2, 11/2011: Issue taking into account remarks from Isabelle Roth. ? 0.3, 11/2011: Issue taking into account remarks from Nicolas Blanpain and Pascal Fortin. ? 1.0, 12/2011: Issue following the 2011 Certification Together International Conference presentation the 1st of December at Toulouse. For the ERTS2 conference, the following topics are added: a summary of Agile and Lean, Design-By-Contract and the core-functionality vs HW and RTOS separation, 2011.