Computer Systems: Dependability and Operating Systems

Waarom is het belangrijk om een goede reputatie te hebben voor producten?

Welke laag van het sociotechnische systeem biedt specifieke functionaliteit om aan bepaalde eisen van de organisatie te voldoen?

Wat is het doel van middleware in een systeem?

Hoe heet de laag van het sociotechnische systeem dat wetten, regelgeving en cultuur omvat?

Waarom is een systemenperspectief essentieel voor dependability?

Wat gebeurt er als er een verandering is in de regelgeving (society) in een systeem?

Wat is het hoofddoel van het gebruiken van formele methoden?

Welke aanpak wordt gebruikt om een specificatie om te zetten in een implementatie?

Wat is het voordeel van het maken van een formele specificatie?

Wat is de belangrijkste toepassingsgebied voor formele methoden?

Wat is het voordeel van het gebruiken van een formele methode zoals de B-methode?

Welke fasen worden doorlopen tijdens het gebruiken van formele methoden?

Hoe kan het systeem worden ontwikkeld om menselijke fouten te vermijden en systeemfouten tot een minimum te beperken?

Wat is het doel van verificatie- en validatietechnieken in het detecteren en corrigeren van fouten?

Wat is het resultaat van het gebruik van fault tolerance in een systeem?

Waarom worden verificatie- en validatietechnieken gebruikt tijdens het ontwikkelingsproces?

Hoe kan het ontwikkelingsproces worden georganiseerd om fouten in het systeem te voorkomen?

Wat is het resultaat van het gebruik van fault detection en correction in een systeem?