hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards Collision Avoidance for Commodity Hardware Quadcopters with Ultrasound Localization
Department of Electronics, SP Technical Research Institute of Sweden, Borås, Sweden.ORCID iD: 0000-0003-1713-3726
Department of Electronics, SP Technical Research Institute of Sweden, Borås, Sweden.
Department of Electronics, SP Technical Research Institute of Sweden, Borås, Sweden.
Department of Electronics, SP Technical Research Institute of Sweden, Borås, Sweden.
Show others and affiliations
2015 (English)In: 2015 International Conference on Unmanned Aircraft Systems (ICUAS), 2015, 193-203 p.Conference paper, Published paper (Refereed)
Abstract [en]

We present a quadcopter platform built with commodity hardware that is able to do localization in GNSS-denied areas and avoid collisions by using a novel easy-to-setup and inexpensive ultrasound-localization system. We address the challenge to accurately estimate the copter's position and not hit any obstacles, including other, moving, quadcopters. The quadcopters avoid collisions by placing contours that represent risk around static and dynamic objects and acting if the risk contours overlap with ones own comfort zone. Position and velocity information is communicated between the copters to make them aware of each other. The shape and size of the risk contours are continuously updated based on the relative speed and distance to the obstacles and the current estimated localization accuracy. Thus, the collision-avoidance system is autonomous and only interferes with human or machine control of the quadcopter if the situation is hazardous. In the development of this platform we used our own simulation system using fault-injection (sensor faults, communication faults) together with automatically-generated tests to identify problematic scenarios for which the localization and risk contour parameters had to be adjusted. In the end, we were able to run thousands of simulations without any collisions, giving us confidence that also many real quadcopters can manoeuvre collision free in space-constrained GNSS-denied areas. ©2015 IEEE.

Place, publisher, year, edition, pages
2015. 193-203 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:hh:diva-28169DOI: 10.1109/ICUAS.2015.7152291Scopus ID: 2-s2.0-84941030880ISBN: 978-1-4799-6009-5 ISBN: 978-1-4799-6009-15 OAI: oai:DiVA.org:hh-28169DiVA: diva2:808245
Conference
The 2015 International Conference on Unmanned Aircraft Systems (ICUAS), Denver, Colorado, USA, June 9-12, 2015
Projects
KARYONPROWESS
Funder
EU, FP7, Seventh Framework ProgrammeKnowledge Foundation
Note

This research has been funded through the KARYON EU project (Grant agreement no: 288195), the PROWESS EU project (Grant agreement no: 317820) and through EISIGS (grants from the Knowledge Foundation).

Available from: 2015-04-27 Created: 2015-04-27 Last updated: 2016-11-30Bibliographically approved
In thesis
1. Testing Safety-Critical Systems using Fault Injection and Property-Based Testing
Open this publication in new window or tab >>Testing Safety-Critical Systems using Fault Injection and Property-Based Testing
2015 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Testing software-intensive systems can be challenging, especially when safety requirements are involved. Property-Based Testing (PBT) is a software testing technique where properties about software are specified and thousands of test cases with a wide range of inputs are automatically generated based on these properties. PBT does not formally prove that the software fulfils its specification, but it is an efficient way to identify deviations from the specification. Safety-critical systems that must be able to deal with faults, without causing damage or injuries, are often tested using Fault Injection (FI) at several abstraction levels. The purpose of FI is to inject faults into a system in order to exercise and evaluate fault handling mechanisms. The aim of this thesis is to investigate how knowledge and techniques from the areas of FI and PBT can be used together to test functional and safety requirements simultaneously.

We have developed a FI tool named FaultCheck that enables PBT tools to use common FI-techniques directly on source code. In order to evaluate and demonstrate our approach, we have applied our tool FaultCheck together with the commercially available PBT tool QuickCheck on a simple and on a complex system. The simple system is the AUTOSAR End-to-End (E2E) library and the complex system is a quadcopter simulator that we developed ourselves. The quadcopter simulator is based on a hardware quadcopter platform that we also developed, and the fault models that we inject into the simulator using FaultCheck are derived from the hardware quadcopter platform. We were able to efficiently apply FaultCheck together with QuickCheck on both the E2E library and the quadcopter simulator, which gives us confidence that FI together with PBT can be used to test and evaluate a wide range of simple and complex safety-critical software.

Place, publisher, year, edition, pages
Halmstad: Halmstad University Press, 2015. 85 p.
Series
Halmstad University Dissertations, 13
Keyword
Fault Injection, FaultCheck, Property-Based Testing, Simulation, Fault Model, Quadcopter, E2E
National Category
Engineering and Technology
Identifiers
urn:nbn:se:hh:diva-28173 (URN)978-91-87045-29-5 (ISBN)978-91-87045-28-8 (ISBN)
Presentation
2015-05-26, Wigforssalen, House Visionen, Kristian IV:s väg 3, Halmstad, 10:15
Opponent
Supervisors
Projects
PROWESSKARYON
Funder
EU, FP7, Seventh Framework ProgrammeKnowledge Foundation
Note

This research has been funded through the PROWESS EU project (Grant agreement no: 317820), the KARYON EU project (Grant agreement no: 288195) and through EISIGS (grants from the Knowledge Foundation).

Available from: 2015-05-04 Created: 2015-04-27 Last updated: 2015-05-04Bibliographically approved

Open Access in DiVA

fulltext(3637 kB)119 downloads
File information
File name FULLTEXT01.pdfFile size 3637 kBChecksum SHA-512
659af228e9f188e2e470fdbe8af039e18223a52b144379ba2aa84c67aa9c80880b3ac29fc1e65943c128aa3ed3545843d8c02749c78090c3c15ca0abee826fb7
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Vedder, BenjaminJonsson, Magnus
By organisation
Centre for Research on Embedded Systems (CERES)
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 119 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 261 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf