CERES - New pages [en]

Microfluidic Devices with Onboard Sensors for Data Collection

2019-11-27T08:47:26Z

Ross: Created page with "{{StudentProjectTemplate |Summary=Integrate sensors to microfluidic devices for data collection |Programme=Embedded and Intelligent Systems |Keywords=Microfluidics; Data Colle..."

{{StudentProjectTemplate
|Summary=Integrate sensors to microfluidic devices for data collection
|Programme=Embedded and Intelligent Systems
|Keywords=Microfluidics; Data Collection; Lab-on-Chip; Biology; Embedded Systems
|TimeFrame=November 2019 - 6 Months
|References=https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0224492

https://pubs.rsc.org/en/content/articlelanding/2016/lc/c6lc00562d/unauth#!divAbstract

|Prerequisites=None
|Supervisor=Ross Friel
|Examiner=Slawomir Nowaczyk
|Author=Ross Friel
|Level=Flexible
|Status=Open
}}
Research Question:

The question is can we integrate sensors into 3D Printed microfluidic devices and use these for relevant data collection with regards to biological x-ray analysis applications.

This project is more hardware related in that it is a hands-on experimental device manufacture project for experimental usage. There is a software aspect as the use of a microcontroller (e.g. Arduino) would be necessary to interpret electrical data from the device sensors.

Work packages:
1) Review the area via literature, supervisor discussion and collaborators to gain the necessary background in the area. Document this and generate specific thesis objectives to answer the research question and act as a measure of success.
2) Modify existing 3D Printed microfluidic device designs for sensor integration and relevant data output. Identify suitable sensors for the necessary data collection.
3) Produce devices and integrate sensors.
4) Test the devices in bench-top experiments to run relevant biological (non-hazardous) material through them whilst collecting and interpreting relevant data.

Bonus Work Package:
5) Experiment with the device at the MAX IV synchrotron to collect data in a 'real' environment/experiment.

Deliverables:
* Suitable literature review
* Experimental 3D Printed microfluidic device with data collection functionality.
* Experimental data showing what was collected.
* Thesis describing in detail the objectives, reasoning on technological choices, clearly presented data for results and discussion.

Outcomes:
* Real hands-on research experience for the student.
* Further development of microfluidic devices for use at synchrotrons.
* Beneficial work to increase Halmstad Universities research profile.
* Contributing bonus work to the SSF funded project 'AdaptoCell'.

Minimize the software download time for embedded vehicle devices using pre-calculated delta extract on the Cloud

2019-10-25T08:47:13Z

Ceres: Created page with "{{StudentProjectTemplate |Summary=Minimize the software download time for embedded vehicle devices using pre-calculated delta extract on the Cloud |TimeFrame=Dec 2019 - May 20..."

{{StudentProjectTemplate
|Summary=Minimize the software download time for embedded vehicle devices using pre-calculated delta extract on the Cloud
|TimeFrame=Dec 2019 - May 2020
|Supervisor=Wojciech Mostowski
|Examiner=Slawomir Nowaczyk
|Level=Master
|Status=Open
}}
A modern vehicles has a myriad of features governed software (1 gigabyte of total size) and updates are needed frequently. However, getting the updates via the Internet and installing them on the embedded devices of the vehicle is extremely time consuming and cannot be done while the vehicle is in operation. Research question: How can we minimize the software download time for embedded vehicle devices using pre-calculated delta extract?

The concept should be evaluated on three embedded vehicle devices, small, medium and large. A cloud service will be used to perform the diff calculations. We will try to contribute to practice by showing a more time efficient way for software updates, and the theoretical contribution is a unique usage of diff calculations for embedded software download.

Modeling of Platooning Vehicles in Unity

2019-10-13T07:47:22Z

Mohamed: Created page with "{{StudentProjectTemplate |Summary=Unity visualization of communicated platooning vehicles under different situations |Keywords=Platooning, vehicle, simulator, C#, communicatio..."

{{StudentProjectTemplate
|Summary=Unity visualization of communicated platooning vehicles under different situations
|Keywords=Platooning, vehicle, simulator, C#, communication, Unity
|Prerequisites=Programming, vehicle dynamics, communication
|Supervisor=Alexey Vinel, Johan Thunberg
|Level=Master
}}
A platoon (or road train) is a collection of vehicles that cooperate to reach some common goal, such as traveling to a certain common destination. The platoon is led and coordinated by a lead vehicle, manually or automatically driven whereas following trucks are autonomous driven and mimicking the leader's motion. A challenge is a precise coordination in critical situations, e.g. when vehicles in the platoon perform an emergency brake. The overall motivation is to avoid collisions.
The simulator of platooning vehicles should be implemented in Unity which is a multi-platform game engine, mainly used to develop two- and three-dimensional games and simulations. A realistic model for each platooning vehicle as well as a communication framework for inter-vehicle (V2V) communication has to be implemented in the simulator. The safety of the platoon has to be achieved by adjusting inter-vehicles distances depending on the message loss probabilities within the platoon which are affected by environment conditions. It is interesting to understand the performance of different distance adjusting algorithms during emergency braking in terms of safety and stability.

Stefan Axelsson

2019-10-10T07:35:01Z

Pererik: Created page with "https://www.hh.se/information/sok-personal.html?url=-1708965309%2Fl9%2Fhhstaff%2Fdetail.lasso%3Fdo%3Dstart%26groupmember%3D6ec3c640-5ccc-4bf3-90ee-c84b7fc7d3af&sv.url=12.3252f..."

https://www.hh.se/information/sok-personal.html?url=-1708965309%2Fl9%2Fhhstaff%2Fdetail.lasso%3Fdo%3Dstart%26groupmember%3D6ec3c640-5ccc-4bf3-90ee-c84b7fc7d3af&sv.url=12.3252fcc5165f6c51bf6b69ae

Mark Dougherty

2019-10-10T07:34:14Z

Pererik: Created page with "https://www.hh.se/information/sok-personal.html?url=-1708965309%2Fl9%2Fhhstaff%2Fdetail.lasso%3Fdo%3Dstart%26groupmember%3Dcb4df23c-ebcf-474c-9271-af6c2dc99e8e&sv.url=12.3252f..."

