EB2ALL: An Automatic Code Generation Tool - Using Event-B for Critical Device Software Systems - page 107

Fig. 7.1 A general
architecture of a translation
tool
This is the first phase of the translation process, which presents an explicit selec-
tionofaRodin[ 32 ] project from all the loaded projects into the workspace. The
selected project is passed to the next phase of the translation process for generating
the source code.
7.3.2 Introduction of a Context File
Motivation
Failure of a critical system can be a cause of loss of life, financial loss, environ-
mental damage and injury, where the cost of failure is not tolerable or affordable.
For a critical system run-time error may be just as hazardous as any other logical