Old Name of the new project - Revision history

Nicholas: Nicholas moved page Name of the new project to Old Name of the new project without leaving a redirect

2016-11-11T11:26:33Z

Nicholas moved page Name of the new project to Old Name of the new project without leaving a redirect

Ceres at 21:08, 8 November 2016

2016-11-08T21:08:57Z

Ceres at 20:33, 8 November 2016

2016-11-08T20:33:37Z

Ceres at 13:33, 8 November 2016

2016-11-08T13:33:19Z

Ceres at 10:58, 20 October 2016

2016-10-20T10:58:14Z

Ceres at 10:57, 20 October 2016

2016-10-20T10:57:55Z

Ceres at 03:36, 11 October 2016

2016-10-11T03:36:30Z

Ceres at 03:35, 11 October 2016

2016-10-11T03:35:06Z

Ceres at 11:43, 10 October 2016

2016-10-10T11:43:27Z

Ceres: Created page with "{{StudentProjectTemplate |Summary=The proposed thesis work is being carried in collaboration with Saab - Airborne Surveillance System Business Units |Programme=Effective Imple..."

2015-11-18T22:57:22Z

Created page with "{{StudentProjectTemplate |Summary=The proposed thesis work is being carried in collaboration with Saab - Airborne Surveillance System Business Units |Programme=Effective Imple..."

New page

{{StudentProjectTemplate
|Summary=The proposed thesis work is being carried in collaboration with Saab - Airborne Surveillance System Business Units
|Programme=Effective Implementation of Advanced Sensor Application, 30 hp
|TimeFrame=6 months
|Supervisor=Anders Åhlander, Zain Ul-Abdin,
|Examiner=Mohammad Reza Mousavi
|Level=Master
|Status=Open
}}
For more details about the thesis work and the application procedure, follow the link:

http://saabgroup.com/sv/career/job-opportunities/examensarbete-effektiv-realisering-av-datorapplikationer-i-avancerade-sensorsystem/

@@ Line 1: / Line 1: @@
 {{StudentProjectTemplate
-|Summary=Mobile Acumen
+|Summary=Model-based Design of a Sailboat Autopilot
 |Programme=EIS Masters 15hpc
 |Keywords=Smart homes, pervasive computing, DiaSuite
@@ Line 11: / Line 11: @@
 |Status=Open
 }}
-The core research question is to whether we can improve the performance of Acumen to serve as a programming language for Mobile device applications.
+The core research question is to whether we can use Acumen for model-based design. This thesis aims to demonstrate this using a case study with a prototype sailboat. Technical challenges include modeling, instrumentation, localization, communication, and control
-This project will be aligned with efforts to explore the use of Acumen in primary school education.
+The first component of the work is build a prototype compiler that can target an embedded microcontroller platform (such as an arduino, raspberry pi, etc). This involves first selecting a series of more sophisticated examples that illustrate key features of controllers written within one Acumen object. For the purposes of synthesis the Acumen language itself may be extended with some specialized annotations that support this generation task and do not interfere with the semantics of Acumen models otherwise. Examples of such annotations may include special variable names that can be found on the target platform, special characteristics such as clock rate, etc.  Next, corresponding "generated" C or Java code is written by hand and tested extensively. Then, a BNF for a sufficient subset of C or Java is defined in Scala. Next, an interpreter is written for this subset (to enable fast testing of the translator). Then, a translator that automates this translation is written. Then, property-based tests are built for this interpreter. Next, a pretty-printer that generates an ASCII file for compilation on the target domain is built, and all collected examples are used to generate this translation. Finally, a collection of performance benchmarks are developed and used to evaluate the timing accuracy of of the results of the compiler. It should be noted here that this not raw performance, but rather, accuracy in terms of consistency of the timing characteristics and overall behavior of what happens on the target platform compared to what happens on the model. Some data logging and data download capabilities may be added to support this type of comparison.
-The research question is primarily about the feasibility of using a compiler to attain performance sufficient for building useful Mobile device applications using Acumen.
+The second component is to identify related work about sail boat control, to read it, and write a coherent overview of this literature, and position the results in the context of this literature.
-The first component of the work is build a prototype compiler. This involves first selecting a series of more sophisticated examples that illustrate key features of Acumen. Next, corresponding "generated" C or Java code is written by hand and tested extensively. Then, a BNF for a sufficient subset of C or Java is defined in Scala. Next, an interpreter is written for this subset (to enable fast testing of the translator). Then, a translator that automates this translation is written. Then, property-based tests are built for this interpreter. Next, a pretty-printer that generates an ASCII file for compilation on the target domain is built, and all collected examples are used to generate this translation. Finally, a collection of performance benchmarks are developed and used to evaluate the performance of the results of the compiler.
+The third component of the work is to model the robot in Acumen based on a suitable physical prototype that can be used for physical testing. Data-collection facilities developed in the first part should be used to evaluate the accurate of the simulations and the actual performance of the boat. A clear method should be developed to separate error from measurement and actual error in performance (such as the actual position and direction of the boat).
-The second component is to identify related work about domain-specific languages and portable mobile app development and read it and write a coherent overview of this literature, and position the results in the context of this literature.
+The fourth component is writing up the results of the work.
-−
-The thrid component is writing up the results of the work.
 References:
