TrickyFish-BSP
From DDCIDeos
Jump to navigationJump to search
TrickyFish-BSP (includes deosboot and uboot) verification for TrickyFish Program.
A DAL D project.
This page tracks development and verification activities and progress.
Charge Code
Verification being tracked under Tricky Fish in Project Manager.
Useful Links
TODO - Update Links
- Query of all outstanding PCRs
- Query of all Rqts/Code PCRs (PCRs with requirements/code work assigned).
- Query of open Test PCRs (PCRs with test work assigned).
- https://docs.google.com/spreadsheets/d/1VEoc-S7mWhtGUDjwVxfn354MtiEScqWdNOYWTtoS3j0/edit?usp=sharing
- Mainline Review Status
Scope
Initial verification of TrickyFish-BSP for Program_TrickyFish
Activities
TODO
- Verify the list of tasks are correct (e.g. analyses).
- Verify assignments.
| Create and Initial Population of Certification Archive (If already created, just perform populate step.) | JEC | Done |
| Requirements Development | ALR | Done |
| Architecture Change Impact Analysis | emora | Done |
| Standards Change Analysis | emora | Done |
| Initialize Status Files | sleon | Done |
| Requirements review - Independence required (DDCI PSAC App D, but not DO-178c). | emora, sleon, ifernandez | Done |
| Code Development - No trace tags in code required. | emora, sleon | Done |
| Check/correct EOL on desk installed components to LF & verify other config files are not native. | sleon | Done |
| Test Case Development | ifernandez, sleon, lcarrillo | Done |
| Test Procedure Development | ifernandez, sleon, lcarrillo | Done |
| Software life cycle audits | JEC | Done |
| Before the following can be done the above activities must be complete | ||
|---|---|---|
| Integration Review drafted | ifernandez | Done |
| Before the following can be done, Traceaid needs to be qualified and the Requirements Coverage analysis' traceability needs to be confirmed. | ||
| Formal build (including Conformity inspection) | ifernandez/JEC | Done |
| Before the following can be done the Formal build needs to be completed. Each executable object code analysis has an analysis. | ||
| Executable Object Code Analysis (Testing vs Release variant equivalence) | ifernandez | Done |
| Stack Usage Analysis | sleon | Done |
| Requirements Coverage Analysis | ifernandez | Done |
| Before the following can be completed all of the above analyses need to be completed. The RFS was completed with the expectation the analysis above will be successful. | ||
| Run For Score | ifernandez/JEC | Done |
| Test Results Review | ifernandez | Done |
| Before the following can be completed all of the above tasks need to be completed | ||
| Verification audit | JEC | Done |
| Before the following can be completed all of the above tasks need to be completed | ||
| Populate the cert archive | ifernandez | Done |
| Report Documents | ||
| - SLCECI | sleon | Done |
| - SCI | sleon | Done |
| Open Problem Reports List (after the final CCB) | sleon | Done |
| - SAS | sleon | Done |
| - Publish Backend Docs: (update analysisStatus.txt) | KKL | Done |
| Software conformity audit | JEC | Done |
| Final Steps upon Verf Complete | KKL | Done |
