DAL D Dev Verf Project

DAL D Development and Verification Project
The purpose of this page is to provide guidance for DAL-D development and verification.

PSAC Link for what DDC-I Does

PSAC Appendix D

Not Required Under DO-178C

1. Development
   1. No standards required
   2. No LL requirements
   3. Source code development not required (As Bill pointed out at GeekFest...this is silly as executable object code is required)
   4. No trace tags to code. Tracing is only to high level requirements to test.
2. Verification
   1. Independence not required for reviews
   2. No Code Reviews
   3. No Test Reviews
   4. No tracing from code to req'ts. (Only test to req'ts)
   5. No structural coverage analysis
   6. No standards change analysis
   7. No Analysis Reviews
3. See LwIP in cert archive for example of DAL-D verification LWiP 1.17.0-mainline

Applicable Requirement Checklist Questions

• 6.3.1a
  • Question 1

• 6.3.1b
  • Questions 2, 3, 4, 5

• 6.3.1f
  • Questions 16

• 6.3.3f
  • Question 22

TODO

1. Identify the other checklist questions that don't trace to DO-178C objectives that may apply

Components

TrickyFish_DAL_D_Verification Summary Wiki
TrickyFish-BSP
TrickyFish-dvms-components

Level D Activities Template

TODO

1. Verify the list of tasks are correct (e.g. analyses).
2. Verify assignments.

Task	Assignment	Status
Create and Initial Population of Certification Archive (If already created, just perform populate step.)	CP/JEC	Not Started
Requirements Development	CP	Not Started
Architecture Change Impact Analysis	CP	Not Started
Initialize Status Files Complete Standards Change Analysis first.	CP	Not Started
Requirements review	TBD	Not Started
Code Development	CP	Not Started
Check/correct EOL on desk installed components to LF & verify other config files are not native.	CP	Not Started
Test Case Development	TBD	Not Started
Test Procedure Development	TBD	Not Started
Software life cycle audits	JEC	Not Started
Before the following can be done the above activities must be complete
Integration Review	CP	Not Started
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)	CP/JEC	Not Started
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)
Executable Object Code Analysis Review (Testing vs Release variant equivalence)
Requirements Coverage Analysis	CP	Not Started
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	CP/JEC	Not Started
Test Results Review	CP	Not Started
Before the following can be completed all of the above tasks need to be completed
Verification audit	JEC	Not Started
Before the following can be completed all of the above tasks need to be completed
Populate the cert archive	CP	Not Started
Report Documents
- SLCECI	CP	Not Started
- SCI	CP	Not Started
Open Problem Reports List (after the final CCB)	CP	Not Started
- SAS	CP	Not Started
- Publish Backend Docs: (update analysisStatus.txt)	KKL	Not Started
Software conformity audit	JEC	Not Started
Final Steps upon Verf Complete	KKL	Not Started