IL has many of the characteristics of structured programming languages in common use, and is easily learnt by any moderately experienced software engineer.
MMAALLPPAASS analyses each procedure individually. This allows the analysis process to be broken down into separate procedures, just as programs are. The analysis is amenable to team working, since the analysis of procedures can be performed in parallel. Although there is no predefined order in which analysis must be done, it is often convenient to proceed bottom-up, such that the analysis starts with those procedures that call no others, and continues with those procedures that only call analysed procedures. Using this approach, a complete picture of the behaviour of a program can be built up.
Defines standard
Replaced/Superseded by document(s)
Cancelled by
Amended by
| File | MIME type | Size (KB) | Language | Download | |
|---|---|---|---|---|---|
| MALPAS example analysis.pdf | application/pdf | 162.6 KB | English | DOWNLOAD! |
Provides definitions
Cover images
Introduction
The following example is more instructive than a theoretical description of each of the analysis techniques. The example is a short program that implements a simplified reactor global trip function.