Difference between revisions of "Old Name of the new project"

From CERES
Jump to: navigation, search
Line 1: Line 1:
 
{{StudentProjectTemplate
 
{{StudentProjectTemplate
−
|Summary=(High Priority) Rigorous Real-time Network Modeling and Verification
+
|Summary=Using stock devices for unobtrusive fall detection
 
|Programme=EIS Masters 15hpc
 
|Programme=EIS Masters 15hpc
 +
|Keywords=Smart homes, pervasive computing, DiaSuite
 
|TimeFrame=6 months
 
|TimeFrame=6 months
 
|References=Contact instructor
 
|References=Contact instructor
 +
|Prerequisites=DA8003 Cyber-Physical Systems
 
|Supervisor=Walid Taha
 
|Supervisor=Walid Taha
 
|Examiner=Mohammad Reza Mousavi
 
|Examiner=Mohammad Reza Mousavi
Line 9: Line 11:
 
|Status=Open
 
|Status=Open
 
}}
 
}}
−
The core research question is to demonstrate that state of the art modeling and verification methods can be used to help design the communication infrastructure at the AstaZero test track.
+
The core research question is to whether stock devices can be used to effectively detect fall events in the home.
  
−
This project will be aligned with the KK AstaMoCA project involving professors Taha, Mousavi, and Vinel.
+
This project will be aligned with ongoing work at Charles Consel's research group at INRIA Bordeaux, France.
  
−
The research question involves primarily modeling communication systems, and extending verification tools to handle such models.
+
The research question involves primarily building a fall detection system using readily available components using the DiaSuite platform, and then evaluating it effectiveness at detecting falls.
  
−
The first component of the work is to build models of communication systems, starting from queuing systems and building up to full systems.
+
The first component of the work is learn how DiaSuite works and make an installation at the HH smart home environment.
  
−
The second component is the evaluation of current verification tools using these models. This involves using the models to test the tools to see if they are able to produce the expected results in a satisfactory manner.
+
The second component is to identify a base line fall detection device that can be used for comparing the new solution.
  
−
The third component of the work is extension of current verification technologies to improve the state of the art.
+
The third component is a state of the art review.
  
−
The fourth component is scholarship, consisting of reading related research papers and writing up the results of the work.
+
The fourth is to use DiaSuite to explore multiple options for detecting falls, including smart phones, basic motion sensors, specialized motion sensors (such as the kinect), and others.
  
−
The deliverables are a) a series of communication systems models that are mathematically valid and practically relevant, b) an extensive table evaluating the extent to which the verification technology is able to function on the benchmarks, c) an extension of the verification technology to handle key features of the benchmarks (which are relevant to the scientific community), and d) a thesis document and presentation.
+
The fifth component is the evaluation of detection methods that have been developed in the project. This involves using the models to test the tools to see if they are able to produce the expected results in a satisfactory manner.
 +
 
 +
The sixth component is writing up the results of the work.
 +
 
 +
References:
 +
 
 +
* https://hal.inria.fr/hal-00702909/file/diasuite.pdf
 +
* https://www.ncbi.nlm.nih.gov/pubmed/21096573
 +
* http://subs.emis.de/LNI/Proceedings/Proceedings208/1456.pdf
 +
* http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6610594
 +
* http://link.springer.com/chapter/10.1007%2F978-3-642-40261-6_55

Revision as of 14:33, 8 November 2016

Title Old Name of the new project
Summary Using stock devices for unobtrusive fall detection
Keywords Smart homes, pervasive computing, DiaSuite
TimeFrame 6 months
References Contact instructor
Prerequisites DA8003 Cyber-Physical Systems
Author
Supervisor Walid Taha
Level Flexible
Status Open

Generate PDF template

The core research question is to whether stock devices can be used to effectively detect fall events in the home.

This project will be aligned with ongoing work at Charles Consel's research group at INRIA Bordeaux, France.

The research question involves primarily building a fall detection system using readily available components using the DiaSuite platform, and then evaluating it effectiveness at detecting falls.

The first component of the work is learn how DiaSuite works and make an installation at the HH smart home environment.

The second component is to identify a base line fall detection device that can be used for comparing the new solution.

The third component is a state of the art review.

The fourth is to use DiaSuite to explore multiple options for detecting falls, including smart phones, basic motion sensors, specialized motion sensors (such as the kinect), and others.

The fifth component is the evaluation of detection methods that have been developed in the project. This involves using the models to test the tools to see if they are able to produce the expected results in a satisfactory manner.

The sixth component is writing up the results of the work.

References:

Retrieved from "https://wiki.hh.se/ceres/index.php?title=Old_Name_of_the_new_project&oldid=6490"