ci-tec Selects AdaCore’s GNAT Pro Ada Development Environment for Industrial Process Management & Control Application

AdaCore software development and verification tools help ci-tec port and upgrade combustion chamber optimization product.

NEW YORK & PARIS & SINDELFINGEN, Germany, December 3, 2018 – ESE Kongress – AdaCore, a trusted provider of software development and verification tools with headquarters in New York and Paris, today announced that ci-tecin Germany has chosen AdaCore’s GNAT Pro Developer Ada environment to port, adapt and maintain its inspect pro control product. Inspect pro controlis a real-time system that records and analyzes diverse sensor data, for example from infrared cameras, and integrates the results for process control. The product is used in a range of industrial contexts including waste incineration (for both hazardous and non-hazardous waste), cement production and zinc recycling.

Since a coding error or vulnerability could have serious environmental consequences, ci-tec selected the Ada programming language – well known for its extensive software engineering support – for the critical parts of the inspect pro control software. Ada’s strong support for safety and security helps prevent errors such as buffer overflow, and its standard facility for interfacing with other languages makes it easy to combine Ada components with modules written in C and C++. The inspect pro controlsoftware comprises around 1.5 million LOC (lines of code), of which more than 25 percent – over 400 thousand LOC -- are written in Ada.

The original Ada components were developed with a toolset from a different Ada vendor, but in planning for a system upgrade ci-tec selected AdaCore’s GNAT Pro Developer product to port the Ada software. GNAT Pro’s modern build tools and Integrated Development Environment, as well as AdaCore’s expert support services and long-term commitment to the Ada language, factored heavily in ci-tec’s decision. As the upgrade is progressing, ci-tec engineers are using tools such as the GNATdoc documentation generator (to review the code structure) and the GtkAda graphical toolkit (to implement the user interface). Inspect pro controlruns on a Windows Server platform; possible ports to Linux variants are under consideration.

“Ada is an excellent choice for industrial process software, and we are pleased that ci-tec’s inspect pro controlproduct is taking advantage of the language’s many benefits,” said Jamie Ayre, Commercial Director at AdaCore. “GNAT Pro Developer is an ideal toolsuite for porting and upgrading a system from existing technologies and language versions, and ci-tec can rest assured that AdaCore is committed to the continued success and evolution of both the Ada language and the GNAT Pro technology.’

“Our customers demand the availability and reliability of our systems around the clock,” said Dr. André Dittrich, Head of Industry at ci-tec. “In order to meet these high demands, ci-tec has been relying on the Ada programming language right from the start back in 2000 and the first version of the inspect pro control software. With AdaCore and their GNAT pro Developer toolsuite, we are now perfectly equipped for targeting different modern platforms and ensuring the future-proofness of our software.”

About ci-tec 
At ci-tec we see ourselves as a partner of both research and industry. In this way, we can develop sustainable and innovative solutions to translate latest scientific findings into industrial applications. Responsible acting to us means ensuring the functionalities of our solutions needed for reducing the consumption of resources and increasing efficiency.

Collaborations result in long-term relationships to our industrial customers worldwide, who have made their plants environmentally more friendly, more resource-saving and efficient, and more profitable with our solutions.

About inspect pro control
Inspect pro control captures and analyzes image data obtained by using powerful infrared cameras in cement rotary kilns. From the preprocessed image data, the system calculates the characteristic parameters of the combustion behavior, which are processed for control engineering optimization. The new parameters such as controlled variables, etc. are transmitted by inspect pro control directly to the burner or the process control system and visualized and archived at the same time.

About AdaCore
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial avionics, automotive, railway, space, military systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base;visit further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris.

Press Contacts

Jessie Glockner
AdaCore Public Relations Representative

Emma Adby
AdaCore Marketing Operations Manager
+33 1 49 70 87 82