Celestial-BSP
From DDCIDeos
Jump to navigationJump to search
Celestial Boot verification for Celestial Program. Celestial customer's Boot Component: Reference (3.0.0)-> Production (3.y.z)-> Verf'd DAL E (x.y.z).
A DAL A project.
This page tracks development and verification activities and progress.
Issues/Discussions
Planned Production version release date: TBD
Status: ??
Percent of Effort Remaining: ??
Charge Code
Server verification being tracked under Celestial in Project Manager.
Useful Links
- Query of all outstanding PCRs
- Query of open 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/1QGVgomztC_II6nWeo4J88bBi19OgUg3aSS48ocAZG3U/edit?usp=sharing
- Mainline Review Status
Target Availability/Access
| Joe Schmoe | 6-June | 1 hour |
Scope
Initial verification of Celestial Boot for Program_Celestial
PAL Activities
| Creation and Initial Population of Certification Archive (If already created, just perform populate step.) - Boot and PAL | JEC | Done |
| PAL Requirements Development | Hayden | Done |
| PAL Code Development, i.e. trace tag insertion and additional test points as determined via test development. | Hayden | Done |
| Architecture Change Impact Analysis - Boot and PAL | Steven | Done |
| Standards Change Analysis - Boot and PAL | Steven | Done |
| Initialize Status Files - Boot and PAL | Adina/Ignacio | Done |
| PAL Requirements Review | Adina/Eliecer | Done |
| PAL Code Review | Adina | Done |
| PAL Test Case Development | Avionyx Team | Done |
| PAL Test Procedure Development | Avionyx Team | Done |
| PAL Test Case Reviews | Avionyx Team | Done |
| PAL Test Procedure Reviews Notify SQA when this activity is complete. | Avionyx Team | Done |
| PAL Software Life Cycle Audits | JEC | Done |
| PAL Compiler Assessment - abc-compiler-assessment-for-powerpc-motorola-elf-gcc-7.3.0-3-20220624-2.s matches. | Luis | Done |
| Before the following can be done the Formal Build needs to be completed. Each Executable Object Code Analysis has an analysis and review task. | ||
|---|---|---|
| PAL Executable Object Code Analysis | Eliecer | Done |
| PAL Executable Object Code Analysis Review | Ignacio | Done |
| Stack Usage Analysis | Steven | Done |
| Stack Usage Analysis Review | Ignacio | Done |
| Before the following can be done the Run For Score needs to be completed | ||
| PAL Structural Coverage Analysis | Steven | Done |
Boot Activities
| Boot Requirements Development | Steven | Done |
| Boot Code Development, i.e. trace tag insertion and additional test points as determined via test development. | Eliecer | Done |
| Boot Requirements Review | Avionyx Team - Eliecer | Done |
| Boot Code Review | Avionyx Team - Ryan | Done |
| Boot Test Case Development | Avionyx Team - Ignacio | Done |
| Boot Test Procedure Development | Avionyx Team - Ignacio | Done |
| Boot Test Case Reviews | Avionyx Team - Steven | Done |
| Boot Test Procedure Reviews Notify SQA when this activity is complete. | Avionyx Team - Steven | Done |
| Boot Software Life Cycle Audits | JEC | Done |
| Boot Compiler Assessment - abc-compiler-assessment-for-powerpc-motorola-elf-gcc-7.3.0-3-20230110.s | Luis | Done |
| ABC SCAT Qual(s) - Boot and PAL | Steven | Done |
| Before the following can be done the above activities must be complete | ||
|---|---|---|
| Integration Review - Boot and PAL | Steven/JEC | Done |
| Before the following can be done the Requirements Coverage Analysis' traceability needs to be confirmed and ABC Qual needs to be completed | ||
| Formal Build (including Conformity Inspection) - Boot and PAL | Steven/JEC | Done |
| Before the following can be done the Formal Build needs to be completed. Each Executable Object Code Analysis has an analysis and review task. | ||
| Boot Executable Object Code Analysis (requirements *_ANALYSIS_* and Testing vs Release variant equivalence) | Steven | Done |
| Boot Executable Object Code Analysis Review | Eliecer | Done |
| Dynamic Dispatch Analysis - Boot and PAL | Steven | Done |
| Requirements Coverage Analysis (Including Traceaid qualification) - Boot and PAL | Steven | Done |
| Limitations Analysis - Boot and PAL | Ignacio - Steven | Done |
| Processor Errata Analysis - Boot and PAL | Adina - Eliecer | Done |
| 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 | Steven/JEC | Done |
| Test Results Review | Steven | Done |
| Before the following can be done the Run For Score needs to be completed | ||
| Boot Structural Coverage Analysis | Ignacio | Done |
| Verification Audit ON HOLD pending errata resolution | JEC | Done |
| Before the following can be completed all of the above tasks need to be completed | ||
| Populate the cert archive - Boot and PAL | Steven | Done |
| Perform any analysis of differences to any draft docs used in review of Boot or PAL, e.g. pal.sgm, boot.sgm, deos653p1-runtime-user-guide.htm. Uplink Documents and Draft Uplink Documents |
Eliecer | Done |
| Report Documents - Boot and PAL | ||
| - SLCECI | Steven | Done |
| - SLCECI review | KKL | Done |
| - SCI | Steven | Done |
| - SCI review | KKL | Done |
| Open Problem Reports List (after the final CCB) | Steven | Done |
| - SAS | Steven | Done |
| - SAS review | KKL | Done |
| - Publish Backend Docs: (update analysisStatus.txt) | KKL | Done |
| Update /11-14-verf-results/analysis/change-impact/analysisStatus.txt once verification completes on dependencies to include final change-impact analysis. Update Change-Impact Analysis |
Eliecer | Done |
| Software conformity audit | JEC | Done |
| Final Steps upon Verf Complete | KKL | Done |