https://www.hh.se/information/sok-personal.html?url=-1708965309%2Fl9%2Fhhstaff%2Fdetail.lasso%3Fdo%3Dstart%26groupmember%3Dcb4df23c-ebcf-474c-9271-af6c2dc99e8e&sv.url=12.3252fcc5165f6c51bf6b69ae

Angle invariant radar reflectors for autmotive safety

2019-10-10T07:33:18Z

Pererik:

{{StudentProjectTemplate
|Summary=Angle invariant radar reflectors for autmotive safety
|Programme=Flexible
|Keywords=Radars, image analysis, automotive safety
|TimeFrame=Asap + 6 months
|Supervisor=Pererik Andreasson, Josef Bigun, Emil Nilsson, Ross Friel
|Examiner=Depends on course
|Author=Pererik Andreasson
|Level=Flexible
|Status=Finished
}}
The purpose is to design low cost radar reflectors to increase automotive safety. WIth the same purpose as optical reflectors (Swedish: ”reflexer”), sensitive traffic (pedestirams, prams, bicycles) could be equipped with a radar reflector which informs the car about the presence of such traffic. The main purpose would be to investigate how an angle (and distance) independent radar reflector could be designed and verify this with signal analysis, image analysis both numerically and possibly experimentally.

Björn Nilsson

2019-10-10T07:26:24Z

Pererik: Created page with "https://www.hh.se/information/sok-personal.html?url=-1708965309%2Fl9%2Fhhstaff%2Fdetail.lasso%3Fdo%3Dstart%26groupmember%3D3980f63b-5509-4f14-9e24-84514593f946&sv.url=12.3252f..."

https://www.hh.se/information/sok-personal.html?url=-1708965309%2Fl9%2Fhhstaff%2Fdetail.lasso%3Fdo%3Dstart%26groupmember%3D3980f63b-5509-4f14-9e24-84514593f946&sv.url=12.3252fcc5165f6c51bf6b69ae

Physically small antennas

2019-10-10T07:24:38Z

Pererik: Designing meta-materials (computationally and experimentally) for electrically small antennas

{{StudentProjectTemplate
|Summary=Designing meta-materials (computationally and experimentally) for electrically small antennas
|Programme=Flexible
|Keywords=Antenna, computational electromagnetics, hearing aids
|TimeFrame=Asap + 6 months
|Supervisor=Björn Nilsson, Pererik Andreasson
|Examiner=Depends on course
|Author=Pererik Andreasson
|Level=Flexible
|Status=Open
}}
This project is aiming on paving the way and giving suggestion for new physical small antennas in hearing instruments. The antennas could be made using 3D technology, exploring volume, maximizing the usage of free physical space. Painted or screen-printed antennas is also of great interest. Exploring different methods to increase the antenna efficiency, mainly for the 2.4 GHz ISM band, by investigating the building methods and exploring different materials. The project partners have a long experience in antenna and RF building practice, covering both commercial and research aspects. The combined competence arching over antennas, 3D printed quasi-optics [1], low power IoT [2], RF-ASIC design [3], and nano-structure fabrication.. Hearing instruments need small antennas for wireless communication. The carrier frequency is in the 2.4GHz ISM band. Antennas are placed close to the head, often in the ear or behind the ear. Losses due to the close vicinity of the body need to be addressed. One of the antenna types used today is the magnetic loop antenna with a dimension much smaller than the wavelength, giving the antenna low efficiency. Investigation if it is possible to create new materials that enables miniaturization, good radiation properties, low loss, and low cost. Today the conducting antenna, made of copper, uses FR4 as carrier substrate.

Computationally efficient radar estimation from multiple radar sensors

2019-10-03T13:37:46Z

Pererik:

{{StudentProjectTemplate
|Summary=Computationally efficient radar estimation from multiple radar sensors.
|Programme=Computer science
|Keywords=Radar, point clouds, sensor fusion
|TimeFrame=asap, 6 months
|References=Test
|Prerequisites=Test
|Supervisor=Johan Thunberg, Emil Nilsson, Pererik Andreasson
|Examiner=Depending on which course
|Author=Johan Thunberg, Emil Nilsson
|Level=Flexible
|Status=Open
}}
Radar is emerging as a non-invasive alternative in applications such as healthcare monitoring. Key features such as pulse, respiration and movement patterns are possible to detect using spectral methods. A natural question in this context is how the estimation of such features can be improved by utilizing multiple radar sensors. In the context of computer vision, the benefits of using multiple cameras over one are well known. The multiple data obtained from different cameras can be used together to improve the accuracy of the feature estimations. However, the extension to multiple sensors comes at a price. The multiple data obtained from the different sensors need to be synchronized, or equivalently be associated or put into correspondence, which comprises a new problem not present for one sensor.

In computer vision such synchronization algorithms have been well studied and can be applied at different steps in the feature detection process. Radar data however, differs from the image data obtained in computer vision. There is a need to understand if algorithms from computer vision can be efficiently applied to such data on the one hand, and what new methods need to be developed on the other. To answer these questions we propose the following project:

A multi-radar test bed shall be developed. The radar sensors are placed at different positions and with different orientations. They observe a common scene. The scene can be either static (nothing is moving) or dynamic (a person or on object moves). The data from the multiple sensors will be used for evaluation of the algorithms. In order to benchmark the algorithms, additional information will be used to obtain the ground truth of the scenes in question. Such information is obtained by using regular cameras on the one hand, and knowledge about the objects’ geometry on the other. This means that, all-in-all, the testbed contains multiple radars, multiple cameras and objects with (at least partly known) geometry.
The suggested development environment is Matlab. However, the data format and storage is yet to be determined.
The main output of the project is a data set with radar data and camera data that can be used for algorithm evaluation. A secondary goal, which is not a requirement for completion of the project, is that a basic evaluation of some algorithm for feature estimation is implemented.

Computational algorithms for radar point target clouds

2019-10-01T15:37:14Z

Pererik: Created page with "{{StudentProjectTemplate |Summary=Computational efficient association of objects/targets/features in scene from multiple radar data. |Programme=Any |Keywords=image analysis, r..."

{{StudentProjectTemplate
|Summary=Computational efficient association of objects/targets/features in scene from multiple radar data.
|Programme=Any
|Keywords=image analysis, radar
|TimeFrame=6 months
|Supervisor=Emil Nilsson, Johan Thunberg
|Examiner=Depends on programme
}}

