Automated code from a formal specification in GCL-based or DSL language

I need you to build an automated code synthesizer with the following requirements:

- Input is a formal specification written in GLC (Guarded Command Language), DHL (Dijkstra-Hehner Language), RAISE (RSL) and if you want, any other you may know. UML, graphical specifications or state-charts are not valid. Format is plain text and eventually XML.

See: [url removed, login to view]

- Output must be compilable or interpreted code in C, C++, Java or any industrial language.

- The engine must derivate both iterative and recursive code depending on specification.

- Generated code have to be correct by construction, reliable and must satisfy the specification. It will be used in critical safety real-time embedded systems. Algorithm derivation process could be carried out by theorem proving and artificial intelligence algorithms to produce theorems, but you are free to propose your own solution.

- You can build the tool in any language you prefer.

- Quality code is required: code documentation, must be scalable, maintainable, well designed, self-documented, bug free and fast.

- You must deliver a paper (IEEE for Transactions format preferred, LaTeX or Word) about the work and research done.

Please PM for further information. Before biding, ensure you have an strong proposal of the project.

Note: It is important that generated code has a sequential nature. Not dealing with concurrent or parallel code.

Skills: C Programming, C++ Programming, Engineering, Java, Software Architecture

See more: java xml, xml programming language, www slideshare net, written proposal for a project, well written project proposal, uml tool free, uml tool, uml documentation tool, uml c# tool, uml algorithm, tool uml, tool specification, theory of algorithm, text algorithms, systems programming language, solution specification, self programming language, requirements and specification, recursive solution, recursive programming, recursive algorithms, recursive algorithm, proposal of a project, proposal format for project, project work proposal format

About the Employer:
( 0 reviews ) bogota, Colombia

Project ID: #4129950

4 freelancers are bidding on average $2263 for this job


I am interested.

$2800 USD in 40 days
(5 Reviews)

I am very interested in doing this. Please see PM.

$2500 USD in 20 days
(1 Review)

hello, awaiting for your reply.

$2000 USD in 30 days
(0 Reviews)

Seems interesting project. Can You send example of specification file to be converted to C++ program?

$1750 USD in 40 days
(0 Reviews)