Fundamentals of Dependable Computing for Software Engineers

Boken 'Fundamentals of Dependable Computing for Software Engineers' presenterer de grunnleggende elementene av pålitelighet innen datamaskinsystemer. Den beskriver en omfattende prosess for ingeniørarbeid knyttet til pålitelighet og forklarer hvilken rolle programvare og programvareingeniører spiller i denne sammenhengen. Leserne vil få innsikt i hvorfor pålitelighet er viktig, hva det innebærer at et system er pålitelig, hvordan man bygger et pålitelig programvaresystem, og hvordan man vurderer om et programvaresystem er tilstrekkelig pålitelig. Forfatteren fokuserer på tiltakene som kreves for å redusere feilraten til et akseptabelt nivå. Dette innholdet er spesielt relevant for ingeniører som utvikler systemer hvor konsekvensene av feil kan være katastrofale, som for eksempel sikkerhetskritiske systemer, systemer av høy sikkerhet, og kritisk infrastruktur. Teksten undersøker systemtekniske aspekter ved pålitelighet og gir et rammeverk for ingeniører til å tenke gjennom og ta beslutninger om programvare og dens pålitelighet. Boken tilbyr en helhetlig tilnærming til temaet.