Simulation of vehicle platoon braking

2019-09-30T14:14:41Z

Mohamed: Created page with "{{StudentProjectTemplate |Summary=Extension of a platooning simulator. |Keywords=Platooning, vehicle, simulator, java, communication, simulation measurement campaign |Referenc..."

{{StudentProjectTemplate
|Summary=Extension of a platooning simulator.
|Keywords=Platooning, vehicle, simulator, java, communication, simulation measurement campaign
|References=https://www.springerprofessional.de/en/quantitative-safety-analysis-of-a-coordinated-emergency-brake-pr/16239154
|Prerequisites=Programming, vehicle dynamics, communication
|Supervisor=Alexey Vinel, Magnus Jonsson,
|Author=Carl Bergenhem
}}
A platoon (or road train) is a collection of vehicles that cooperate to reach some common goal, such as travelling to a certain common destination. The platoon is led and coordinated by a lead vehicle, manually or automatically driven. Longitudinal and lateral control can be automated in the following vehicles. Some manoeuvres, such as driving with short intervehicle gaps and joining the platoon from the side, may imply that a human drive is not capable enough and control and coordination must hence be automated by the platoon. CACC is similar to platooning but may have less coordination between vehicles and also less degree of automation, e.g. it may lack lateral automation.
A challenge is coordination in a situation where a vehicle in the platoon performs an emergency brake. The overall motivation is to avoid collisions within the platoon while still performing braking as efficiently (i.e. as high retardation) as possible.
The simulator implements (in java) a model for each platoon vehicle as well as a communication framework for inter-vehicle (V2V) communication. The message loss model can be based on measured data or random loss. The platooning simulator is capable of simulating an N-vehicle platoon travelling in one dimension along a roadway. A scenario is controlled with simple inputs of: accelerate %, decelerate % and emergency brake. Scenario parameters are monitored to gather statistics of the outcome.
A key control algorithm in the platooning simulator is the longitudinal position controller. For this, an CACC algorithm is implemented to control the component of each vehicle. In the simulator there is a detailed model of vehicle braking. This includes a model of a brake-by-wire subsystem featuring: (i) global brake torque distribution to individual wheels, (ii) ABS functionality based on slippage detection, and (iii) a friction model for tyres based on slippage rate using common physical parameter values. Environment models in the simulator deal with air resistance and road friction.
Suggestion of contribution:
• Implementation of emergency brake strategy with different communication strategies. This should be realistic, in terms of what communication models are given by the assumed communication mode: e.g. ITS-G5 or 5G.
• We were interested to understand the performance of the algorithm, in combination with message packet loss, during emergency braking. The simulator allows different parameters such as message loss and headway to be modulated. E.g. studying achieved brake distance and probability of crash at a certain headway. To attain these values experimentally it is suitable to use a computing cluster.

Digital forensics investigations of IoT using electromagnetic side channels

2019-09-30T13:33:55Z

Axelsson: Detect and analyse IoT devices through their EM radiation

{{StudentProjectTemplate
|Summary=Use electromagnetic leakage from IoT devices to determine what software they're running
|Keywords=electronics, computer architecture, security
|TimeFrame=spring
|References=http://dfrws.org/conferences/dfrws-usa-2019/sessions/leveraging-electromagnetic-side-channel-analysis-investigation
|Prerequisites=electronics, electromagnetic field theory, physics, security
|Supervisor=Stefan Axelsson, Mark Dougherty, Mohamed Eldefrawy
|Author=Stefan Axelsson
|Level=Master
|Status=Open
}}
When computers run, they give rise to electromagnetic radiation that can be picked up by a nearby probe. It has long been known that this EM radiation can leak information about what the computer is doing, even up to the point of being able to determine (with statistical certainty) a particular cryptographic key that is in use.

However, in digital forensics to come, police will arrive at a crime scene and not even know what devices are present, and what bearing that could have on the case. This due to IoT devices, which will probably be scattered around the landscape. Thus finding, and determining what these devices are doing is valuable from a crime fighting perspective. Determining whether the firmware an IoT device is running is the original, or has been hacked would be useful.

We have already started work in this field, first by trying to replicate previous results, but there are many obvious new ways of taking this research, which particular ones are upp for discussion. As this is an area of current research here at Halmstad, we would aim for a result that is publishable.

Radar based chronograph (bullet sensor)

2019-09-30T08:33:43Z

Axelsson: Dopler radar (rifle) bullet speed measurement

{{StudentProjectTemplate
|Summary=Develop a cheap chronograph to measure bullet speed using a radar sensor
|Keywords=electronics, computer engineering, physics
|TimeFrame=spring
|References=https://mylabradar.com
|Prerequisites=electronics, physics, computer engineering
|Supervisor=Stefan Axelson, Pererik Andreasson
|Author=Stefan Axelsson
|Level=Flexible
|Status=Open
}}
Measurement of bullet speed is important in many situations. From speed measurement when developing rifle ammunition (to achieve accuracy and ensure the round is legal to hunt with) to ballistic measurement of guns shots in crimes (or war zones).

Most simple chronographs today use optical sensors, but these have the drawback that the bullet has to pass through a very well defined measurement zone (on the order of 20x20cm). This also means that there is a considerable risk to shoot the chronograph, and that one has to go down range to set it up (which is a safety hazard).

There have however been one chronograph developed on the dopler radar principle. This is however rather expensive, while the radar modules etc. shouldn't really be. It also uses the 22GHz band, which is a bit low for the optimal detection of the base of a bullet (which is on the order of 7-8mm across). There are now many cheaper radar modules for the automotive market, one should be able to adapt one of these for this simple dopler case (i.e. dopler shift is the only measurement made, angular resolution is not needed).

So this project entails developing a chronograph that is highly accurate (better than one part per thousand), cheap, based on the dopler radar principle, and that can be placed behind the muzzle of the rifle, and report speed to the shooter.

Sponsorship and guidance from the hunting/gun shop just across the parking lot from the school has been secured in the form of an experienced former police officer with access to rifles and the local range. (Thus also ensuring the legality and safety of the project).

Acoustic bullet detection and measurement

2019-09-30T08:25:42Z

Axelsson: Develop bullet speed chronograph based on acoustic measurement

