Vývoj softwaru kritického z hlediska bezpečnosti: Praktický průvodce pro letecký software a dodržování Do-178c

Recenze čtenářů

Kniha je vysoce oceňována pro svou srozumitelnost, hloubku a praktický návod k certifikaci DO-178C, což z ní činí nezbytnou četbu pro každého, kdo se podílí na vývoji leteckého softwaru. Je oceňována zejména pro svůj čtivý styl, komplexní pokrytí a odborné znalosti autora. Ze strany vydavatele se však objevují značné stížnosti na kvalitu tisku, což některým čtenářům ztěžuje celkový zážitek.

⬤ Snadno se čte a je srozumitelná
⬤ poskytuje cenné poznatky a praktické rady
⬤ komplexní pokrytí DO-178C a souvisejících témat
⬤ vhodná pro začátečníky i zkušené odborníky
⬤ obsahuje anekdoty z autorovy praxe
⬤ užitečné pro vývoj různých bezpečnostně kritických softwarů mimo letectví.

⬤ Špatná kvalita tisku, která ovlivňuje použitelnost knihy
⬤ někteří uživatelé považovali uspořádání za nedostatečné a požadovali více vizuálních pomůcek
⬤ některé informace považovali za opakující se, pokud jde o stávající normy.

(na základě 37 hodnocení čtenářů)

Původní název:

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

Obsah knihy:

Množství softwaru používaného v systémech kritických z hlediska bezpečnosti rychle roste. Současně se mění softwarové technologie, projekty jsou tlačeny k rychlejšímu a levnějšímu vývoji softwaru a software se používá kritičtějším způsobem. Developing Safety-Critical Software: Praktická příručka pro letecký software a dodržování DO-178Cvás vybaví informacemi, které potřebujete k účinnému a efektivnímu vývoji softwaru pro letectví, který je kritický z hlediska bezpečnosti, života a poslání. Zásady platí také pro software pro automobilový průmysl, zdravotnictví, jadernou energetiku a další oblasti kritické z hlediska bezpečnosti.

Autor je mezinárodní autoritou v oblasti softwaru kritického z hlediska bezpečnosti, podílel se na tvorbě normy DO-178C a politiky a pokynů Federálního leteckého úřadu USA pro software kritický z hlediska bezpečnosti. V této knize čerpá z více než dvacetiletých zkušeností certifikačního orgánu, výrobce avioniky, leteckého integrátora a vývojáře softwaru a představuje osvědčené postupy, příklady z praxe a konkrétní doporučení.

Kniha obsahuje:

⬤ Přehled toho, jak software zapadá do procesů systémů a bezpečnosti.

⬤ Podrobné zkoumání DO-178C a způsobů, jak účinně aplikovat pokyny.

⬤ Pohled do dokumentů souvisejících s DO-178C o kvalifikaci nástrojů (DO-330), vývoji založeném na modelech (DO-331), objektově orientované technologii (DO-332) a formálních metodách (DO-333).

⬤ Praktické tipy pro úspěšný vývoj softwaru kritického z hlediska bezpečnosti a certifikaci.

⬤ Přehledné pokrytí některých náročnějších témat vývoje a ověřování softwaru kritického z hlediska bezpečnosti, včetně operačních systémů reálného času, rozdělení, konfiguračních dat, opětovného použití softwaru, dříve vyvinutého softwaru, reverzního inženýrství a outsourcingu a offshoringu.

Tato kniha je neocenitelnou příručkou pro manažery systémů a softwaru, vývojáře a pracovníky zajišťující kvalitu a poskytuje množství informací, které vám pomohou s větší jistotou vyvíjet, řídit a schvalovat software kritický z hlediska bezpečnosti.