Motivations. The decision was taken in 2009 to include code generation as a project goal [5] . It had been recognised that support for generation of code from refined Event-B models would be an important factor in ensuring eventual deployment of the DEPLOY approach within their organisations. This was especially true for Bosch and Space Systems Finland (SSF). After receiving more detailed requirements from Bosch and SSF, it became clear we should focus our efforts on supporting the generation of code for typical real-time embedded control software.
Appears in 2 contracts
Sources: Grant Agreement, Grant Agreement