Requirements Engineering for Safety-Critical Systems
Systémy kritické z hľadiska bezpečnosti (SCS) sú čoraz viac prítomné v každodenných činnostiach ľudí.
V dopravných prostriedkoch, pri lekárskych zákrokoch, v priemyselných procesoch, pri riadení leteckej, pozemnej a námornej dopravy a v mnohých ďalších situáciách používame SCS a sme od nich závislí. Inžinierstvo požiadaviek na akýkoľvek systém je rozhodujúce pre jeho správny vývoj a v prípade vývoja SCS je ešte dôležitejšie.
Inžinierstvo požiadaviek je disciplína, ktorá sa zameriava na vývoj techník, metód, procesov a nástrojov, ktoré pomáhajú pri návrhu softvéru a systémov a zahŕňajú činnosti získavania, analýzy, modelovania a špecifikácie, validácie a riadenia požiadaviek. Úplná špecifikácia požiadaviek na systém vytvára základ pre jeho architektonický návrh. Ponúka opis funkčných a kvalitatívnych aspektov, ktorými by sa mala riadiť implementácia a vývoj systému.
V tejto knihe sa zaoberáme základnými prvkami inžinierstva požiadaviek aplikovanými na SCS, ako je vzťah medzi analýzou bezpečnosti/ohrozenia a špecifikáciou požiadaviek, rovnováha medzi konzervatívnymi a agilnými metodikami počas vývoja SCS, úloha inžinierstva požiadaviek v prípadoch bezpečnosti a model vyspelosti inžinierstva požiadaviek pre SCS. Táto kniha poskytuje relevantné poznatky pre odborníkov, študentov a výskumníkov, ktorí sa zaujímajú o zlepšenie kvality procesu vývoja SCS, čím sa systémové požiadavky stávajú pevným základom pre zlepšenie bezpečnosti a ochrany budúcich systémov.