Kismet Kernel
From DDCIDeos
Jump to navigationJump to search
PCRs
- All PCRs
- Must Do Req/Code PCRs
- Nice To have Req/Code PCRs
- Req/Code PCRs assigned to:
Useful Links
Issues/Roadblocks
None
Activities
| Create and Initial Population of Certification Archive | RLR | Done |
| Requirements Development | AM/RLR | In Work |
| Standards Change Analysis | RLR | Done |
| Architecture Change Impact Analysis | RLR | In Work |
| Initialize Status Files | TBD | Not Started |
| Requirements review | TBD | Not Started |
| Code Development, i.e. trace tag insertion and additional test points as determined via test development. | AM/RLR | In Work |
| Code review | TBD | Not Started |
| Test Case Development | TBD | Not Started |
| Test Procedure Development | TBD | Not Started |
| Test Reviews | TBD | Not Started |
| Software life cycle audits | SQA | Not Started |
| Processor Compatibility Analysis | TBD | Not Started |
| Before the following can be done the above activities must be complete | ||
|---|---|---|
| Dynamic Dispatch aka V-Table Analysis (note: no review needed) | TBD | Not Started |
| Compiler Assessment | TBD | Not Started |
| Portal Analysis | TBD | Not Started |
| Portal Analysis Review | TBD | Not Started |
| Traceaid Qualification | TBD | Not Started |
| ABC SCAT Qual | TBD | Not Started |
| Initial Integration Checklist | TBD | Not Started |
| Before the following can be done the Requirements Coverage analysis' traceability needs to be confirmed and SCAT Qual need to be completed | ||
| Formal build (including Conformity inspection) | TBD | Not Started |
| Complete Integration Checklist | TBD | Not Started |
| Before the following can be done the Formal build needs to be completed. Each executable object code analysis has an analysis and review task. | ||
| Executable Object Code Analysis | ||
| - verify following task list matches kernel howto | TBD | Not Started |
| - linker invariants Analysis | TBD | Not Started |
| - Memory Barrier Analyses | TBD | Not Started |
| - ARM ldrex instruction Analysis | TBD | Not Started |
| Executable Object Code Analysis Review | TBD | Not Started |
| B-Tree analysis | TBD | Not Started |
| B-Tree analysis review | TBD | Not Started |
| Requirements Coverage Analysis | TBD | Not Started |
| MFS relocatable analysis | TBD | Not Started |
| Before the following can be completed all of the above analysis need to be completed. The RFS was completed with the expectation the analysis above will be successful. | ||
| Run For Score | TBD | Not Started |
| Test Results Review | TBD | Not Started |
| Before the following can be done the Run For Score needs to be completed | ||
| Structural coverage analysis | TBD | Not Started |
| Stack analysis | TBD | Not Started |
| Stack analysis review | TBD | Not Started |
| Confirm/update SCORE adarts SAS/stack usage analysis once the final kernel binaries have been built | TBD | Not Started |
| Verification audit | SQA | Not Started |
| Before the following can be completed all of the above tasks need to be completed | ||
| Processor Errata analysis | TBD | Not Started |
| Populate the cert archive | TBD | Not Started |
| Report Documents | ||
| - SLCECI | TBD | Not Started |
| - SLCECI review | TBD | Not Started |
| - SCI | TBD | Not Started |
| - SCI review | TBD | Not Started |
| Open Problem Reports List (after the final CCB) | TBD | Not Started |
| - SAS | TBD | Not Started |
| - SAS review | TBD | Not Started |
| - Publish Backend Docs: (update analysisStatus.txt) | TBD | Not Started |
| Software conformity audit | SQA | Not Started |
| Final Steps upon Verf Complete | TBD | Not Started |
