ANSI Jupiter
From DDCIDeos
Jump to navigationJump to search
ANSI library updates for Desert_Eagle_Program. This is a follow on to ANSI Multicore.
A DAL A project.
This page tracks development and verification activities and progress.
Deos_Desert_Eagle_D2_Release is unverified.
The final release will be verified (at least for ARM).
Customer Programs
This component is expected to be used by the following programs:
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).
- mainline review status
- test results
Scope
The project calls for ANSI to be extended with the following APIs:
- free() and malloc_stats()
Design Notes
PCR 14325 added to address math with sizeof(size_t) in FP XML (integration tool)
Activities
Outstanding Questions to Customer
- TBD
Outstanding Requirement Tasks
- TBD
Outstanding Code Tasks
- TBD
Outstanding Test Tasks
- TBD
| Create and Initial Population of Certification Archive (If already created, just perform populate step.) | CP | Done |
| Requirements Development | CP/JON | Done |
| Standards Change Analysis | CP | Done |
| Architecture Change Impact Analysis | CP | Done |
| Initialize Status Files Complete Standards Change Analysis first. | CP | Done |
| Requirements review | RDR | Done |
| Code Development, i.e. trace tag insertion and additional test points as determined via test development. | CP | Done |
| Code review | RDR | Done |
| Check/correct EOL on desk installed components to LF & verify other config files are not native. | CP | Done |
| Test Case Development | CP/RDR | Done |
| Test Procedure Development | CP/RDR | Done |
| Test Reviews Notify SQA when this activity is complete. | DD/RDR | Done |
| Software life cycle audits | JEC | Done |
| ABC SCAT Qual | JON | Done |
| Before the following can be done the above activities must be complete | ||
|---|---|---|
| Integration Review | JON | Done |
| 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) | JON/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. | ||
| Executable Object Code Analysis (Testing vs Release variant equivalence) | ||
| Executable Object Code Analysis Review (Testing vs Release variant equivalence) | ||
| Requirements Coverage Analysis | JON | 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 | JON/JEC | Done |
| Test Results Review | JON | Done |
| Before the following can be done the Run For Score needs to be completed | ||
| Structural coverage analysis | JON | Done |
| Floating-point Analysis | JON | 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 | JON | Done |
| Report Documents | ||
| - SLCECI | JON | Done |
| - SLCECI review | KKL | Done |
| - SCI | JON | Done |
| - SCI review | KKL | Done |
| Open Problem Reports List (after the final CCB) | JON | Done |
| - SAS | JON | 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 | JON | Done |
| Software conformity audit - Will finish once analyses above are finalized | JEC | Done |
| Final Steps upon Verf Complete | KKL | Done |
