Követelménytervezés biztonságkritikus rendszerekhez

Eredeti címe:

Requirements Engineering for Safety-Critical Systems

Könyv tartalma:

A biztonságkritikus rendszerek (SCS) egyre inkább jelen vannak az emberek mindennapi tevékenységeiben.

A közlekedési eszközökben, az orvosi kezelésekben, az ipari folyamatokban, a légi, szárazföldi és tengeri forgalom irányításában és sok más helyzetben használunk és függünk az SCS-ektől. Bármely rendszer megfelelő fejlesztéséhez elengedhetetlen a követelményrendszerek kidolgozása, és ez az SCS-ek fejlesztése esetében még fontosabbá válik.

A követelménytervezés olyan tudományág, amely a szoftverek és rendszerek tervezését segítő technikák, módszerek, folyamatok és eszközök fejlesztésére összpontosít, és a követelmények feltárásának, elemzésének, modellezésének és specifikációjának, validálásának és kezelésének tevékenységeit foglalja magában. A rendszer követelményeinek teljes körű specifikációja megteremti az architekturális tervezés alapját. Leírást nyújt a funkcionális és minőségi szempontokról, amelyeknek a megvalósítást és a rendszer fejlődését kell irányítaniuk.

Ebben a könyvben az SCS-re alkalmazott követelménytervezés alapvető elemeit tárgyaljuk, mint például a biztonsági/veszélyelemzés és a követelményspecifikáció közötti kapcsolatot, a konzervatív és agilis módszertanok közötti egyensúlyt az SCS fejlesztése során, a követelménytervezés szerepét a biztonsági esetekben, valamint a követelménytervezés érettségi modelljét az SCS számára. Ez a könyv releváns betekintést nyújt az SCS-fejlesztési folyamat minőségének javításában érdekelt szakemberek, hallgatók és kutatók számára, így a rendszerkövetelmények szilárd alapot jelentenek a jövőbeli rendszerek biztonságának és védelmének javításához.