Write some software -- 3

Cancelled Posted 6 years ago Paid on delivery
Cancelled Paid on delivery

I need you to develop some software for me. I would like this software to be developed for Linux . The focus of this coursework is the development of software based Automatic Vessel Protection

(AVP) system that ensures that the hazard of excessive pressure within a vessel does not lead to an

accident, i.e. an explosion. Specifically, your aim to implement the software component of a simple

AVP system using the SPARK approach to high integrity Ada. You are provided with SPARK package

specifications that define the safety-critical boundary of the system as well as a test harness written

in Ada. Your task is to develop the system-critical control component as well as the implementation

details of the boundary packages. In §2 a system-level description of the AVP system is provided. The

software requirements of the exercise are detailed in §3, while the testing and formal proof requirements

are outlined in §4. Finally, in §5 the deliverables that are expected of you are described.

Linux Software Architecture

Project ID: #15460330

About the project

1 proposal Remote project Active 6 years ago