Dezvoltarea de software critic pentru siguranță: Un ghid practic pentru software de aviație și conformitatea Do-178c

Recenzii ale cititorilor

Cartea este foarte apreciată pentru claritatea, profunzimea și orientările practice privind certificarea DO-178C, ceea ce o face o lectură esențială pentru oricine este implicat în dezvoltarea de software pentru aviație. Este remarcată în special pentru stilul său ușor de citit, acoperirea cuprinzătoare și expertiza autorului. Cu toate acestea, există plângeri semnificative cu privire la calitatea imprimării din partea editorului, împiedicând experiența generală pentru unii cititori.

⬤ Ușor de citit și de înțeles
⬤ oferă informații valoroase și sfaturi practice
⬤ acoperire cuprinzătoare a DO-178C și a subiectelor asociate
⬤ potrivit atât pentru începători, cât și pentru practicieni experimentați
⬤ include anecdote din experiența autorului
⬤ util pentru diverse dezvoltări software critice pentru siguranță în afara aviației.

⬤ Calitate slabă a imprimării care afectează capacitatea de utilizare a cărții
⬤ unii utilizatori au considerat că organizarea lipsește și au solicitat mai multe ajutoare vizuale
⬤ anumite informații au fost considerate repetitive cu privire la standardele existente.

(pe baza a 37 recenzii ale cititorilor)

Titlul original:

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

Conținutul cărții:

Cantitatea de software utilizată în sistemele de siguranță critice crește într-un ritm rapid. În același timp, tehnologia software se schimbă, proiectele sunt presate să dezvolte software mai rapid și mai ieftin, iar software-ul este utilizat în moduri mai critice. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance vă pune la dispoziție informațiile de care aveți nevoie pentru a dezvolta în mod eficace și eficient software critic pentru siguranță, viață și misiune pentru aviație. Principiile se aplică, de asemenea, software-ului pentru domeniile auto, medical, nuclear și alte domenii critice pentru siguranță.

Autorul, o autoritate internațională în domeniul software-ului critic pentru siguranță, a contribuit la redactarea DO-178C și a politicii și orientărilor Administrației Federale a Aviației din SUA privind software-ul critic pentru siguranță. În această carte, ea se bazează pe mai mult de 20 de ani de experiență ca autoritate de certificare, producător de avionică, integrator de aeronave și dezvoltator de software pentru a prezenta cele mai bune practici, exemple din lumea reală și recomandări concrete.

Cartea include:

⬤ O prezentare generală a modului în care software-ul se încadrează în procesele de sisteme și siguranță.

⬤ Examinarea detaliată a DO-178C și a modului de aplicare eficientă a ghidului.

⬤ Cunoașterea documentelor legate de DO-178C privind calificarea instrumentelor (DO-330), dezvoltarea bazată pe modele (DO-331), tehnologia orientată pe obiecte (DO-332) și metodele formale (DO-333)

⬤  Sfaturi practice pentru dezvoltarea cu succes a software-ului critic pentru siguranță și certificare.

⬤  Acoperirea perspicace a unora dintre cele mai dificile subiecte din dezvoltarea și verificarea software-ului critic pentru siguranță, inclusiv sistemele de operare în timp real, partiționarea, datele de configurare, reutilizarea software-ului, software-ul dezvoltat anterior, ingineria inversă și externalizarea și offshoring-ul.

O referință neprețuită pentru managerii de sisteme și software, dezvoltatori și personalul de asigurare a calității, această carte oferă o multitudine de informații pentru a vă ajuta să dezvoltați, să gestionați și să aprobați software de siguranță critică cu mai multă încredere.