Thesis Topic Details

Topic ID:
3456
Title:
Literature review on formal modelling and verification for embedded medical systems
Supervisor:
Jude Angelo Ambrose
Research Area:
Embedded Systems, Formal Methods, Software Engineering
Associated Staff
Assessor:
Arcot Sowmya
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE BIOM BINF SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
--
Description:
Medical embedded systems have become much popular and there is a need to perform proper modelling and verification to avoid fatal consequences.

This project would involve a literature study on formal methods for medical embedded systems.

The candidate will have an opportunity to further take this to an MSc or PhD. Collaborations and funding is possible for a short stay in Germany to explore state-of-the-art
Comments:
--
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.