Vývoj softvéru kritického z hľadiska bezpečnosti: Praktická príručka pre letecký softvér a súlad s Do-178c

Recenzie čitateľov

Kniha je vysoko oceňovaná pre svoju zrozumiteľnosť, hĺbku a praktický návod na certifikáciu DO-178C, čo z nej robí nevyhnutnú literatúru pre každého, kto sa zaoberá vývojom leteckého softvéru. Osobitne sa vyzdvihuje jej ľahko čitateľný štýl, komplexné pokrytie a odborné znalosti autora. Zo strany vydavateľa však existujú značné sťažnosti na kvalitu tlače, čo niektorým čitateľom bráni v celkovom zážitku.

⬤ Ľahko čitateľná a zrozumiteľná
⬤ poskytuje cenné poznatky a praktické rady
⬤ komplexné pokrytie DO-178C a súvisiacich tém
⬤ vhodná pre začiatočníkov aj skúsených odborníkov
⬤ obsahuje anekdoty z autorovej praxe
⬤ užitočná pre rôzne oblasti vývoja softvéru kritického z hľadiska bezpečnosti mimo letectva.

⬤ Slabá kvalita tlače, ktorá ovplyvňuje použiteľnosť knihy
⬤ niektorí používatelia považovali organizáciu za nedostatočnú a požadovali viac vizuálnych pomôcok
⬤ niektoré informácie považovali za opakujúce sa, pokiaľ ide o existujúce normy.

(na základe 37 čitateľských recenzií)

Pôvodný názov:

Developing Safety-Critical Software: A Practical Guide for Aviation Software and Do-178c Compliance

Obsah knihy:

Množstvo softvéru používaného v systémoch kritických z hľadiska bezpečnosti sa rýchlo zvyšuje. Zároveň sa mení softvérová technológia, projekty sú tlačené k tomu, aby vyvíjali softvér rýchlejšie a lacnejšie, a softvér sa používa kritickejším spôsobom. Developing Safety-Critical Software: Praktická príručka pre softvér pre letectvo a dodržiavanie DO-178Cvás vybaví informáciami, ktoré potrebujete na účinný a efektívny vývoj softvéru pre letectvo, ktorý je kritický z hľadiska bezpečnosti, života a úloh. Zásady sa vzťahujú aj na softvér pre automobilový priemysel, medicínu, jadrovú energetiku a ďalšie oblasti kritické z hľadiska bezpečnosti.

Autor je medzinárodnou autoritou v oblasti softvéru kritického z hľadiska bezpečnosti, podieľal sa na tvorbe DO-178C a politiky a usmernení amerického Federálneho leteckého úradu pre softvér kritický z hľadiska bezpečnosti. V tejto knihe využíva viac ako 20 rokov skúseností certifikačného orgánu, výrobcu avioniky, integrátora lietadiel a vývojára softvéru, aby prezentovala osvedčené postupy, príklady z praxe a konkrétne odporúčania.

Kniha obsahuje:

⬤ Prehľad toho, ako softvér zapadá do systémov a bezpečnostných procesov.

⬤ Podrobné preskúmanie DO-178C a ako účinne uplatňovať usmernenia.

⬤ Poznanie dokumentov súvisiacich s DO-178C o kvalifikácii nástrojov (DO-330), vývoji na základe modelov (DO-331), objektovo orientovanej technológii (DO-332) a formálnych metódach (DO-333)

⬤ Praktické tipy pre úspešný vývoj softvéru kritického z hľadiska bezpečnosti a certifikáciu.

⬤ Prehľadné pokrytie niektorých náročnejších tém v oblasti vývoja a overovania softvéru kritického z hľadiska bezpečnosti vrátane operačných systémov v reálnom čase, rozdelenia, konfiguračných údajov, opätovného použitia softvéru, predtým vyvinutého softvéru, reverzného inžinierstva a outsourcingu a offshoringu.

Táto kniha, ktorá je neoceniteľnou referenciou pre manažérov systémov a softvéru, vývojárov a pracovníkov zabezpečujúcich kvalitu, poskytuje množstvo informácií, ktoré vám pomôžu s väčšou istotou vyvíjať, riadiť a schvaľovať softvér kritický z hľadiska bezpečnosti.