Miners are exposed to multiple hazards while working inside a mine. These include life-threatening levels of percolating water, carbon monoxide, methane, and airflow. | Building System Models for RE Chapter 15 A goal-oriented model-building method in action A goal-oriented model-building method in action: outline Overview and case study introduction Modelling the system-as-is S1: Build a preliminary goal model illustrated by scenarios S2: Derive a preliminary object model Modelling the system-to-be S3: Update the goal model with new goals S4: Derive the updated object model S5: Analyse obstacles, threats and conflicts S6: Analyse responsibilities and build the agent model Handling model variants for product lines Main steps of a model building method for RE Case study: Mine safety control . Mine safety control [System as-is.] Miners are exposed to multiple hazards while working inside a mine. These include life-threatening levels of percolating water, carbon monoxide, methane, and airflow. Currently, dedicated supervisors have to alert miners inside the mine for prompt evacuation when any of those levels is estimated to be dangerous. Sumps are placed at selected places in the mine for water collection. Each sump is equipped with a pump. The water level in each sump is regularly checked by dedicated operators to see if the water level is not too high. When this level is too high, the corresponding pump must be turned on to pump the water out of the mine. To avoid the risk of explosion, pumps may not be operated when the methane level exceeds some critical threshold. The current situation results in unacceptable exposure to risks, due to possible human unawareness or misjudgement of potentially dangerous situations; sudden flows of gas or water without operators at the right place to act upon; or pump functioning problems. On the other hand, lack of accurate assessment sometimes results in unnecessary evacuations. The cost of manpower for safety control is another concern. Case study: Mine safety control (2) . [System to-be.] To address these problems, a ubiquitous Safety Control system will be installed. Each sump will be . | Building System Models for RE Chapter 15 A goal-oriented model-building method in action A goal-oriented model-building method in action: outline Overview and case study introduction Modelling the system-as-is S1: Build a preliminary goal model illustrated by scenarios S2: Derive a preliminary object model Modelling the system-to-be S3: Update the goal model with new goals S4: Derive the updated object model S5: Analyse obstacles, threats and conflicts S6: Analyse responsibilities and build the agent model Handling model variants for product lines Main steps of a model building method for RE Case study: Mine safety control . Mine safety control [System as-is.] Miners are exposed to multiple hazards while working inside a mine. These include life-threatening levels of percolating water, carbon monoxide, methane, and airflow. Currently, dedicated supervisors have to alert miners inside the mine for prompt evacuation when any of those levels is estimated to be dangerous. Sumps are .