{{StudentProjectTemplate
|Summary=Measure speed and direction of a supersonic rifle bullet with acoustic sensors
|Keywords=electronics, physics, computer engineering
|TimeFrame=spring
|References=https://pdfs.semanticscholar.org/5ece/afa03dfb1a9233588d7c9077378c47d05183.pdf
https://hal.archives-ouvertes.fr/hal-01852518/document
|Prerequisites=electronics, computer engineering
|Supervisor=Stefan Axelsson, Pererik Andreasson
|Author=Stefan Axelsson
|Level=Flexible
|Status=Open
}}
Measurement of bullet speed and direction of travel is important in many situations. From speed measurement when developing rifle ammunition (to achieve accuracy and ensure the round is legal to hunt with) to ballistic measurement of guns shots in crimes (or war zones).

Most simple chronographs today use optical sensors, but these have the drawback that the bullet has to pass through a very well defined measurement zone (on the order of 20x20cm). This means that down range (i.e. close to the target) measurements are not possible as the risk of missing (and shooting the measurement device) are too great. This is problematic in that Swedish legislation specify minimum energy for hunting ammunition at 100 meters, not the muzzle.

However, the bow shock wave from a supersonic bullet is of very short duration and easy to detect. Hence the careful placement of microphones somewhere along the bullet path should lead to an accurate measure of bullet flight, both speed and direction. (Measuring where the bullet hit on a paper target should be possible as well, given the proper geometry of the microphones).

So this project entails developing a chronograph that is highly accurate (better than one part per thousand) and that can be more freely placed down range, and report speed (and placement/direction if possible) to the shooter.

Sponsorship and guidance from the hunting/gun shop just across the parking lot from the school has been secured in the form of an experienced former police officer with access to rifles and the local range. (Thus also ensuring the legality and safety of the project).

FEM simulation of bullet sensor

2019-09-30T07:38:22Z

Axelsson: Develop and test FEM model of bullet speed measuring sensor

{{StudentProjectTemplate
|Summary=Simulate a magnetic reluctance sensor that detects speeding bullet
|Keywords=electro magnetism, physics
|TimeFrame=spring
|References=https://magnetospeed.com
https://patents.google.com/patent/US9709593B1/en
|Prerequisites=electromagnetics
|Supervisor=Stefan Axelsson, Struan Gray, Pererik Andreasson
|Author=Stefan Axelsson
|Level=Flexible
|Status=Open
}}
A new entry on the market of ballistic chronographs (i.e. devices that measure the muzzle velocity of bullets) is Magnetospeed. While other, previous, sensors typically measure light occlusion, this chronograph works on the principle of magnetic reluctance (the same type of sensor that measures the rotational speed of the wheels in your car for the ABS system). Here a bullet, of a conducting but non-magnetic material, is shot into a static magnetic field. This field induces a current in the bullet, that in turn induces a magnetic field that is picked up by a coil.

Muzzle velocity is important from a number of aspects, i.e. developing loads that shoot accurately, but also make sure that hunting ammunition fulfill legal energy requirements for particular types of hunting etc.

I have already built such a sensor bar, and they are commercially available, but the geometry, field strengths etc. are not sufficiently well understood from an engineering perspective. An analytical solution is probably complex, but a FEM (Finite Element Modeling) solution is probably within reach. We have the COMSOL software at the school, but there are also free and open multi-physics simulation software available such as ELMER (from CSC in Finland).

So this thesis would develop such a model based on real bullets, speeds etc. and calibrate/compare it with real field measurements (using a .223 and .308 caliber hunting rifle with moderator). Sponsorship and guidance from the hunting/gun shop just across the parking lot from the school has been secured in the form of an experienced former police officer with access to rifles and the local range. (Thus also ensuring the legality and safety of the project).

Read hard drive with AFM

2019-09-30T07:16:23Z

Axelsson:

{{StudentProjectTemplate
|Summary=See if it's possible to read bits from a hard-drive with an Atomic Force Microscope
|Keywords=electronics, physics, computer engineering, security, digital forensics
|TimeFrame=spring
|References=https://www.usenix.org/legacy/publications/library/proceedings/sec96/full_papers/gutmann/index.html
|Prerequisites=An understanding of digital electronics and physics
|Author=Stefan Axelsson
|Supervisor=Stefan Axelsson, Struan Gray
|Level=Master
|Status=Open
}}
Hard drives store data by magnetizing a disk that spins by a read head at high speed. Hard disk density depending on how close together the tracks are (and how small the magnetic domains are) increases all the time. However, recovering data from broken hard drives (whether by accident, or someone put a sledge hammer to them to try and destroy the data) is always important. Both to understand what's possible when it comes to securely deleting data (and destroying data), and for e.g. criminal investigations.

At the school we have a fairly good AFM - Atomic Force Microscope, that we'd hope to put to use to read the magnetic data regions on a disassembled, modern, hard drive. This is work that has been done before, but it needs to be done repeatedly as hard drives develop.

Emil Nilsson

2019-09-20T15:37:17Z

Pererik: Created page with "https://hh.se/information/sok-personal.html?url=-1708965309%2Fl9%2Fhhstaff%2Fdetail.lasso%3Fdo%3Dstart%26groupmember%3D1bad074f-f273-4f81-9a57-1f7f394e8be0&sv.url=12.3252fcc51..."

https://hh.se/information/sok-personal.html?url=-1708965309%2Fl9%2Fhhstaff%2Fdetail.lasso%3Fdo%3Dstart%26groupmember%3D1bad074f-f273-4f81-9a57-1f7f394e8be0&sv.url=12.3252fcc5165f6c51bf6b69ae

Pererik Andreasson

2019-09-20T15:31:46Z

Pererik: Created page with "https://hh.se/information/sok-personal.html?url=-1708965309%2Fl9%2Fhhstaff%2Fdetail.lasso%3Fdo%3Dstart%26groupmember%3D18b988eb-3b2c-41dd-973f-e2652195b226&sv.url=12.3252fcc51..."

https://hh.se/information/sok-personal.html?url=-1708965309%2Fl9%2Fhhstaff%2Fdetail.lasso%3Fdo%3Dstart%26groupmember%3D18b988eb-3b2c-41dd-973f-e2652195b226&sv.url=12.3252fcc5165f6c51bf6b69ae

