IEEE - Institute of Electrical and Electronics Engineers, Inc. - Deriving verification-related means of compliance for a model-based testing process

2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)

Author(s): Barbara Gallina ; Anneliese Andrews
Sponsor(s): IEEE
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2016
Conference Location: Sacramento, CA, USA
Conference Date: 25 September 2016
Page(s): 1 - 6
ISBN (Electronic): 978-1-5090-2523-7
ISSN (Electronic): 2155-7209
DOI: 10.1109/DASC.2016.7778046
Regular:

DO-331 is the supplement of DO-178C for model-based development. DO-331 is an objective-based guidance, which defines a set of objectives that have to be achieved for the model-based development... View More

Advertisement