Abstract interpretation checks software errors

A relatively new method, abstract interpretation, is a process for automatically checking dynamic properties of software applications without actually running any test case and without executing it. Triconex—a unit of Invensys that supplies products, systems, and services for safety, critical control, and turbomachinery applications—uses abstract interpretation in its Trident system...

01/01/2004


Sidebars:
3 tips for applying abstract interpretation

A relatively new method, abstract interpretation, is a process for automatically checking dynamic properties of software applications without actually running any test case and without executing it. Triconex—a unit of Invensys that supplies products, systems, and services for safety, critical control, and turbomachinery applications—uses abstract interpretation in its Trident systems, which provide continuous control for safety-critical units in refineries, petrochemical and chemical plants, and other industrial processes. According to the company, the abstract interpretation method has saved $1 million and up to one calendar year in verifying fault-tolerant controller software used in process manufacturing applications that require a high degree of reliability and availability.

Trident controller provides fault tolerance by means of a triple modular redundant architecture that integrates three isolated, parallel control systems and extensive diagnostics. Testing, required before each new product release, is a very challenging task for a system that has approximately 70,000 lines of C code and 140,000 lines of Ada code, and operates in triplicate in hard real time so it can shut down a plant within milliseconds if specified safety boundaries are exceeded. The challenge was detecting runtime errors, such as processor halt, data corruption, timing violations, etc. A complete "white box" test of such a product can easily consume 4 to 5 person-years of effort, spread over 6 to 12 calendar months to satisfy Invensys quality requirements and obtain certification from government agencies.

The abstract interpretation method works on an abstraction of the analyzed software built from its dynamic properties. Triconex used PolySpace Verifier, from Polyspace Technologies, an abstract interpretation tool that evaluates the code just one time from its dynamic properties, greatly reducing the computational load. The obvious advantage of the new approach to software verification is that it can automatically check 100% of runtime errors in a fraction of the time that would be required to test the code using traditional verification methods.

Gershon Shamay, software development manager for Invensys, says, "The most important improvement [offered by abstract interpretation] is that we are now certain we have examined every line of code under every possible input condition. The certification agencies agree with this assessment. They have encouraged us in the past to move to full visibility verification methods and certified our newest product in record time based on abstract interpretation."

Polyspace Technologies www.polyspace.com

Triconex www.triconex.com



3 tips for applying abstract interpretation

Apply abstract interpretation to software to:

Protect against runtime errors.

Reduce artificial intelligence execution time, with related adjustment and tuning.

Identify and diagnose problems, including the location of the line of code where the error originated.



No comments
The Engineers' Choice Awards highlight some of the best new control, instrumentation and automation products as chosen by...
The System Integrator Giants program lists the top 100 system integrators among companies listed in CFE Media's Global System Integrator Database.
Each year, a panel of Control Engineering and Plant Engineering editors and industry expert judges select the System Integrator of the Year Award winners in three categories.
This eGuide illustrates solutions, applications and benefits of machine vision systems.
Learn how to increase device reliability in harsh environments and decrease unplanned system downtime.
This eGuide contains a series of articles and videos that considers theoretical and practical; immediate needs and a look into the future.
Additive manufacturing benefits; HMI and sensor tips; System integrator advice; Innovations from the industry
Robotic safety, collaboration, standards; DCS migration tips; IT/OT convergence; 2017 Control Engineering Salary and Career Survey
Integrated mobility; Artificial intelligence; Predictive motion control; Sensors and control system inputs; Asset Management; Cybersecurity
Featured articles highlight technologies that enable the Industrial Internet of Things, IIoT-related products and strategies to get data more easily to the user.
This article collection contains several articles on how automation and controls are helping human-machine interface (HMI) hardware and software advance.
This digital report will explore several aspects of how IIoT will transform manufacturing in the coming years.

Find and connect with the most suitable service provider for your unique application. Start searching the Global System Integrator Database Now!

Infrastructure for natural gas expansion; Artificial lift methods; Disruptive technology and fugitive gas emissions
Mobility as the means to offshore innovation; Preventing another Deepwater Horizon; ROVs as subsea robots; SCADA and the radio spectrum
Future of oil and gas projects; Reservoir models; The importance of SCADA to oil and gas
Automation Engineer; Wood Group
System Integrator; Cross Integrated Systems Group
Jose S. Vasquez, Jr.
Fire & Life Safety Engineer; Technip USA Inc.
This course focuses on climate analysis, appropriateness of cooling system selection, and combining cooling systems.
This course will help identify and reveal electrical hazards and identify the solutions to implementing and maintaining a safe work environment.
This course explains how maintaining power and communication systems through emergency power-generation systems is critical.
click me