Chiranäewi Aradhq

Prowerka wazhnejshego programmnogo obespecheniq Avionics Safety Critical Software Verification

• Broschiertes Buch

Produktbeschreibung

Cel'ü ätoj knigi qwlqetsq obzor metodow werifikacii, ispol'zuemyh dlq werifikacii kriticheski wazhnogo dlq bezopasnosti programmnogo obespecheniq Avionics w sootwetstwii so standartom DO-178B s osnownym akcentom na testirowanie programmnyh blokow. Polnaq werifikaciq programmnogo obespecheniq wklüchaet w sebq testirowanie programmnogo obespecheniq na razlichnyh urownqh/faze. Cel' testirowaniq programmnogo obespecheniq - prodemonstrirowat', chto programmnoe obespechenie udowletworqet ego trebowaniqm, a takzhe s wysokoj stepen'ü uwerennosti prodemonstrirowat', chto oshibki, kotorye mogli priwesti k nepriemlemym uslowiqm otkaza, kak äto opredeleno processom ocenki bezopasnosti sistemy, byli ustraneny. Rezul'taty testirowaniq daüt predstawlenie o nadezhnosti i kachestwe programmnogo obespecheniq.

Produktdetails

• Verlag: Sciencia Scripts
• Seitenzahl: 64
• Erscheinungstermin: 6. Dezember 2020
• Russisch
• Abmessung: 220mm x 150mm x 4mm
• Gewicht: 113g
• ISBN-13: 9786203079388
• ISBN-10: 6203079383
• Artikelnr.: 60725745

Autorenporträt

Chirandzhewi Aradh'q byl starshim inzhenerom-razrabotchikom programmnogo obespecheniq w kompanii Collins Aerospace systems poslednie 7 let. On imeet bolee chem 15-letnij opyt raboty w aärokosmicheskoj otrasli po wsem nowejshim tehnologiqm, wklüchaq razrabotku produktow Avionics Embedded i testirowanie awiacionnyh sistem po processam DO-178B urownq ot A do D.