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
Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System
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.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-6526-3931
2015 (English)In: 2015 IEEE International Conference on Dependable Systems and Networks Workshops (DSN-W) / [ed] Juan E. Guerrero, Los Alamitos, CA: IEEE Computer Society, 2015, 104-111 p.Conference paper, (Refereed)
Abstract [en]

In this work we use our testing platform based on FaultCheck and QuickCheck that we apply on a quadcopter simulator. We have used a hardware platform as the basis for the simulator and for deriving realistic fault models for our simulations. The quadcopters have a collision-avoidance mechanism that shall take over control when the situation becomes hazardous, steer away from the potential danger and then give control back to the pilot, thereby preventing collisions regardless of what the pilot does. We use our testing platform to randomly generate thousands of simulations with different input stimuli (using QuickCheck) for hundreds of quadcopters, while injecting faults simultaneously (using FaultCheck). This way, we can effectively adjust system parameters and enhance the collision-avoidance mechanism. © 2015 IEEE

Place, publisher, year, edition, pages
Los Alamitos, CA: IEEE Computer Society, 2015. 104-111 p.
Keyword [en]
Fault Injection, FaultCheck, Property-Based Testing, Simulation, QuickCheck, Fault Model, Quadcopter
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:hh:diva-28172DOI: 10.1109/DSN-W.2015.28Scopus ID: 2-s2.0-84957653792ISBN: 978-1-4673-8044-7 OAI: oai:DiVA.org:hh-28172DiVA: diva2:808255
Conference
1st International Workshop on Safety and Security of Intelligent Vehicles (SSIV), Rio de Janeiro, Brazil, June 22, 2015
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-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(2317 kB)124 downloads
File information
File name FULLTEXT01.pdfFile size 2317 kBChecksum SHA-512
8b480094bd63033cf53dd29250fd9fced758bba85850d3aad9e80bb3e25a2add77227f1afe458e4c03b6e27b2b5ce50a84b49f276d80e08c24366800bf6e82ae
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: 124 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: 639 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