Using tools for software verification and testing activities

C (programming language)

ADA (programming language)

Automatic Test tools:

Cantata (IPL)

Unit test and Coverage

IBM Rational Test RealTime

Automatic Test tools:

ADA TEST (INTERTECHNIQUE)

Unit Test and Coverage

Processor

Compiler, Simulator

Processor

Compiler, Simulator

Motorola 68000 Microtec Motorola 68332 GNAT V.3.10
Motorola 68332 Cosmic
Green Hills
Microtec
   
Motorola 68HC11 Cosmic    
Motorola (Freescale) 68HCS12 Cosmic    
Freescale PPC555
Freescale MPC5566
Freescale MPC8349
Freescale MPC8610
WINDRIVER,
TRACE32
   
TMSC3X/4X Code Composer
Texas Instruments
   
Freescale MPC5777 PowerPC GCC
TRACE32
   
Milandr 1986VE1T
Milandr 1986VE9x
Keil MDK-ARM v.5