Embedded software certification under a software engineering methodological perspective,