Write some software -- 3
$30-250 USD
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.
Project ID: #15460330