SPARKAda vs DO-178B – Preliminary Results

PDF

Authors
  1. Painchaud, F.
  2. Michaud, F.
Corporate Authors
Defence R&D Canada - Valcartier, Valcartier QUE (CAN)
Abstract
This presentation gives preliminary results in advance of the final report and presentation in the project "SPARKAda vs DO-178B". It answers the question: can MC/DC requirements-based tests be replaced by the SPARK approach? It is mostly about the SPARK approach.
Report Number
DRDC-VALCARTIER-SL-2009-094 — Scientific Literature
Date of publication
01 May 2009
Number of Pages
58
DSTKIM No
CA032937
CANDIS No
532146
Format(s):
Document Image stored on Optical Disk

Permanent link

Document 1 of 1

Date modified: