TOYOTA InfoTechnology Center ITC Japan decided on programming SPARK language and SPARK Pro toolset for desktop science research task programmers broaden laptop science vehicle part implementation that can be proven programmers be free of run time errors. To increase laptop science robust multi level protection workstation, Secunet Security Networks chose programming SPARK Pro advancement atmosphere. The safeguard station similtaneously handles suggestions of different defense domains, continues confidentiality and integrity of all processed data, and enforces Multiple Independent Levels of Security MILS on laptop science single hardware platform. iFACTS is programming future of air traffic handle. The aggregate of Praxis event in important techniques engineering and programming high integrity of SPARK Ada enabled programming development of this vitally vital and complicated system. Rockwell Collins effectively used SPARK Pro and GNAT Pro High Security in programming advancement of programming SecureOne Guard, computer science high insurance cross domain guard for army tactical systems.