Control system for automotive radar

2019-09-20T15:28:32Z

Pererik: Created page with "{{StudentProjectTemplate |Summary=Build an interfaced software to control an automotive radar (provided) |Programme=Computer science, embedded (suitable for both 15 and 30 cre..."

{{StudentProjectTemplate
|Summary=Build an interfaced software to control an automotive radar (provided)
|Programme=Computer science, embedded (suitable for both 15 and 30 credit theses)
|Keywords=automotive radar, embedded systems
|TimeFrame=6 mongths
|References=http://www.ti.com/tool/AWR1642BOOST#
|Prerequisites=programming skills either MatLab, Python
|Supervisor=Pererik Andreasson, Emil Nilsson
|Examiner=Depends on the course
|Author=Pererik Andreasson
|Level=Flexible
|Status=Open
}}

Gundläggande programmering med matematikdidaktisk inriktning ht 2018

2019-02-18T11:58:44Z

Ceres:

Samlad material som kursdeltagarna i kursen producerade för det egna klassrummet.

Algebra för 7-9 (elevmaterial [[file:k-k-elevmaterial.pdf]] samt material för lärare [[file:K-k-lärare.pdf]])

Algoritmer för 7-9 (samlad material [[file:mc-algoritmer.pdf]])

Introduktion till programmering med infärg av matematik för gymnasiet (samlad material [[file:os-introProgMatte.pdf]])

Programmeringslektion för gymnasiet (samlad material [[file:dv-programmering.pdf]])

Didaktisk programmeringsuppgift för gymnasiet (samlad material [[file:ma-didaktiskProgrammering.pdf]])

Contracted education

2019-02-18T11:57:40Z

Ceres: Created page with "Some of the courses we have offered: Gundläggande programmering med matematikdidaktisk inriktning ht 2018 för lärare i matematik (7-9 samt gymnasiet)."

Some of the courses we have offered:

[[Gundläggande programmering med matematikdidaktisk inriktning ht 2018]] för lärare i matematik (7-9 samt gymnasiet).

DI4013 Linux Administration

2019-01-29T18:25:12Z

Ceres:

