Global InformationMALPAS Software Static Analysis Toolset information
| Developer(s) | Atkins |
|---|---|
| Operating system | Windows |
| Type | Static program analysis |
| License | Proprietary |
| Website | www |
MALPAS is a software toolset that provides a means of investigating and proving the correctness of software by applying a rigorous form of static program analysis. The tool uses directed graphs and regular algebra to represent the program under analysis. Using the automated tools in MALPAS an analyst can describe the structure of a program, classify the use made of data and provide the information relationships between input and output data. It also supports a formal proof that the code meets its specification.
MALPAS has been used to confirm the correctness of safety critical applications in the nuclear,[1] aerospace[2] and defence[3] industries. It has also been used to provide compiler correctness in the nuclear industry on Sizewell B.[4] Languages that have been analysed include: Ada, C, PLM and Intel Assembler.
MALPAS is well suited to the independent static analysis required by the UK's Health and Safety Executive guidance for computer based protection systems for nuclear reactors due to its rigour and flexibility in handling many programming languages.[5]
- ^ Programmable Protection in UK NPP: 10 years on, D Pavey, British Energy. http://entrac.iaea.org/I-and-C/TM_VTT_2005_11/IAEA_papers/051124_Thursday/IAEA_paper_Pavey.pdf
- ^ "Static Code Analysis on the C-130J Hercules Safety-Critical Software, Eur Ing K J Harrison, BSc CPhys MinstP CEng MRAeS MBCS; Aerosystems International, UK" (PDF). Archived from the original (PDF) on 2011-09-27. Retrieved 2011-03-18.
- ^ An analysis of ordnance software using the MALPAS tools, Hayman, K, Defence Sci. & Technol. Organ., Salisbury, SA. http://www.dsto.defence.gov.au/publications/scientific_record.php?record=9074
- ^ Formal demonstration of equivalence of source code and PROM contents, Proceedings of the IMA Conference on Mathematics of Dependable Systems, Oxford University Press, 1995, pp225248D J Pavey and L A Winsborrow
- ^ "Computer based safety systems - technical guidance for assessing software aspects of digital computer based protection systems". Archived from the original on 2011-07-04.