• Malpas_960x300
    MALPAS can provide formal proof of the absence of malware.
  • Malpas_960x3004
    MALPAS can improve the integrity of your safety critical systems.
  • Malpas_960x3005
    MALPAS enables you to check that your software programs are correct for all possible input values and paths.
  • Malpas_960x3008
    MALPAS can be applied to all sequential programming languages including C, Ada and various Assembler languages.

MALPAS IS ONE OF THE WORLD’S MOST RIGOROUS AND ADVANCED SOFTWARE ANALYSIS AND VERIFICATION TOOLSETS.

Key Benefits

  • Improve the integrity of your systems
  • Demonstrate to regulatory bodies and customers that your programs are free of errors
  • Support software safety cases that require strong analytical evidence at a high integrity level
  • Create critical software more cost-effectively (i.e. delivered on time and within budget)
  • Formal proof of malware absence.

Use of MALPAS

MALPAS has been applied to safety critical software programs in a range of industries. These include:

  • The Temelin Nuclear Power Station - Primary & Diverse Reactor Protection Systems
  • The Sizewell B Nuclear Power Station - Primary Protection System
  • Lockheed Martin C130J (various safety critical LRUs)
  • The BAE Systems Tornado Auto Wing Sweep System
  • The Merlin Helicopter Stores Management System
  • The Astra Hawk Fly-by-Wire Control System
  • The Dungeness B Single Channel Trip System
  • An Airborne Collision Avoidance System
  • The Australian Railway Signalling System
  • A Gas Distribution Network Control System
  • Secure Software for Government and Armed Services Communications.

The MALPAS toolset is available to purchase under an annual support agreement. However for many clients, Atkins performs the MALPAS analysis as an independent V&V service. Click here for details.

Latest News

WHY MALPAS?

With MALPAS you can undertake exhaustive, flexible and cost-effective analysis of your software in any programming language>View

FEATURES

MALPAS uses a unique and universal analytical process with analysers for control flow, data use, information flow, semantics and compliance.

>View

OUR SERVICES

Atkins provides a range of services for MALPAS, including licenses, training and full programme analysis. >View

Download

More detailed information including an example of code verification using MALPAS.

>View