Rozwój oprogramowania wbudowanego dla systemów o krytycznym znaczeniu dla bezpieczeństwa

Opinie czytelników

Książka jest wysoko ceniona za praktyczne podejście do tworzenia oprogramowania o krytycznym znaczeniu dla bezpieczeństwa, z silnym naciskiem na inżynierię, projektowanie i wdrażanie. Dostarcza cennych informacji na temat standardów, metod i narzędzi związanych z bezpieczeństwem oprogramowania, dzięki czemu jest szczególnie przydatna dla inżynierów posiadających wcześniejszą wiedzę w tej dziedzinie. Książka spotkała się jednak z krytyką, ponieważ nie jest odpowiednio obsługiwana na urządzeniach Kindle, co rozczarowało niektórych czytelników, którzy oczekiwali dostępnego formatu cyfrowego.

⬤ Dobrze napisana i wciągająca
⬤ praktyczne, praktyczne przykłady
⬤ kompleksowe wskazówki dotyczące weryfikacji i testowania projektu
⬤ cenne spostrzeżenia na temat standardów bezpieczeństwa oprogramowania
⬤ zawiera przydatne odniesienia
⬤ anegdoty ilustrujące kluczowe punkty
⬤ silna integracja rzeczywistych praktyk inżynieryjnych ze standardami bezpieczeństwa.

⬤ nie jest obsługiwany na urządzeniach Kindle, mimo że jest oznaczony jako wydanie Kindle
⬤ niektóre diagramy są trudne do odczytania
⬤ może nie być odpowiedni dla początkujących bez wcześniejszej wiedzy na temat systemów krytycznych dla bezpieczeństwa.

(na podstawie 5 opinii czytelników)

Oryginalny tytuł:

Embedded Software Development for Safety-Critical Systems

Zawartość książki:

"Gorąco polecam książkę pana Hobbsa". - Stephen Thomas, PE, założyciel i redaktor FunctionalSafetyEngineer.com.

Urządzenia o krytycznym znaczeniu dla bezpieczeństwa, zarówno medyczne, motoryzacyjne, jak i przemysłowe, w coraz większym stopniu zależą od prawidłowego działania zaawansowanego oprogramowania. W ciągu ostatniej dekady pojawiło się wiele standardów dotyczących tego, jak takie systemy powinny być projektowane i budowane. Programiści, którzy wcześniej musieli tylko wiedzieć, jak programować urządzenia dla swojej branży, muszą teraz rozumieć niezwykle ezoteryczne praktyki programistyczne i być przygotowani do uzasadnienia swojej pracy przed zewnętrznymi audytorami.

Embedded Software Development for Safety-Critical Systems omawia rozwój systemów o krytycznym znaczeniu dla bezpieczeństwa zgodnie z następującymi normami: IEC 61508; ISO 26262; EN 50128; oraz IEC 62304. Wyszczególnia zalety i wady wielu praktyk architektonicznych i projektowych zalecanych w normach, począwszy od replikacji i dywersyfikacji, poprzez wykrywanie anomalii, aż po tak zwane systemy "poduszek bezpieczeństwa".

Omawiając wykorzystanie komponentów open-source w systemach o krytycznym znaczeniu dla bezpieczeństwa, książka ta wyewoluowała z tekstu kursu wykorzystywanego przez QNX Software Systems do modułu szkoleniowego na temat tworzenia oprogramowania wbudowanego dla urządzeń o krytycznym znaczeniu dla bezpieczeństwa, w tym urządzeń medycznych, systemów kolejowych, systemów przemysłowych i urządzeń wspomagających kierowcę w samochodach.

Chociaż książka opisuje w większości narzędzia open-source, zawiera również wystarczającą ilość informacji, abyś mógł poszukać komercyjnych dostawców, jeśli zdecydujesz się podążać tą drogą. Wszystkie techniki opisane w tej książce można dalej zgłębiać za pomocą setek artykułów. Aby zapewnić ci drogę, autor dostarcza referencje, które uznał za pomocne jako pracujący programista. Większość z nich jest dostępna do pobrania za darmo.