Difference between revisions of "Code Generation Activity"
From Event-B
Jump to navigationJump to searchimported>Alexili |
imported>Alexili |
||
| Line 19: | Line 19: | ||
** for algorithmic structures | ** for algorithmic structures | ||
** for math. language | ** for math. language | ||
| + | * IL1 to Ada backend plugin | ||
| + | * Small experiments: several small models, reader/writer, heater control, circular buffer | ||
| + | |||
==== Plan of the first experiment ==== | ==== Plan of the first experiment ==== | ||
Revision as of 11:27, 4 December 2009
---
Development Repository
Agenda
- Meta-model for COB0 (few versions): Soton
- Meta-model for IL0 based on Ada: NCL [14 Dec]
- Investigate Epsilon/ETL/EGL or ATL
- Experiment 1: Event-B basic subset to IL0 in *TL (main) [22 Dec]
- Experiment 2: IL0/X to text with EGL: Soton [End of January]
- Stable version of COB MM
- Stable version of IL1 MM
- Control flow modelling assistant
- Commit to ?TL
- Infrastructure plugin
- Initial version of:
- COB to IL1 translation rules
- for algorithmic structures
- for math. language
- IL1 to Ada backend plugin
- Small experiments: several small models, reader/writer, heater control, circular buffer
Plan of the first experiment
- Soton to provide basic setup for testing ETL: Soton [14 Dec]
- Start developers’ wiki on eventb.org
- All the bits are to be saved on Soton subversion server
- Define translation rule for:
- algorithmic: sequential composition, explicit loop, if-then-else: Ncl [20 Dec]
- mathematical language: arithmetics, functions (N +-> N): Soton [20 Dec]
- Define the overall structure of translation rules, common helper functions and rules: All
