Chiranäewi Aradhq

Broschiertes Buch

Prowerka wazhnejshego programmnogo obespecheniq Avionics Safety Critical Software Verification

Beschreibung

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.

Autor

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.

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