-* https://pdfs.semanticscholar.org/17ca/d7d6aef48805c1ab0eced0e9d64895fa3f89.pdf
+* https://www.ensta-bretagne.fr/jaulin/paper_jaulin_irsc12.pdf
-* http://nlytn.me/archives/2014/08/26/114
+* https://www.youtube.com/watch?v=ZkMAR5gP-bw
-* http://ieeexplore.ieee.org/abstract/document/7483269/
+* https://www.archives-ouvertes.fr/hal-00628434/document
-* http://gemoc.org/20130702-GlobalDSL13/xmob.pdf
+* https://www.ensta-bretagne.fr/jaulin/paper_lebars_irsc12.pdf

@@ Line 1: / Line 1: @@
 {{StudentProjectTemplate
-|Summary=Using stock devices for unobtrusive fall detection
+|Summary=Mobile Acumen
 |Programme=EIS Masters 15hpc
 |Keywords=Smart homes, pervasive computing, DiaSuite
@@ Line 8: / Line 8: @@
 |Supervisor=Walid Taha
 |Examiner=Mohammad Reza Mousavi
-|Level=Flexible
+|Level=Master
 |Status=Open
 }}
-The core research question is to whether stock devices can be used to effectively detect fall events in the home.
+The core research question is to whether we can improve the performance of Acumen to serve as a programming language for Mobile device applications.
-This project will be aligned with ongoing work at Charles Consel's research group at INRIA Bordeaux, France.
+This project will be aligned with efforts to explore the use of Acumen in primary school education.
-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 research question is primarily about the feasibility of using a compiler to attain performance sufficient for building useful Mobile device applications using Acumen.
-The first component of the work is learn how DiaSuite works and make an installation at the HH smart home environment.
+The first component of the work is build a prototype compiler. This involves first selecting a series of more sophisticated examples that illustrate key features of Acumen. Next, corresponding "generated" C or Java code is written by hand and tested extensively. Then, a BNF for a sufficient subset of C or Java is defined in Scala. Next, an interpreter is written for this subset (to enable fast testing of the translator). Then, a translator that automates this translation is written. Then, property-based tests are built for this interpreter. Next, a pretty-printer that generates an ASCII file for compilation on the target domain is built, and all collected examples are used to generate this translation. Finally, a collection of performance benchmarks are developed and used to evaluate the performance of the results of the compiler.
-The second component is to identify a base line fall detection device that can be used for comparing the new solution.
+The second component is to identify related work about domain-specific languages and portable mobile app development and read it and write a coherent overview of this literature, and position the results in the context of this literature.
-The third component is a state of the art review.
+The thrid component is 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 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://pdfs.semanticscholar.org/17ca/d7d6aef48805c1ab0eced0e9d64895fa3f89.pdf
-* https://www.ncbi.nlm.nih.gov/pubmed/21096573
+* http://nlytn.me/archives/2014/08/26/114
-* http://subs.emis.de/LNI/Proceedings/Proceedings208/1456.pdf
+* http://ieeexplore.ieee.org/abstract/document/7483269/
-* http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6610594
+* http://gemoc.org/20130702-GlobalDSL13/xmob.pdf
-* http://link.springer.com/chapter/10.1007%2F978-3-642-40261-6_55

