Case Studies

During this second year, a new case study has been proposed by EDF. Called "SRI circuit case study", it is a part of the auxiliary steam circuit in a electricity power plant, aiming at cooling certain parts of the plant in consideration.

There are several aspects of interest in this case study:

• Analysing the pair {plant,controller} amounts to handling a hybrid system model.
• As for verification and testing, there can be of course several properties that could be considered. But the main interest is elsewhere: switching from automatic to manual modes of operation must always be possible as a backup in case of an unexpected problem; this is however possible only in certains states of the {plant,controller}; we consequently derive the following (very high level, indeed!) overall proof obligation, namely: make sure that reaching the desired states (where switching is possible) is always possible within a prescribed time bound.

• a short description of the case study,
• questions of interest, what has already been developed about this case study.