mascot assignment

• Project ID:

  705023

• Project Type:

  Fixed

• Budget:

  $30-$250 USD
  

Project Description:

DEPENDABLE COMPUTER SYSTEMS
RESIT COURSEWORK



The following describes an Intruder Alarm System for an art gallery:

The art gallery is equipped with movement detectors in individual rooms (10 rooms). There is one movement detector in each room.

When a detector detects the presence of an intruder, the system switches on the lights in the room and activates an audible alarm. There is only one alarm for the whole building but a separate set of lights in each room.

A schematic display is maintained in the security office and the system can be reset (lights and alarm switched off) by entering a reset command at the keyboard in the security office.

The following is required:
· carry out a Fault Tree Analysis for the system failing to respond to an intruder (to identify potential faults) and propose how your design/implementation will detect and recover from these faults
· design (using MASCOT) and implement the alarm system software (in Ada) taking into account the results of the Fault Tree Analysis
· implement a simulator (in Ada) which can be used to validate the alarm system software including validation of the fault detection and recovery mechanisms
· critically asses the techniques used for the fault analysis, the design, the implementation and the validation

The deliverables should be
· electronic submission (via a .zip file to the digital dropbox on blackboard)
o .adb file
o .exe file
o report (as a word document)
§ Fault Tree Analysis
§ MASCOT ACPS diagram
§ instructions on how to run the program including how to simulate faults etc.
§ critical assessment

The coursework will be marked out of 100. The marks will be apportioned as follows:
· Fault Tree Analysis 20
· design of the alarm system 20
· implementation of the alarm system 20
· validation of the alarm system 20
· critical assessment of techniques 20
===
100


-----------------------




---------------------------------------------Requirement








An Intruder Alarm System for an art gallery:

The art gallery is equipped with movement detectors in individual rooms (10 rooms). There is one movement detector in each room.

When a detector detects the presence of an intruder, the system switches on the lights in the room and activates an audible alarm. There is only one alarm for the whole building but a separate set of lights in each room.

A schematic display is maintained in the security office and the system can be reset (lights and alarm switched off) by entering a reset command at the keyboard in the security office.

The following is required:
• carry out a Fault Tree Analysis for the system failing to respond to an intruder (to identify potential faults) and propose how your design/implementation will detect and recover from these faults
• design (using MASCOT) and implement the alarm system software (in Ada) taking into account the results of the Fault Tree Analysis
• implement a simulator (in Ada) which can be used to validate the alarm system software including validation of the fault detection and recovery mechanisms
• critically asses the techniques used for the fault analysis, the design, the implementation and the validation

The deliverables should be
• electronic submission (via a .zip file to the digital dropbox on blackboard)
o .adb file
o .exe file
o report (as a word document)
? Fault Tree Analysis
? MASCOT ACPS diagram
? instructions on how to run the program including how to simulate faults etc.
? critical assessment
can pay 30$

Skills required:

C Programming, C++ Programming, Electrical Engineering, Electronics, Engineering