@@ Line 1: / Line 1: @@
 {{StudentProjectTemplate
-|Summary=(High Priority) Rigorous Real-time Network Modeling and Verification
+|Summary=Using stock devices for unobtrusive fall detection
 |Programme=EIS Masters 15hpc
 |TimeFrame=6 months
 |References=Contact instructor
 |Supervisor=Walid Taha
 |Examiner=Mohammad Reza Mousavi
@@ Line 9: / Line 11: @@
 |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.

@@ Line 7: / Line 7: @@
 |Examiner=Mohammad Reza Mousavi
 |Level=Flexible
-|Status=Finished
+|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.

@@ Line 1: / Line 1: @@
 {{StudentProjectTemplate
-|Summary=Multiple Projects
+|Summary=(High Priority) Rigorous Real-time Network Modeling and Verification
 |Programme=EIS Masters 15hpc
 |TimeFrame=6 months
@@ Line 9: / Line 9: @@
 |Status=Finished
 }}
-My preference is always to discuss projects with students in the context of their individual goals and experiences. For this reason, I prefer to give project suggestions at a high level so that we can work together on developing the most meaningful project for both the student and the host research team.
+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.
-Ideas for EIS Masters Thesis Projects
+This project will be aligned with the KK AstaMoCA project involving professors Taha, Mousavi, and Vinel.
-- Model-based design for intelligent transportation systems.
+The research question involves primarily modeling communication systems, and extending verification tools to handle such models.
-  Using miniature cars in our lab.
-  Develop a careful and reliable model.
-  Instrumenting the lab for reliable and easy to use measurement.
-  Validating the model against measured data using enclosures.
-  Demonstrating adoption by students and teachers at HH.
-  Demonstrating relevance to industrial partners.
-- Reliable modeling and simulation of bipedal robots and/or vehicle dynamics.
+The first component of the work is to build models of communication systems, starting from queuing systems and building up to full systems.
-  Using EL equations.
-  Using enclosures.
-  Requires robot modeling and developing enclosure semantics.
-  Involves comparing with other tools.
-- A platform for crowdsourced design.
+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.
-  Transforming ModGame into a platform for open,
-  collaborative design.
-  What would it take in terms of design, computing, and security?
-  Should/can we move Acumen to be a fully web-based platform?
-  How can we evaluate it in the small?
-  How can we evaluate it in the large?
-- Robust optimization by generalizing rigorous simulation.
+The third component of the work is extension of current verification technologies to improve the state of the art.
-  Application to discrete and differential games.
-  Applications to path planning and scheduling.
-  Applications to circuit design and controller design.
-- Language primitives to support Maxwell's equations.
+The fourth component is scholarship, consisting of reading related research papers and writing up the results of the work.
-  Support using traditional interrupters, then using enclosures.
-  Evaluation on antenna designs and mimo.
-  Experimental evaluation in our own e-lab.
-Ideas for Theoretical Computer Science projects:
+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.
-−
-- Extending Acumen's support for non-determinism.
-  Supporting conflicting-but-bounded rewrites.
-  Identifying confluent conflicts.
-−
-- A visual language for faster model-based design.
-  A graphical interface for design.
-  Web-based implementation would probably be a big plus.
-  Will naturally build on Viktor's work.
-−
-- Support for interaction with a simulation through 3D view.
-  Designing syntax extension needed.
-  Designing basic types of interactions allowed.
-  Supporting deployment on PC, mobile devices, web-apps.
-  App store support.
-−
-- A faster enclosure backend with parallel server support.
-   Based on the CAPD library.
-   Focus on larger benchmarks studied by others.
-−
- - Support for bounded and stochastic uncertainty.
-   Case studies with applications to communication systems.
-   Starting with queuing systems.
-−
- - Investigating contractors for hybrid dynamical systems.
-   Looking at DynIBEX.
-   Building somethings similar for Acumen.
-   Benchmarking both old and new interpreters.
-−
- - Methods for improving accuracy and efficiency.
-   Looking mainly at the work of Stan Bek and company.
-   Shrink wrapping.
-   Extensive benchmarking with other tools.
-   Focus on case studies from automotive domain
-−
-- A faster implementation of the various Acumen semantics within Scala (using RTCG and or staging).

← Older revision	Revision as of 11:26, 11 November 2016
(No difference)