Benjamin Vedder

Learn More
Safety ADD is a tool for working with safety contracts for software components. Safety contracts tie safety related properties, in the form of guarantees and assumptions, to a component. A guarantee is a property the component promises to hold, on the premise that the environment provides its associated assumptions. When multiple software components are(More)
In this paper we present a methodology and a platform using Fault Injection (FI) and Property-Based Testing (PBT). PBT is a technique in which test cases are automatically generated from a specification of a system property. The generated test cases vary input stimuli as well as the sequence in which commands are executed. FI is used to accelerate the(More)
When designing safety critical and software intensive embedded systems, extensive development processes have to be followed in order to ensure that the software corresponds with the software safety requirement specification. This paper describes a study performed to investigate how to use a component based approach in order to reduce the requirements of the(More)
In this work we use our testing platform based on FaultCheck and QuickCheck that we apply on a quad copter simulator. We have used a hardware platform as the basis for the simulator and for deriving realistic fault models for our simulations. The quad copters have a collision-avoidance mechanism that shall take over control when the situation becomes(More)
The performance of low-cost RTK (real-time kinematic) GPS receivers has been compared to a state-of-the-art system as well to each other. Both static and dynamic performances have been compared. The dynamic performance has been evaluated using a vehicle with driving robot on the AstaZero proving ground. The assembly of the low-cost RTK GPS receivers is(More)
  • 1