|
000
| 02425cam 2200361zi 4500 |
|---|
| 001 | 9.879924 |
|---|
| 003 | CaOODSP |
|---|
| 005 | 20221107165640 |
|---|
| 006 | m o d f |
|---|
| 007 | cr cn||||||||| |
|---|
| 008 | 190930t20132013quca ob f000 0 eng d |
|---|
| 040 | |aCaOODSP|beng|erda|cCaOODSP |
|---|
| 041 | 0 |aeng|beng|bfre |
|---|
| 086 | 1 |aD68-6/017-2013E-PDF |
|---|
| 100 | 1 |aKhoury, Raphaël, |eauthor. |
|---|
| 245 | 10|aBest design practices for effective use of N-version programming / |cRaphaël Khoury, Mario Couture, DRDC Valcartier ; Abdelwahab Hamou-Lhadj, Concordia University. |
|---|
| 264 | 1|aQuebec (Quebec) : |bDefence R&D Canada - Valcartier, |c2013. |
|---|
| 264 | 4|c©2013 |
|---|
| 300 | |a1 online resource (viii, 24 pages, 2 unnumbered pages) : |billustrations. |
|---|
| 336 | |atext|btxt|2rdacontent |
|---|
| 337 | |acomputer|bc|2rdamedia |
|---|
| 338 | |aonline resource|bcr|2rdacarrier |
|---|
| 490 | 1 |aTechnical memorandum ; |vDRDC Valcartier TM 2013-017 |
|---|
| 500 | |a"February 2013." |
|---|
| 504 | |aIncludes bibliographical references (pages 20-22). |
|---|
| 520 | 3 |a"N-version programming is a software development paradigm that draws upon the concept of diversity to increase the reliability of software. The central idea is to independently produce multiple functionally equivalent versions of a program, and execute them in parallel. If the versions fail independently, then the probability of multiple versions producing a faulty output on any given input is very small; much lower than the failure probability of any single version. In this technical memorandum, we examine and contrast various experiments that have been performed to evaluate the benefits of this approach and draw some conclusions with respect to the most effective way that N-version programming can be utilized. We find that for diversity to be effective, it must be introduced in a targeted and informed manner and encompass several phases of the software's development"--Abstract, page i. |
|---|
| 546 | |aIncludes abstracts and summaries in English and French. |
|---|
| 700 | 1 |aCouture, Mario, |eauthor. |
|---|
| 700 | 1 |aHamou-Lhadj, Abdelwahab, |eauthor. |
|---|
| 710 | 1 |aCanada. |bDefence R&D Canada. |
|---|
| 710 | 2 |aDefence R&D Canada - Valcartier. |
|---|
| 830 | #0|aTechnical memorandum (Defence R&D Canada)|vDRDC Valcartier TM 2013-017.|w(CaOODSP)9.820564 |
|---|
| 856 | 40|qPDF|s17.33 MB|uhttps://publications.gc.ca/collections/collection_2019/rddc-drdc/D68-6-017-2013-eng.pdf |
|---|