Code Generation Activity

From Event-B
Revision as of 12:38, 22 November 2010 by imported>Andy (→‎Completed/Ongoing Work)
Jump to navigationJump to search

Development Repository

The SVN repository for development of the code generation plug-in is here:

svn+ssh://svn.ecs.soton.ac.uk/projects/deploy-exploratory/trunk/CodeGeneration

Other information can be found here:

svn+ssh://svn.ecs.soton.ac.uk/projects/deploy-exploratory/CodeGeneration

Completed/Ongoing Work

  • Demonstration plug-in,
    • Ready for deployment.
    • Deployment/Integration Testing under way.
  • The plug-in consists of,
    • Tasking Development Generator.
    • Tasking Development Editor (Based on an EMF Tree Editor).
    • Translator, from Tasking Development to Common Language Model.
    • Translator, from the Tasking Development to Event-B model of the implementation.
    • Pretty Printer for the Tasking Development.
    • Pretty Printer for Common Language Model to Ada Source Code.

Metamodels

  • Tasking Metamodel - one for both single and multi-tasking?
  • Intermediate Language Metamodels based on Ada
    • Initial Version is IL1
    • Ready for experiments subject to decomposition.
  • Metamodel re-structuring; will decompose into:
    • Algorithmic structures
    • Math. language

Translation Rules

  • Tasking Metamodel to IL1 translation rules [[1]]
    • Ready for experiments [4 May 2010] subject to decomposition into:
      • Algorithmic structures
      • Math. language
      • Versions for Shared/Non-shared data

TODO

  • Control flow modelling assistant
  • Infrastructure plugin
  • Initial version of:
    • IL1 to Ada backend plugin
  • Small experiments: several small models, reader/writer, heater control, circular buffer