MALPAS IS ONE OF THE WORLD’S MOST RIGOROUS AND ADVANCED SOFTWARE ANALYSIS AND VERIFICATION TOOLSETS.
- 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.
With MALPAS you can undertake exhaustive, flexible and cost-effective analysis of your software in any programming language>View
MALPAS uses a unique and universal analytical process with analysers for control flow, data use, information flow, semantics and compliance.>View