Water Pump Project (SPARK) (1568029)

## Water Pump Project (SPARK)

### Project Description

This project concerns the use of the SPARK language and tools for annotating existing code and using the automated analysis tools.

The scenario for this project is a water tank which is collecting rainwater. The tank has a pump attached to it, which is to be used to take water from the tank when it is approaching full. The pump will fail if there is no water to pump, so it must be closed when the water level is approaching empty.

The control system is arranged into a number of packages. The Ada code for these packages is provided. The aim of the project is first to write a short summary of the role of each package, and then to add SPARK annotations to the code.

**You can find detailed information in the attached files.**

### Tools

You can download free versions of the tools for implementing the project from the following web site: <[url removed, login to view]>

### Deadline

**January 9th, 2011**


Important Notes

All candidate workers are requested to answer the following questions when bidding:

1. How familiar are you with the tools (SPARK, GPS, etc.)?

2. How familiar are you with Ada?

3. How many days will you need in order to provide the deliverables?

## Deliverables

See project description

## Platform


Habilidades: Arquitetura de software, Testes / Garantia de qualidade, Testes de Usabilidade, Teste de Website

Veja mais: project spark, system level architecture, system for find workers, qa software testing tools, project is closed, ok tools download, how to find workers, how find workers, find workers for free, find project web code, architecture project description, automated software testing, architecture software free download, the add water, rainwater, QA project, download free project 0, automated testing, annotations, annotating, ada, automated analysis, aim project, software testing questions, detailed system architecture

Acerca do Empregador:
( 0 comentários ) Thessaloniki, Greece

ID do Projeto: #3006109