Why choose this project topic?
The practical value of this topic lies in checking safety properties of a simplified multi-floor lift state machine. It gives a student a demonstrable computing problem, with property violations, reachable states and verification time providing concrete evidence for a critical project discussion.
Can model checking identify conflicting door and movement states in a bounded lift controller?
Agree the available tools, workload size and evaluation criteria with your supervisor; adapt checking safety properties of a simplified multi-floor lift state machine to a clearly bounded institutional or laboratory setting.
Proposed project objectives
- 01Specify the requirements and assumptions for checking safety properties of a simplified multi-floor lift state machine.
- 02Specify states and transitions, express safety and liveness properties and compare correct and intentionally faulty models under bounded requests.
- 03Evaluate property violations, reachable states and verification time against a documented baseline and discuss failure cases.
A suggested research approach
Specify states and transitions, express safety and liveness properties and compare correct and intentionally faulty models under bounded requests. Record the chosen implementation, dataset construction and repeatable test conditions before comparing property violations, reachable states and verification time. Keep development and evaluation cases separate where possible, and retain failed cases in the analysis rather than reporting only successful demonstrations.
What you will need
- State-machine specification
- Model checking tool
- Documented fault variants
Keep your project scope clear
A verified abstract model is not certification of real lift hardware or operational safety. A project write-up does not supply a working application.
Computer Science project chapter outline
Use this outline as a starting point. You can edit the chapter titles to match your department’s format during setup.
- Chapter 1Introduction
- Chapter 2Literature Review
- Chapter 3System Analysis and Design
- Chapter 4System Implementation and Testing
- Chapter 5Summary, Conclusion and Recommendations
Turn this topic into your own final year project.
Your title, department, research question and outline are ready. Add your institution, personalise the details and continue to your project workspace.
Generate the Complete Project Generation uses your word balance. Review the draft and supply your own verified research findings.