N. Varet, M. Larrieu, T. Conrad, . Erkkinen-;-t, G. Maier-komor et al., Code Generation Verification ? Assessing Numerical Equivalence between Simulink Models and Generated Code " , http://www.mathworks.com/tagteam/63743_SimTest10_CGV.pdf. 3 I.Stürmer, H. Pohlheim Model Quality Assessment in Practice: How to Measure and Assess the Quality of Software Models During the Embedded Software Development Process Sonar, open platform to manage code quality, New Methodology To Develop Certified Safe And Secure Aeronautical Software Digital Avionics Systems Conference Proceedings of IEEE ERTS 2012www.sonarsource.org/. 6 McCabeIQ software official website Mathworks Polyspace: static analyser for software IBM Rational Software Modeler (RSM), 2002.

H. Zuse, A framework of software measurement 10 M. Squared Technologies LLC Metrics Definitions " , http://msquaredtechnologies.com/m2rsm/docs/rsm_metrics.htm, 2012. 11 Linux community Linux Kernel Coding Style Valgrind, a GPL licensed programming tool for memory debugging, memory leak detection, and profiling Elements of software science, 1977.

T. J. Mccabe, A. H. Watson, R. Fechete, G. Kienesberger, . G. Ellson et al., Introduction to Motor Industry Software Reliability Association for C language Flow World ? Controlling the flow since 2005 ? cfg2dot GraphViz, a Graph Visualization Software 18 T. Kerren, I. Jusufi Novel Visual Representations for Software Metrics using 3D and animation " , Software Engineering Workshop band Implementation of 3D Kiviat diagrams Visualizing multiple evolution metrics Visualizing Business Data with Generalized Treemaps Visualizing software systems as cities 23 Free Software Foundation, " Welcome to GNU GPLv3 General Public License version 3 Design and Development of an Embedded Aeronautical Router With Security Capabilities GeneAuto: an Automatic Code Generator for a safe subset of Simulink/Stateflow and Scicos, Structured testing: a testing methodology using the cyclomatic complexity metric 4th IEEE International Workshop on Visualizing Software for understanding and analysis, VISSOFT Integrated Communication, Navigation and Surveillance Conference (ICNS-2012) Embedded Real Time Software and Systems (ERTS²) Towards a software quality assessment model based on open-source statical code analyzers 6th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI), pp.92-99, 1998.