Learn how to specify expandability properties of systems.

Learning outcome 1: Critically evaluate the current taxonomies of CSs including international standards

Learning outcome 2: Learn how to specify expandability properties of systems

Learning outcome 3: Know and evaluate methods for developing dependable systems

Learning outcome 4: Critically evaluate the use of formal methods in the life cycle of CSs

Exercise 1.

The Boeing 737 Max 8 aircraft were grounded after two fatal crashes in October 2018 and March 2019 leaving respectively 189 and 157 people dead. In both cases pilots struggled to control the aircraft after it began nosediving. An automated safety system - known as the Manoeuvring Characteristics Augmentation System (MCAS) - was implicated in both crashes.
Reports and information on the MCAS system:

Indonesian final crash report

Ethiopian preliminary crash report

Boeing 737 Max 8 MCAS system
Provide an assessment of the possible reasons for the crash in the light of what we discussed in the module. If possible use the material on the Boeing 737 Max 8 MCAS safety system. You are free to use other material you are able to find, also things which may be published till the end of the submission period.

Exercise 2.

The following is an informal description of the entry and exit system of a bio laboratory (AREA-42). AREA-42 consists of two rooms, the green room where staff put on their bio-hazard suites, and the red room where all the experiments will take place. Staff can enter and exit the green and red rooms via the two orange corridors.