Math 1.2 Verf Project
This project will establish a new verified baseline of Deos math unified.
The new baseline will be version 1.2.2. It will be verified for MIPS and PowerPC (but not ARM although this configuration will also be built). DDC-I's primary motivation for the new baseline is to correct PCR:10056.
Note: Honeywell has already performed a witnessed build and PowerPC run-for-score. The PowerPC CRC can be reproduced by DDC-I but unfortunately the MIPS CRC cannot. At the same time, Honeywell's MIPS binary has produced no joy running tests whereas the DDC-I one allows tests to pass. The completion of this project will therefore include a new round of many formal activities starting with a new witnessed build. Care must be taken not to lose information pertinent to Honeywell's activities when carrying out DDC-I's.
Note: Honeywell has already distributed math version 1.2.2 for PowerPC so this project must preserve the PowerPC CRC. Honeywell is therefore working on later life cycle data such as the backend reports. DDC-I and Honeywell must coordinate this work so that the resulting cert archive contents satisfy both parties.
Note: The renaming to 1.2.2-mainline has already occurred in the cert archive.
Math Cert Process Activities
| Description | Assignee | Status | Due | Remarks |
| Requirements development | N/A | Done | N/A | |
| Requirements review | N/A | Done | N/A | |
| Code development | N/A | Done | N/A | |
| Code review | N/A | Done | N/A | |
| Test case development | TBR | Done | N/A | |
| Test case review | JON | Done | N/A | |
| Test procedure development | JON | Done | N/A | |
| Test procedure review | TBR | Done | N/A | |
| Software lifecycle audit | KL | Done | N/A | |
| Requirements coverage analysis, including Traceaid qualification | N/A | Done | N/A | |
| Conformity inspection - SQA build witness | JON/KL | Done | N/A | Repeat |
| ABC qualification | JON | Done | N/A | Repeat |
| Integration review, including compiler assessment | JON/KL | Done | N/A | Repeat |
| Run for score, including SQA witnessing & test results review | JON/KL | Done | N/A | Repeat |
| Structural coverage analysis | JON | Done | N/A | Repeat |
| Executable Object Code analysis | N/A | Done | N/A | 100% coverage |
| Verification audit | KL | Done | N/A | |
| Open problem reports list | JON | Done | 2015-09-30 | |
| Report Document Development (SLCECI) | GCraig/JON | Done | N/A | |
| Report Document Development (SCI) | GCraig/JON | Done | N/A | |
| Report Document Development (SAS) | GCraig/JON | Done | N/A | |
| Report Document Review | nn | Done | N/A | |
| Population of certification archive | JON | Done | N/A | |
| Software conformity audit | KL | Done | N/A | See PCR:10209 |
| Update latest-verified link on FTP server | JON | Done | N/A |
