Java concurrency programming using ltsa tools and multi threaded program codes
£20-250 GBP
Closed
Posted over 5 years ago
£20-250 GBP
Paid on delivery
Please note I am only interested in the FST USING LTSA TOOL
Project Description
1. Overview
The coursework requires you to develop an FSP program to model a system of two students that share a printer to print documents and a technician who refills the printer with paper when it has run out.
This is to be done by using:
• FSP Process Analysis & Design Forms for each individual FSP process;
• FSP Process Composition Analysis & Design Form for the FSP parallel process composition;
• The LTSA tool.
________________________________________
2. Requirements
Design three types of FSP processes to model each of the following: Printer, Student & Technician.
And a parallel composite process to model the complete system.
NOTE: Due to the limits on the number of FSM states that the LTSA tool can draw (approximately 60), the numbers used in the processes below needs to be very small if the FSM diagrams are to be drawn, e.g. in the range 1 to 3.
________________________________________
Printer Process
The maximum number of sheets of paper the printer can contain, is 3. All documents take just one sheet of paper to print.
Its behaviour is as follows:
1. It is initialized with 3 sheets of paper.
2. Provided the printer has at least one sheet of paper left, it can be used to print a document.
3. To print a document:
1. a user must take mutually exclusive control of the printer,
2. the document is then printed,
3. the user releases mutually exclusive control of the printer,
4. The number of sheets of paper in the printer is reduced by 1 & the printer is then ready to print another document.
4. When the printer has run out of paper, a user cannot use it to print a document.
5. When the printer has run out of paper, the technician can then refill it with the maximum amount of paper, i.e. 3 sheets.
Note that the technician can just refill the printer, it does not need to take mutually exclusive control of the printer to do this.
________________________________________
Student Process
All of the documents the student wants to print, are short & take only one sheet of paper to print. A student's behaviour is as follows:
1. It is initialized with the number of documents it is to print.
2. For each document:
1. it takes mutually exclusive control of the printer,
2. prints the document &
3. Then releases control of the printer.
3. When it has finished printing all its documents it terminates.
________________________________________
Technician Process
Its behaviour is as follows:
1. Repeatedly, check if the printer is out of paper.
2. When the printer is out of paper, it refills the printer with the maximum number of sheets it can take, i.e. 3.
________________________________________
Composite Process: Printing System
This combines the following four processes in parallel:
1. One student process that is to print 3 documents.
2. One student process that is to print 2 documents.
3. One technician process that refills the printer with 3 sheets of paper.
4. One printer process that can hold up to 3 sheets of paper.
Hi there,
I have read your project description and i'm confident i can do this project for you perfectly.I still have a few questions. please leave a message on my chat so we can discuss the budget and deadline of the project.
Thanks
.
.
Hi There
I've excellent programming and development skills and knowledge. I can provide an efficient,
perfect, well documented development of your Programming and Computer project according
to 100% accuracy and requirements, with dedicated support.
Thanks
Farah Saif
hello,how are you.i read your bid carefully.
i am java/javafx expert and have full experience for 12 years.
java/javafx is my top skill and passision.
i can provide most quality and high speed.
if you want to success, please contact me.
Then, I will give you good result.
hire me.
I am confident I am the right candidate for this project as I have done many similar projects in the past. With years of experience in this field, I believe this project will be very easy for me.
I am CS grad. and can do it with perfection. I have written multiple programs of this kind.
Experience:
IIT Kanpur: Big Data research project.
Teach For India: Data Science Internship.
Parikshit Satellite team: Interfacing head.