Biztonságkritikus szoftverek fejlesztése: Do-178c megfelelés: Gyakorlati útmutató a repülési szoftverekhez és a Do-178c megfeleléshez

Olvasói vélemények

A könyvet nagyra értékelik a DO-178C tanúsítással kapcsolatos érthetőségéért, mélységéért és gyakorlati útmutatásaiért, így a könyv nélkülözhetetlen olvasmány mindazok számára, akik a repülési szoftverfejlesztésben részt vesznek. Különösen a könnyen olvasható stílusa, az átfogó lefedettség és a szerző szakértelme miatt emlegetik. A kiadó azonban jelentős panaszokat fogalmazott meg a nyomtatás minőségével kapcsolatban, ami egyes olvasók számára hátráltatja az általános élményt.

⬤ Könnyen olvasható és érthető
⬤ értékes betekintést és gyakorlati tanácsokat nyújt
⬤ átfogóan tárgyalja a DO-178C-t és a kapcsolódó témákat
⬤ kezdők és tapasztalt szakemberek számára egyaránt alkalmas
⬤ anekdotákat tartalmaz a szerző tapasztalataiból
⬤ hasznos a különböző biztonságkritikus szoftverfejlesztésekhez a repülésen kívül is.

⬤ Gyenge nyomtatási minőség, amely befolyásolja a könyv használhatóságát
⬤ néhány felhasználó hiányolta a rendszerezést, és több vizuális segédanyagot kért
⬤ bizonyos információkat ismétlődőnek találtak a meglévő szabványokkal kapcsolatban.

(37 olvasói vélemény alapján)

Eredeti címe:

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

Könyv tartalma:

A biztonságkritikus rendszerekben használt szoftverek mennyisége gyors ütemben növekszik. Ezzel párhuzamosan a szoftvertechnológia is változik, a projekteket arra kényszerítik, hogy gyorsabban és olcsóbban fejlesszenek szoftvert, és a szoftvereket egyre kritikusabb módon használják. Biztonságkritikus szoftverek fejlesztése: A Practical Guide for Aviation Software and DO-178C Compliance olyan információkkal látja el Önt, amelyekkel hatékonyan és eredményesen fejleszthet biztonságkritikus, életkritikus és küldetéskritikus szoftvereket a repülés számára. Az alapelvek az autóipari, orvosi, nukleáris és egyéb biztonságkritikus területekhez készült szoftverekre is vonatkoznak.

A biztonságkritikus szoftverek nemzetközi szaktekintélye, a szerző közreműködött a DO-178C és az Egyesült Államok Szövetségi Légügyi Hivatalának a biztonságkritikus szoftverekre vonatkozó politikájának és iránymutatásának megírásában. Ebben a könyvben több mint 20 éves tanúsító hatósági, repüléstechnikai gyártói, repülőgép-integrátori és szoftverfejlesztői tapasztalatára támaszkodva mutatja be a legjobb gyakorlatokat, valós példákat és konkrét ajánlásokat.

A könyv a következőket tartalmazza:

⬤ Áttekintést arról, hogyan illeszkedik a szoftver a rendszer- és biztonsági folyamatokba.

⬤ A DO-178C részletes vizsgálata és az útmutatás hatékony alkalmazása.

⬤ Belátás a DO-178C-vel kapcsolatos, az eszközök minősítésére (DO-330), a modellalapú fejlesztésre (DO-331), az objektumorientált technológiára (DO-332) és a formális módszerekre (DO-333) vonatkozó dokumentumokba.

⬤ Praktikus tippek a biztonságkritikus szoftverek sikeres fejlesztéséhez és a tanúsításhoz.

⬤ A biztonságkritikus szoftverfejlesztés és -ellenőrzés néhány nagyobb kihívást jelentő témájának alapos tárgyalása, beleértve a valós idejű operációs rendszereket, a particionálást, a konfigurációs adatokat, a szoftver újrafelhasználását, a korábban kifejlesztett szoftvereket, a fordított mérnöki munkát, valamint a kiszervezést és az offshoringot.

A rendszer- és szoftvermenedzserek, fejlesztők és minőségbiztosítási személyzet számára felbecsülhetetlen értékű referenciaként ez a könyv rengeteg információt nyújt, amelyek segítségével magabiztosabban fejleszthet, kezelhet és hagyhat jóvá biztonságkritikus szoftvereket.