Write some software -- 3

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.