[http://hh.se/sitevision/proxy/arstudent/sokkursplan.4677.html/svid12_70cf2e49129168da015800074301/752680950/se_proxy/utb_kursplan.asp?kurskod=DI4013&revisionsnr=1&format=pdf&lang=en course plan]

[https://hh.blackboard.com/webapps/blackboard/content/listContentEditable.jsp?content_id=_215554_1&course_id=_10321_1&mode=reset Blackboard site]

[[file:DI4013-course-evaluation-students.pdf]] The course evaluation is not completed yet. The linked file has the answers by the students but is not commented by the examiner.

The course was taught during the fall of 2018 Nov. till Jan. Course responsible was Mohamed-Rafik Bouguelia (mohbou@hh.se).

DT2012 Programmering

2019-01-29T16:53:46Z

Ceres:

[http://hh.se/sitevision/proxy/arstudent/sokkursplan.4677.html/svid12_70cf2e49129168da015800074301/752680950/se_proxy/utb_kursplan.asp?kurskod=DT2012&revisionsnr=5&format=pdf course plan]

[http://tinyurl.com/dt2012ht18 Blackboard site] (Try the link twice if you are denied access!)(This year BB had problems with some modules being public so not all content modules are available)

[[File:Dt2012-Course-evaluation-all-answers.pdf]] The course evaluation with all answers, including text from the students but not commented by the examiner.

[[File:CourseEvalForStudents.pdf]] The course evaluation as is shown to students (no text but with comment from examiner).

The course was taught during the fall of 2018, during the whole semester. Course responsible was Verónica Gaspes (veronica.gaspes@hh.se).

2019-01-29

2019-01-29T16:35:27Z

Ceres:

The meeting was attended by Stefan, Sepideh, Nicolina, Slawomir, Wagner, Johan, Wojciech, Mikael and Vero.

In the invitation to the meeting vero had written:

::: ''I would like us to start by discussing how we best do what is expected from us: to develop our courses, to review course plans and to review course evaluations.''

::: ''Also, if we have time and if we have volunteers we can discuss some ideas for course development, we can mention something that has come up from earlier course evaluations. ''

The discussion included better knowing what we do in each others courses (both contents but also how we do things). This as part of the background we need in order to develop our courses. The idea is to find things we can do in courses and among groups of courses. To begin with we will publish a link to material in Blackboard and the course evaluations. Also, we will invite the subject group to attend some session in one of our courses.

Other things that might be useful for developing courses might be data related to how many students pass, how well the teaching sessions are attended, how many hours we schedule for the students, etc. A lot of this can be collected in the pages we start for each course in this wiki.

We discussed things we can start doing. For the series of courses in programming we will start working on re-designing the first programming course in connection with Johan taking over after vero. In the AI series of courses we will try to see whether we can improve how the courses more clearly integrate their parts: some of the courses with modules are perceived like small courses by the students.

The next meeting (23 april according to the school schedule) we will start looking at who will be teaching what in the spring of 2020 (it is too late to look at the fall of 2019). We will also discuss some course evaluations, but we will base the discussion assuming that we have looked at the course evaluations published in this wiki for each of the courses.

Computer Science subject group

2019-01-29T16:25:01Z

Ceres:

A list of courses that are discussed in the subject group Computer Science. For each course you will find a link to the Blackboard site for the course, a link to the course plan and the course evaluation. <br/>
There are meeting notes for each of the subject group meetings.<br/>
=== Courses ===
[[DT2012 Programmering]]

[[DI4013 Linux Administration]]

=== Meeting notes CS ===
[[2019-01-29]]<br/>

Connected Autonomous Vehicles in Confined Areas

2018-10-24T22:32:07Z

Ceres: Created page with "{{StudentProjectTemplate |Summary=Connected Autonomous Vehicles in Confined Areas |References=J. E. Siegel, D. C. Erb and S. E. Sarma, "A Survey of the Connected Vehicle Lands..."

{{StudentProjectTemplate
|Summary=Connected Autonomous Vehicles in Confined Areas
|References=J. E. Siegel, D. C. Erb and S. E. Sarma, "A Survey of the Connected Vehicle Landscape—Architectures, Enabling Technologies, Applications, and Development Areas," in IEEE Transactions on Intelligent Transportation Systems, vol. 19, no. 8, pp. 2391-2406, Aug. 2018. doi: 10.1109/TITS.2017.2749459
|Prerequisites=Data communication course(s) or similar; programming skills
|Supervisor=Magnus Jonsson, Alexey Vinel
|Examiner=Tomas Nordström
|Level=Master
|Status=Open
}}
Autonomous vehicles are expected to be widely employed in the future. That wireless communication between the autonomous vehicles and with infrastructure will be crucial seems obvious. However, it is not obvious how city planners must think to prepare for the technology shift with autonomous driving. Evaluation of different scenarios from a communications and infrastructure point-of-view is therefore needed as a step in the work towards being able to provide guidelines for cities and regions to to plan for an automated future. This master thesis project is connected to a planned EU Interreg project where the municipality of Varberg is also part.

1. Learn the architecture of Veins simulation platform (https://veins.car2x.org/) including commonly used microscopic traffic simulator SUMO.

2. Understand the basics of emerging V2X communication technologies (ITS-G5, LTE C-V2X) to support self-driving vehicles.

3. Identify typical mobility patterns of vehicles operating in the port of Varberg and model them in SUMO.

4. Identify possible scenarios and potentials to introduce self-driving vehicles in the port of Varberg.

5. Identify communication requirements to support self-driving vehicles in the port.

6. Perform system-level modeling of selected scenarios in Veins and evaluate the performance of the V2X network.

7. Assess the impact of introduction of autonomous vehicles on the operation of the port of Varberg.

Enter name here before prConnected Autonomous Vehicles in Confined Areasessing create!

2018-10-24T22:14:04Z

Ceres: Ceres moved page Enter name here before prConnected Autonomous Vehicles in Confined Areasessing create! to ToBeRemoved

Resilient Communication Network Architecture for Cloud Computing

2018-10-23T21:34:29Z

Ceres: Created page with "{{StudentProjectTemplate |Summary=Design and evaluation of characteristics of a resilient cloud system over a backbone communication network |Keywords=Cloud architecture, resi..."

{{StudentProjectTemplate
|Summary=Design and evaluation of characteristics of a resilient cloud system over a backbone communication network
|Keywords=Cloud architecture, resilient clouds, service recovery, reliability of cloud systems
|References=https://ieeexplore.ieee.org/document/6917402
https://ieeexplore.ieee.org/document/7166195

|Prerequisites=- general knowledge on algorithms of path computation in networks (graph algorithms) and on optimization models and techniques
- basic programming skills (one high-level programming language)
|Supervisor=Magnus Jonsson, Jacek Rak (Gdansk University of Technology, Poland)
|Examiner=Alexey Vinel
|Level=Master
|Status=Open
}}
The objective of this project is to design the architecture of a cloud system including localization of data centres (DCs) and communication paths from end-users to these DCs able to provide resilience of the architecture in the scenarios of failures of network links and DCs. Particular focus is on the application of redundancy mechanisms (redundant DCs, redundant virtual machines, backup paths) to obtain an architecture that can survive failures occurring in the communication network as well as at the DC level.
Verification of characteristics of the designed architecture should be done via simulations conducted using a tool to be developed by a student.

For further questions, the students may contact the supervisors by e-mails available at:
http://ceres.hh.se/mediawiki/Magnus_Jonsson
https://pg.edu.pl/3b7fa12d7d_jacek.rak

Integrating a 2D mesh network-on-chip to an architecture generation tool to generate manycore architectures

2018-10-09T11:43:27Z

Ceres:

{{StudentProjectTemplate
|Summary=Integration of an existing network-on-chip to a tool written in Chisel (scala).
|References=https://github.com/freechipsproject/rocket-chip
https://www2.eecs.berkeley.edu/Pubs/TechRpts/2016/EECS-2016-17.html
https://www.mdpi.com/2073-431X/7/2/27

|Supervisor=Süleyman Savaş, Zain Ul-Abdin,
|Level=Master
|Status=Open
}}
We would like to integrate an existing network-on-chip written in Chisel, which is a subset of scala, to the rocket chip generator. The rocket chip generator is a tool that supports generation of different architectures based on RISC-V ISA. The tool has a crossbar network for on chip communication. However this is not a feasible structure when the number of cores increase to hundreds. Therefore we plan to replace this network with a scalable 2D mesh network.

- Scala knowledge is required as the generator and the network-on-chip are written in Chisel.

- Hardware development and/or system-on-chip design knowledge will be helpful.

For further questions, the students may contact Suleyman Savas by e-mail: suleyman.savas@hh.se or by visiting E321.

CPS 2018

2018-02-16T14:50:15Z

Ceres:

'''Summer School on Cyber-Physical Systems''' (https://bit.ly/hsscps18)

'''June 11-15, 2018 - Halmstad University, Sweden'''

In cooperation with the ELLIIT Network

[[File:Poster_CPS2018.png|400px|thumb|super|CPS 2018 Poster. ([[media:Poster_CPS2018_PDF.pdf|PDF]])]]

=Introduction=

The Summer School on Cyber-Physical Systems brings together the theoretical foundations and the industrial practice of the area in Halmstad, a place known both for innovation in embedded systems and popular beaches. This year’s school will take place from June 11th-15th, 2018.

The summer school is intended for professionals from industry (engineers, researchers, and managers) and academics (including doctoral students). Participants will learn about key topics from prominent leaders in the field. The schedule is designed to allow significant opportunities for interaction between the participants and the speakers. Lectures from previous editions can be found at http://bit.ly/cps-lectures

=Tutorials=

Speakers and Topics:

* Erika Abraham, RWTH Aachen University: Reachability Analysis Techniques for Hybrid Systems
* De-Jiu Chen, KTH Royal Institute of Technology: Dependable Autonomous Systems
* Thao Dang, CNRS/Verimag, Semi Formal Validation of CPS
* Sinem Coleri Ergen, Koc University: Wireless Network design for Cyber-Physical Systems
* Taylor T. Johnson, Vanderbilt University: Design-Time and Runtime Verification for Safe Autonomous Cyber-Physical Systems
* Karl Meinke, KTH Royal Institute ofTechnology: Analysis of Cyber-Physical Systems using Machine Learning
* Dorsa Sadig, Stanford University: Safe and Interactive Robotics
* Elisabeth Uhlemann, Mälardalen University: Timely and Reliable Wireless Vehicular Communications

All lectures will be conducted in English.

=Venue=

The summer school will take place at Halmstad University in building H room Himmel, a meeting room with an overview of the city and the Kattegat sea area. Halmstad is easily reachable by train from Copenhagen and Gothenburg airports, and by air from Stockholm.

==Directions to/in Campus==

Directions for getting to campus can be found at [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html http://www.hh.se/english/abouttheuniversity/visitus.307_en.html]

The campus map can be found [http://www.hh.se/download/18.38e7400514bc4e0933ad51d7/1426518013751/Campus-map-march-2015.pdf here]. The summer school will be located in room Himmel, which is located at the ground floor of the 'H' building. Coffee breaks will be held at the same building. Lunches will be served in the ground floor of the Spiro restaurant in the G building.

==Directions to Halmstad==

Trains take you directly to Göteborg in about 1 hour, to the Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours.
There are also daily flights from Halmstad Airport to Stockholm.

If you are flying internationally it is generally easiest to fly into Copenhagen (CPH) airport (also known as Kastrup). The best thing about flying into CPH is that you just buy a train ticket when you arrive at the airport and simply take a train from the airport directly to Halmstad. The train leaves from the airport itself approximately once an hour on weekdays. We recommend that you check the time-table at [http://www.sj.se/start/startpage/index.form?l=en the Swedish Railways site]
and allow one hour from touchdown to getting to the train station (just outside customs).
(It seems that you can take an earlier or a later train on the same day regardless of the exact train you booked, but obviously you will lose your seat reservation if you have made one.) To get to your hotel, you can combine a taxi booking with your train ticket at [http://www.sj.se/start/startpage/index.form?l=en the Swedish Railways site] and a driver will wait for you with your name mentioned on a board once you arrive in Halmstad.

In Halmstad, everything is either in walking distance or a short taxi ride away.
Usually there are taxis at the station. If there are none there is a phone that connects directly to the local taxi company. For the eventuality that the phone is not working, it is good to have a cell phone handy. The number for the taxi company is written on the phone.

Note that CPH is in Denmark (and not in Sweden). So, if you need visas for European countries, make sure you get one that works for both.

If for some reason you cannot or do not want to use CPH, the next best international airport is in Gothenburg (GOT), locally known as Landvetter. The tricky thing about using that airport is that you would first have to take a 45 minute shuttle from the airport to the Gothenburg train station, and then take the train to Halmstad. That is one transfer and one wait. You can buy a combined shuttle and train ticket from the [http://www.sj.se/start/startpage/index.form?l=en the Swedish Railways site].

==Accommodation==

Here are some other suggestions for the accommodation, with an indication of their price range, (obtained from booking.com) and their distance to the summer school venue

* Continental Hotel (~100-150 EUR / night, 2km)
* Scandic Hallandia (~160-200 EUR / night, 2km)
* Hotel Amadeus (~100-120 EUR / night, 2.5km)
* First Hotel Martenson (~130-150 EUR / night, 2km)
* Quality Hotel Halmstad (~80-100 EUR / night, 3 km)
* STF Halmstads Hostel Kaptenshamn (~80-100 EUR / night, 2km)

An annotated Google Map with suggestion for restaurants can be found [https://goo.gl/oO6cK4 here].

=Organizers=

Please do not hesitate to contact us if you have any questions or enquiries:

* [http://www.hh.se/english/research/professors/walidmohamedtaha.10235.html Walid Taha]: Halmstad University (Program Chair, mailto:maroneal@gmail.com)
* [http://www.cps.ejust.edu.eg Walid Gomaa]: Egypt Japan University of Science and Technology (Program Committee, mailto:walid.gomaa@ejust.edu.eg)
* [http://www.ueda.info.waseda.ac.jp/~ueda/ Kazunori Ueda]: Waseda University (Program Committee, mailto:ueda@ueda.info.waseda.ac.jp)
* [https://www.kth.se/profile/martint Martin Törngren]: KTH Royal Institute of Technology (Program Committee, mailto:martint@kth.se)
* Maria Vesterlund (Local Organization, mailto:maria.vesterlund@hh.se)
* Walid Taha (Publicity Chair, mailto:Walid.Taha@hh.se)

=Registration=

The deadline for registration is May 1st, 2018. Registration is done online at http://bit.ly/cps-reg.

Mahsa Varshosaz

2017-12-28T19:23:42Z

Ceres:

{{Person
|Family Name=Varshosaz
|Given Name=Mahsa
|Title=M.Sc.
|Position=Ph.D. Candidate
|Email=mahsa.varshosaz@hh.se
|Image=MV.jpeg
|Street Address=Faculty of IT, Halmstad University, P.O. Box 823, Halmstad 301 18, Sweden
|Office=E 305
|Affiliation=Center for Research on Embedded Systems
|Subject=Computer Science and Engineering
|url=http://mahsavarshosaz.net
}}
{{ShowPerson|<noinclude>|url</noinclude>}}
==Research Interests==
*Model-based testing
*Formal analysis of software product lines
*Verification of probabilistic and stochastic systems
*Modeling and verification of distributed systems
*Program Repair
== Publications==
*Mahsa Varshosaz and Mohammad Reza Mousavi: Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems. Accepted in SOFSEM 2019.
*Nauman Bin Ali, Emelie Engstrom, Masoumeh Taromirad, Mohammad Reza Mousavi, Nasir Mehmood Minhas, Daniel Helgesson, Sebastian Kunze, Masha Varshosaz: On the Search for Industry-Relevant Regression Testing Research, Accepted in Empirical Software Engineering Journal, 2018.
*Mohammad Reza Mousavi and Mahsa Varshosaz: Telling Lies in Process Algebra. Accepted in TASE 2018.
*Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammadreza Mousavi and Ina Schaefer: A Classification of Product Sampling for Software Product Lines. Accepted in SPLC 2018.
*Mahsa Varshosaz, Mohammad Reza Mousavi, Harsh Beohar: Basic behavioral models for software product lines: Revisited. Accepted in Science of Computer Programming Journal, 2018.
*Sofia Larissa da Costa Paiva, Adenilso Simão, Mahsa Varshosaz, Mohammad Reza Mousavi: Complete IOCO test cases: a case study. A-TEST@SIGSOFT FSE 2016: 38-44.
*Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi: Basic behavioral models for software product lines: Expressiveness and testing pre-orders. Science of Computer Programming Journal 123: 42-60, 2016.
*Sebastian Kunze, Wojciech Mostowski, Mohammad Reza Mousavi, Mahsa Varshosaz: Generation of failure models through automata learning. Workshop on Automotive Systems/Software Architectures (WASA), 2016.
*Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi: Delta-Oriented FSM-Based Testing. ICFEM 2015: 366-381.
*Mahsa Varshosaz, Ramtin Khosravi: Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. APSEC (1) 2014: 63-70.
*Mahsa Varshosaz, Ramtin Khosravi: Discrete time Markov chain families: modeling and verification of probabilistic software product lines. SPLC Workshops 2013: 34-41.
*Mahsa Varshosaz, Ramtin Khosravi: Modeling and Verification of Probabilistic Actor Systems Using pRebeca. ICFEM 2012: 135-150.
== Teaching==
*Data Security for Embedded Systems (Undergraduate course), Halmstad University.
Winter 2017, Winter 2018
*Real-Time Embedded Systems (Graduate course), Halmstad University.
Fall 2014, Fall 2016, Fall 2017
*Advanced Object-Oriented Programming (Undergraduate course), Halmstad University.
Spring 2015, Spring 2016, Spring 2017
*Formal Modeling and Verification (Graduate course), University of Tehran.
Fall 2012, Fall 2013
== Supervised Theses==
*Bachelor Thesis: Embedded System Design for Autonomous Drones. (As a part of 2018 Student CPS Challenge.) Halmstad University, Jan 2018-Current.
Students: Emil Johansson, Patrick Karlsson
*Master Thesis: Generating Test Adapters for ModelJunit. Halmstad University, 2017. (Co-supervised)
Student: Ardalan Hashemi Aghdam
*Bachelor Thesis: On Efficiency and Effectiveness of Model-based Test Case Generation Techniques by Applying the HIS Method: An Experimental Research. Gothenburg University, 2016. (Co-supervised)
Students: Mahsa Abbasian, Sali El Masri
==Presentations in Conferences / Workshops==
ICFEM 2012, FMSPLE 2013, APSEC 2014, NWPT 2014, AVOCS 2014, ICFEM 2015, iFM PhD symposium 2016, NWPT 2016, WADT 2016, FOSD 2017, NWPT 2017
==Summer/Winter Schools==
*Halmstad Testing Summer School 2014, 2015, 2017
*Marktoberdorf Summer School 2015
*Autumn School on Cyber-Physical Systems 2015
==Reviewer for Journals and Conferences==
* Science of Computer Programming Journal (Outstanding reviewer, September 2017), PeerJ Journal
*CILC 2013, ACSD 2014, FOR-MOVES 2014, FSEN 2015, FormaliSE 2015, Coordination 2015, FSEN 2015, TTCS 2015, ICFEM 2015, TASE 2016, ACSD 2016, SEFM 2016, ICFEM 2016, FM 2016, FSEN 2017, ICTAC 2017, ICFEM 2017, HLDVT 2017, VAMOS 2018, VariVolution 2019

Safety at the AstaZero Vehicle Safety Test Environment

2017-11-15T10:59:53Z

Ceres:

{{StudentProjectTemplate
|Summary=Safety at the World’s First Full-Scale Test Environment for Future Road Safety
|Programme=EIS Masters 30 hp
|Keywords=Modeling, simulation, safety, hybrid systems, automotive
|TimeFrame=Six months
|References=Masood, J., Philippsen, R., Duracz, J., Taha, W., Eriksson, H., & Grante, C. (2014). Domain analysis for standardised functional safety: a case study on design-time verification of automatic emergency braking. In International Federation of Automotive Engineering Societies 2014 World Automotive Congress, Maastricht, The Netherlands, 2-6 June, 2014 (pp. 845-854). Royal Netherlands Society of Engineers (KIVI).

Duracz, A., Eriksson, H., Bartha, F. A., Xu, F., Zeng, Y., & Taha, W. (2015, August). Using rigorous simulation to support ISO 26262 hazard analysis and risk assessment. In High Performance Computing and Communications (HPCC), 2015 IEEE 7th International Symposium on Cyberspace Safety and Security (CSS), 2015 IEEE 12th International Conferenc on Embedded Software and Systems (ICESS), 2015 IEEE 17th International Conference on (pp. 1093-1096). IEEE. Chicago

Duracz, A. (2016). Rigorous Simulation: Its Theory and Applications (Doctoral dissertation, Halmstad University Press).
|Prerequisites=Cyber-Physical System Course
|Supervisor=Supervision: Walid Taha, Tony Larsson, and Maben Rabi
|Examiner=Tomas Nordström
|Author=Walid Taha
|Level=Flexible
|Status=Open
}}
As in any environment with physical hazards, a safety testing ground must itself also be safe for the personnel and the assets involved. This requirement becomes particularly challenging in facility that is intended for testing state-of-the art vehicle technologies, which is precisely the case for the newly founded AstaZero test track. The complexity in dealing with such environments comes from no longer having physical components but also computational and communication components that play a large role both in vehicle operation and the test track operation. The goal of this project is to investigate the feasibility of rigorous-but-practical methods for the analysis of safety in such an environment, with the goal of helping identify critical sources of risk as well as to assist in the formulation of the functional and reliability requirements for various aspects of the test track. At this time, the project identifies at least eight research question, which means there is space for multiple students to work on this project.

- How do we define safety for:
* An inanimate (car, equipment, track)
* A human (driver, track personnel, company personnel, track guest)
- How does such a definition fit within the framework of ISO 26262?
- Is there a fail-safe mechanism that we can guarantee to be safe?
- How do we assign responsibility for a violation of safety?
- How do we identify safety problems/risks in given scenarios?
- How do we measure safety/risks on the test track?
- What are the technical requirements for the communication infrastructure?
- How do we structure contracts for the use of the test track?
- How do we evaluate risks associated with certain uses of the test track?