• Via E. D'Onofrio, 304 - 00155 Rome ITALY
  • +39 06 94 53 63 87

defendIT

defendIT is NEAT’s fully automated solution which allows the user to add, into a Misra-C source code, the defensive programming instructions compliant with the GeminiX-OS programming paradigm. defendIT is a suitable development tool for the coding of the SW following IEC 61508 and EN 50128 standards. defendIT main features are:

  • Automatic insertion of defensive programming instructions required by GeminiX-OS programming paradigm: Assertive code; Secure access to the static variables; Token passing
  • Transformation of ANSI-C code file into a Misra-C code file compliant with GeminiX-OS programming paradigm
  • Transformation of MathWorks Simulink© generated C source file into a Misra-C code file compliant with GeminiX-OS programming paradigm
  • Transformation of .h headers file
  • Target architecture independent
  • Transform a C file of 15000 lines in less than 1 second on an Intel Core Duo @ 2.37 GHz with 2GB RAM
  • Gcc style input option