Time Jupiter
Time verification for ARM, PPC and X86 using 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
Time (deos-time) is a new component which is providing a limited set of time related function allowing applications to read the current time from the PAL, set timezone, show time in various ways and more.
Time is supported for ARM, PPC and X86, using target boards that actually provide the current time. All the qemus do that, and also many newer boards,
To work, the time-prl component must be included, and the process threads that wish to access the time information must be privileged to do so, and this is done with xml-additions.
Activities
Outstanding Requirement Tasks
- None. Requirements document has been created.
Status files for Requirements, Code and Test have been created.
Outstanding Code Tasks
- None. Code completed
Outstanding Test Tasks
- Test cases and procedures shall be created.
4 test programs exist which can be used as basis for the to-be-developed test cases/procedures.
| Create and Initial Population of Certification Archive (If already created, just perform populate step.) | MV/RDR | Done |
| Requirements Development | MV | Done |
| Standards Change Analysis | MV/RDR | Done |
| Architecture Change Impact Analysis | MV/RDR | Done |
| Initialize Status Files | RDR | Done |
| Requirements review | RDR | Done |
| Code Development, i.e. trace tag insertion and additional test points as determined via test development. | MV | Done |
| Code review | RDR | Done |
| Test Case Development | MAS/RDR | Done |
| Test Procedure Development | MAS/RDR | Done |
| Test Reviews Notify SQA when this activity is complete. | DED/MAS | Done |
| Software life cycle audits | SQA | Done |
| ABC SCAT Qual | MAS | Done |
| Before the following can be done the above activities must be complete | ||
|---|---|---|
| Integration Review | MAS/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) | MAS/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 | MAS | 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 | MAS | Done |
| Test Results Review | MAS | Done |
| Before the following can be done the Run For Score needs to be completed | ||
| Structural coverage analysis | MAS | Done |
| Verification audit | JEC | Done |
| Before the following can be completed all of the above tasks need to be completed | ||
| Populate the cert archive | MAS | Done |
| Report Documents | ||
| - SLCECI | MAS | Done |
| - SLCECI review | KKL | Done |
| - SCI | MAS | Done |
| - SCI review | KKL | Done |
| Open Problem Reports List (after the final CCB) | MAS | Done |
| - SAS | MAS | Done |
| - SAS review | KKL | Done |
| - Publish Backend Docs: (update analysisStatus.txt) | KKL | Done |
| Software conformity audit | JEC | Done |
| Final Steps upon Verf Complete | MAS/JEC | Done |
