Find Jobs
Hire Freelancers

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

$1500-3000 USD

Cancelled
Posted about 11 years ago

$1500-3000 USD

Paid on delivery
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: [login to view URL] - 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.
Project ID: 4129950

About the project

3 proposals
Remote project
Active 11 yrs ago

Looking to make some money?

Benefits of bidding on Freelancer

Set your budget and timeframe
Get paid for your work
Outline your proposal
It's free to sign up and bid on jobs
3 freelancers are bidding on average $2,183 USD for this job
User Avatar
I am interested.
$2,800 USD in 40 days
4.9 (5 reviews)
4.2
4.2
User Avatar
hello, awaiting for your reply.
$2,000 USD in 30 days
0.0 (0 reviews)
0.0
0.0
User Avatar
Seems interesting project. Can You send example of specification file to be converted to C++ program?
$1,750 USD in 40 days
0.0 (0 reviews)
0.0
0.0

About the client

Flag of COLOMBIA
bogota, Colombia
0.0
0
Member since Jan 15, 2013

Client Verification

Thanks! We’ve emailed you a link to claim your free credit.
Something went wrong while sending your email. Please try again.
Registered Users Total Jobs Posted
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Loading preview
Permission granted for Geolocation.
Your login session has expired and you have been logged out. Please log in again.