GNU-language multicore
From DDCIDeos
(Redirected from GNU-language indie)
gnu-language verification for ARM and multicore.
A DAL A project.
This page tracks development and verification activities and progress.
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
Scope
GNU-Language is a new component which is merging the legacy DART component and the shared object libgcc-so.so portion of the startup library component. In addition, the following has been added since the last verification:
- ARM support - including ARM ABI specific integer division
- multicore support - no changes identified
- signed 64 bit integer division
Outstanding questions:
- Marketing wanted meeting about 64 bit integer support in 32 bit Deos. That could impact more APIs for this component, ANSI, etc.
- atomic_fence.h is moving back to kernel per GeekFest 2019 discussions. Not sure if already removed from gnu-language or copied from prior DART temporary home.
Activities
Outstanding Requirement Tasks
- None. Although decisions above may impact
Outstanding Code Tasks
- None. Although decisions above may impact
Outstanding Test Tasks
- New C++ runtime features (new, delete) DONE
| Requirements Development | JON | Done |
| Standards Change Analysis | JON | Done |
| Architecture Change Impact Analysis | JON | Done |
| Initialize Status Files | JON | Done |
| Requirements review | TBR | Done |
| Code Development, i.e. trace tag insertion and additional test points as determined via test development. | JON | Done |
| Code review | TBR | Done |
| Test Case Development | MAS | Done |
| Test Procedure Development | MAS | Done |
| Test Reviews | DED | Done |
| Software life cycle audits | SQA | Done |
| ABC SCAT Qual | JON | Done |
| Before the following can be done the above activities must be complete | ||
|---|---|---|
| Integration Review | JON/JEC | 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 | 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 |
| Verification audit | JEC | Done |
| Before the following can be completed all of the above tasks need to be completed | ||
| Floating-point Analysis | JON | Done |
| Report Documents | ||
| - SLCECI | JON | Done |
| - SLCECI review | KL | Done |
| - SCI | JON | Done |
| - SCI review | KL | Done |
| - Open Problem Reports List | JON | Done |
| - SAS | JON | Done |
| - SAS review | KL | Done |
| Populate the cert archive | JON | Done |
| Software conformity audit | JEC | Done |
