Endre søk
Begrens søket
1 - 37 of 37
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1. Althammer, Egbert
    et al.
    Schoitsch, Erwin
    Eriksson, Henrik
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    The DECOS Concept of Generic Safety Cases - a Step Towards Modular Certification Support2009Inngår i: 35th Euromicro Conference on Software Engineering and Advanced applications SEAA. Patras, Greece. 2009-08-27--29, 2009Konferansepaper (Fagfellevurdert)
  • 2. Althammer, Egbert
    et al.
    Schoitsch, Erwin
    Eriksson, Henrik
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Pataticza, Andras
    Csertan, Gy-rgy
    An Open System for Dependable System Validation and Verification Support - The DECOS Generic Test Bench2007Konferansepaper (Fagfellevurdert)
  • 3. Althammer, Egbert
    et al.
    Schoitsch, Erwin
    Sonneck, Gerald
    Eriksson, Henrik
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Modular Certification Support - the DECOS Concept of Generic Safety Cases2008Konferansepaper (Annet vitenskapelig)
  • 4.
    Eriksson, Henrik
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Processing of Validation and Verification Activities and Tool Integration in the DECOS Generic Test Bench2006Inngår i: Mikroelektronik 06, Österreichishcer Verband für Elektrotechnik , 2006, , s. 160-166Konferansepaper (Fagfellevurdert)
  • 5.
    Eriksson, Henrik
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Support for Modular Certification of Safety-Critical Embedded Systems - the Generic Safety Case2007Konferansepaper (Annet vitenskapelig)
  • 6.
    Folkesson, Peter
    et al.
    RISE - Research Institutes of Sweden (2017-2019), Säkerhet och transport, Elektronik.
    Ayatolahi, Fatemeh
    Chalmers University of Technology, Sweden.
    Sangchoolie, Behrooz
    Chalmers University of Technology, Sweden.
    Vinter, Jonny
    RISE - Research Institutes of Sweden (2017-2019), Säkerhet och transport, Elektronik.
    Islam, Mafijul
    Volvo AB, Sweden.
    Karlsson, Johan
    Chalmers University of Technology, Sweden.
    Back-to-Back Fault Injection Testing in Model-Based Development2015Inngår i: Computer Safety, Reliability, and Security / [ed] Floor Koornneef, Coen van Gulijk, 2015, Vol. 9337, s. 135-148Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Today, embedded systems across industrial domains (e.g., avionics,automotive) are representatives of software-intensive systems with increasingreliance on software and growing complexity. It has become critically importantto verify software in a time, resource and cost effective manner. Furthermore,industrial domains are striving to comply with the requirements of relevantsafety standards. This paper proposes a novel workflow along with tool supportto evaluate robustness of software in model-based development environment,assuming different abstraction levels of representing software. We then showthe effectiveness of our technique, on a brake-by-wire application, byperforming back-to-back fault injection testing between two differentabstraction levels using MODIFI for the Simulink model and GOOFI-2 for thegenerated code running on the target microcontroller. Our proposed method andtool support facilitates not only verifying software during early phases of thedevelopment lifecycle but also fulfilling back-to-back testing requirements of ISO 26262 [1] when using model-based development.

  • 7. Islam, Mafijul
    et al.
    Sangchoolie, Behrooz
    Ayatolahi, Fatemeh
    Skarin, Daniel
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Törner, Fredrik
    Käck, Andreas
    Nyberg, Mattias
    Villani, Emilia
    Haraldsson, Johan
    Isaksson, Patrik
    Karlsson, Johan
    Towards Benchmarking of Functional Safety in the Automotive Industry2013Inngår i: 14th European Workshop on Dependable Computing, EWDC 2013, 2013, , s. 111-125Konferansepaper (Fagfellevurdert)
  • 8.
    Islam, Md Mafijul
    et al.
    Volvo AB, Sweden.
    Sangchoolie, Behrooz
    Chalmers University of Technology, Sweden.
    Ayatolahi, Fatemeh
    Chalmers University of Technology, Sweden.
    Skarin, Daniel
    RISE., SP – Sveriges Tekniska Forskningsinstitut.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut.
    Törner, Fredrik
    Volvo AB, Sweden.
    Käck, Andreas
    QRTECH, Sweden.
    Nyberg, Mattias
    Scania AB, Sweden.
    Villani, Emilia
    Chalmers University of Technology, Sweden.
    Haraldsson, Johan
    Volvo AB, Sweden.
    Isaksson, Patrik
    Volvo AB, Sweden.
    Karlsson, Johan
    Chalmers University of Technology, Sweden.
    Towards benchmarking of functional safety in the automotive industry2013Inngår i: Lecture Notes in Computr Science, 2013, Vol. 7869, s. 111-125Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Functional safety is becoming increasingly important in the automotive industry to deal with the growing reliance on the electrical and/or electronic (E/E) systems and the associated complexities. The introduction of ISO 26262, a new standard for functional safety in road vehicles, has made it even more important to adopt a systematic approach of evaluating functional safety. However, standard assessment methods of benchmarking functional safety of automotive systems are not available as of today. This is where the BeSafe (Benchmarking of Functional Safety) project comes into the picture. BeSafe project aims to lay the foundation for benchmarking functional safety of automotive E/E systems. In this paper, we present a brief overview of the project along with the benchmark targets that we have identified as relevant for the automotive industry, assuming three abstraction layers (model, software, hardware). We then define and discuss a set of benchmark measures. Next, we propose a benchmark framework encompassing fault/error models, methods and the required tool support. This paper primarily focuses on functional safety benchmarking from the Safety Element out of Context (SEooC) viewpoint. Finally, we present some preliminary results and highlight potential future works.

  • 9.
    Karlsson, Kristian
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, EMC.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Svahn, Fredrik
    Pre Automotive Cooperative Technologies (PreAct)2011Rapport (Fagfellevurdert)
  • 10.
    Lijun, Shan
    et al.
    Internet of Trust, France.
    Sangchoolie, Behrooz
    RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.
    Folkesson, Peter
    RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.
    Vinter, Jonny
    RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.
    Schoitsch, Erwin
    Austrian Institute of Technology, Austria.
    Loiseaux, Claire
    Internet of Trust, France.
    A Survey on the Application of Safety, Security,and Privacy Standards for Dependable Systems2019Inngår i: Proceedings of the 15th European Dependable Computing Conference, 2019Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Safety-critical systems are required to comply withsafety standards as well as security and privacy standards.In order to provide insights into how practitioners apply thestandards on safety, security or privacy (Sa/Se/Pr), as well ashow they employ Sa/Se/Pr analysis methodologies and softwaretools to meet such criteria, we conducted a questionnaire-basedsurvey. This paper summarizes our major analysis results of thereceived responses.

  • 11.
    Nilsson, Josef
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Bergenhem, Carl
    Qamcom, Sweden.
    Jacobson, Jan
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Johansson, Rolf
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Functional Safety for Cooperative Systems2013Inngår i: Proc. SAE 2013 World Congress & Exhibition., SAE , 2013, Vol. 2, s. Paper 2013-01-0197Konferansepaper (Annet vitenskapelig)
    Abstract [en]

    This paper investigates what challenges arise when extending the scope of functional safety for road vehicles to also include cooperative systems. Two generic alternatives are presented and compared with one another. The first alternative is to use a vehicle centric perspective as is the case in the traditional interpretation of ISO 26262 today. Here, an item (the top level system or systems for which functional safety is to be assured) is assumed to be confined to one vehicle. In the vehicle centric perspective inter-vehicle communication is not an architectural element and is therefore not a candidate for redundancy as part of the functional safety concept. The second alternative is to regard a cooperative system from a cooperative perspective. This implies that one item may span over several vehicles. The choice of perspective has implications in several ways. We investigate the implications for the cooperative item and in what ways the results may differ when going through the reference life cycle of ISO 26262. In particular we look at classification of hazardous events where severity is significantly higher since the cooperative system involves multiple rather than one single vehicle. We therefore suggest an additional severity class and as a consequence introduce a new automotive safety integrity level, ASIL E. The cooperative perspective includes the inter-vehicle communication as a candidate for redundancy. ASIL E can therefore be achieved using ASIL decomposition and the currently recommended product development phases for ASIL A to ASIL D. As an example for illustrating we use platooning.

  • 12.
    Nilsson, Josef
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Falcone, P
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Sjöberg, Jonas
    Nilsson, Lena
    Jacobson, Jan
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    A Brief Paper on Improving Active Safety Systems via HMI and Dependability Analysis2008Konferansepaper (Fagfellevurdert)
  • 13.
    Nilsson, Josef
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Strand, Niklas
    VTI Swedish National Road and Transport Research Institute, Sweden.
    Falcone, Paolo
    Chalmers University of Technology, Sweden.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Driver performance in the presence of adaptive cruise control related failures: Implications for safety analysis and fault tolerance2013Inngår i: Proc. 2013 IEEE/IFIP 43nd International Conference on Dependable Systems and Networks Workshops., IEEE/IFIP , 2013, , s. 6615531artikkel-id 6615531Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This study explored how failures related to an adaptive cruise control (ACC) were handled by drivers and what the effects on safety can be. The experimental study included forty-eight subjects and was performed in a moving base driving simulator equipped with an ACC. Each subject experienced two different failures in separate scenarios. In total, the study included four different failures, i.e., Unwanted acceleration, Complete lack of deceleration, Partial lack of deceleration, and Speed limit violation. The outcome of each failure scenario has been categorized based on whether the driver managed to avoid a collision or not. For the outcomes where collisions were successfully avoided, the situations were analyzed in more detail and classified according to the strategy used by the driver. Besides showing that partial lack of deceleration caused more collisions than complete lack of deceleration (43% compared to 14% of the participants colliding), the results also indicate a preference among drivers to steer and change lane rather than to apply the brakes when faced with acceleration and deceleration failures. A trade off relationship was identified between allowing a failing ACC to stay operational and on the other hand disabling it when an error is detected. Keeping the system operational can cause confusion about the mode of the system but as the results of the study indicate it can also improve the situation by reducing impact speed.

  • 14.
    Sangchoolie, Behrooz
    et al.
    RISE Research Institutes of Sweden, Säkerhet och transport, Elektrifiering och pålitlighet.
    Folkesson, Peter
    RISE Research Institutes of Sweden, Säkerhet och transport, Elektrifiering och pålitlighet.
    Kleberger, Pierre
    RISE Research Institutes of Sweden, Säkerhet och transport, Elektrifiering och pålitlighet.
    Vinter, Jonny
    RISE Research Institutes of Sweden, Säkerhet och transport, Elektrifiering och pålitlighet.
    Analysis of Cybersecurity Mechanisms with respectto Dependability and Security Attributes2020Inngår i: 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2020Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Embedded electronic systems need to be equipped with different types of security mechanisms to protect themselves and to mitigate the effects of cybersecurity attacks. These mechanisms should be evaluated with respect to their impacts on dependability and security attributes such as availability, reliability, safety, etc. The evaluation is of great importance as, e.g., a security mechanism should never violate the system safety. Therefore, in this paper, we evaluate a comprehensive set of security mechanisms consisting of 17 different types of mechanisms with respect to their impact on dependability and security attributes. The results show that, in general, the use of these mechanisms have positive effect on system dependability and security. However, there are at least three mechanisms that could have negative impacts on system dependability by violating safety and availability requirements. The results support our claim that the analyses such as the ones conducted in this paper are necessary when selecting and implementing an optimal set of safety and security mechanisms.

  • 15.
    Sangchoolie, Behrooz
    et al.
    RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.
    Folkesson, Peter
    RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.
    Vinter, Jonny
    A Study of the Interplay Between Safety and Security Using Model-Implemented Fault Injection2018Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The combination of high mobility and wireless communication in many safety-critical systems have increased their exposure to malicious security threats. Consequently, many works in the past have proposed solutions to ensure safety and security of these systems. However, not much attention has been given to the interplay between these two groups of nonfunctional requirements. This is a concern as safety solutions may negatively impact system security and vice versa. This paper addresses the interplay between safety and security by proposing an attack injection framework, based on model-implemented fault injection, suitable for model-based design. The framework enables us to study and evaluate the impact of cybersecurity attacks on system safety early in the development process. To this end, we have implemented six attack injection models and conducted experiments on Simulink models of a CAN bus and a brake-by-wire controller. The results show that the security attacks modeled could successfully impact the system safety by violating our defined safety requirements.

    Fulltekst (pdf)
    fulltext
  • 16. Serafini, Marco
    et al.
    Bokor, Péter
    Suri, Neeraj
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Ademaj, Astrit
    Brandstätter, Wolfgang
    Tagliabò, Fulvio
    Koch, Jens
    Application-Level Diagnostic and Membership Protocols for Generic Time-Trigged Systems.2011Inngår i: IEEE transactions on dependable and secure computing, Vol. 8, nr 2, s. 177-193Artikkel i tidsskrift (Fagfellevurdert)
  • 17.
    Shan, Lijun
    et al.
    Internet of Trust, France.
    Sangchoolie, Behrooz
    RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.
    Folkesson, Peter
    RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.
    Vinter, Jonny
    RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.
    Schoitsch, Erwin
    Austrian Institute of Technology, Austria.
    Loiseuax, Claire
    A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems2019Inngår i: Computer Safety,Reliability, and Security / [ed] Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch (Eds.), 2019Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Safety-critical systems are required to comply with safety standards. These systems are increasingly digitized and networked to an extent where they need to also comply with security and privacy standards. This paper aims to pro-vide insights into how practitioners apply the standards on safety, security or pri-vacy (Sa/Se/Pr), as well as how they employ Sa/Se/Pr analysis methodologies and software tools to meet such criteria. To this end, we conducted a question-naire-based survey within the participants of an EU project SECREDAS and ob-tained 21 responses. The results of our survey indicate that safety standards are widely applied by product and service providers, driven by the requirements from clients or regulators/authorities. When it comes to security standards, practition-ers face a wider range of standards while few target specific industrial sectors. Some standards linking safety and security engineering are not widely used at the moment, or practitioners are not aware of this feature. For privacy engineering, the availability and usage of standards, analysis methodologies and software tools are relatively weaker than safety and security, reflecting the fact that privacy en-gineering is an emerging concern for practitioners.

  • 18.
    Skarin, Daniel
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Svenningsson, Rickard
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Visualization of Model-Implemented Fault Injection Experiments2014Inngår i: Lecture Notes in Computer Science, Vol. 8696, s. 219-230Artikkel i tidsskrift (Annet vitenskapelig)
    Abstract [en]

    MODIFI is a fault injection tool targeting software developed as Simulink models. In this paper, we describe three techniques for visualizing fault injection results obtained using the MODIFI tool. The first technique shows the progress of a fault injection campaign, and the outcome of individual experiments, using a 3D visualization of the fault injection campaign. The second technique, referred to as sensitivity profiling, identifies parts of a model that are sensitive for a specific fault model. The third technique shows how error propagates in a Simulink model. The sensitivity profiling and error propagation techniques are based on intuitive coloring of Simulink blocks. The three visualization techniques are demonstrated using a Brake-by-Wire system.

  • 19.
    Svenningsson, Rickard
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Eriksson, Henrik
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Model-Implemented Fault Injection for Hardware Fault Simulation2011Konferansepaper (Fagfellevurdert)
  • 20.
    Svenningsson, Rickard
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Eriksson, Henrik
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Törngren, Martin
    Generic Fault modelling for Fault Injection2010Inngår i: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010, 2010, , s. 287-296Konferansepaper (Fagfellevurdert)
  • 21.
    Svenningsson, Rickard
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Eriksson, Henrik
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    MODIFI: A MODel-Implemented Fault Injection Tool2011Konferansepaper (Fagfellevurdert)
  • 22.
    Svenningsson, Rickard
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Eriksson, Henrik
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Towards Fault Injection Based Minimal Cut Sets Generation2010Konferansepaper (Fagfellevurdert)
  • 23.
    Vedder, Benjamin
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Arts, Thomas
    Quviq AB, Sweden.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Jönsson, Magnus
    Halmstad University, Sweden.
    Combining fault-injection with Property-Based Testing2014Inngår i: Workshop on Engineering Simulations for Cyber Physical Systems, ES4CPS 2014, 2014, , s. 1-8s. 1-8Konferansepaper (Fagfellevurdert)
    Abstract [en]

    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 occurrences of faults in a system to exercise and evaluate fault handling mechanisms and e.g. calculate error detection coverage. By combining the two we have achieved a way of randomly injecting different faults at arbitrary moments in the execution sequence while checking whether certain properties still hold. We use the commercially available tool QuickCheck for generating the test cases and developed FaultCheck for FI. FaultCheck enables the user to utilize fault models, commonly used during FI, from PBT tools like QuickCheck. We demonstrate our method and tools on a simplified example of two Airbag systems that should meet safety requirements. We can easily find a safety violation in one of the examples, whereas by using the AUTOSAR E2E-library implementation, exhaustive testing cannot reveal any such safety violation. This demonstrates that our approach on testing can reveal certain safety violations in a cost-effective way.

  • 24.
    Vedder, Benjamin
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Eriksson, Henrik
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Skarin, Daniel
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Jonsson, Magnus
    Towards Collision Avoidance for Commodity Hardware Quadcopters with Ultrasound Localization2015Konferansepaper (Annet vitenskapelig)
    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.

  • 25.
    Vedder, Benjamin
    et al.
    RISE Research Institutes of Sweden.
    Svensson, Joel
    RISE Research Institutes of Sweden, Säkerhet och transport, Elektrifiering och pålitlighet.
    Vinter, Jonny
    RISE Research Institutes of Sweden, Säkerhet och transport, Elektrifiering och pålitlighet.
    Jonsson, Magnus
    Halmstad University, Sweden.
    Automated Testing of Ultrawideband Positioning for Autonomous Driving2020Inngår i: Journal of Robotics, ISSN 1687-9600, E-ISSN 1687-9619, Vol. 2020, artikkel-id 9345360Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Autonomous vehicles need accurate and dependable positioning, and these systems need to be tested extensively. We have evaluated positioning based on ultrawideband (UWB) ranging with our self-driving model car using a highly automated approach. Random drivable trajectories were generated, while the UWB position was compared against the Real-Time Kinematic Satellite Navigation (RTK-SN) positioning system which our model car also is equipped with. Fault injection was used to study the fault tolerance of the UWB positioning system. Addressed challenges are automatically generating test cases for real-time hardware, restoring the state between tests, and maintaining safety by preventing collisions. We were able to automatically generate and carry out hundreds of experiments on the model car in real time and rerun them consistently with and without fault injection enabled. Thereby, we demonstrate one novel approach to perform automated testing on complex real-time hardware.

  • 26.
    Vedder, Benjamin
    et al.
    RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.
    Vinter, Jonny
    RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.
    Jonsson, Magnus
    Halmstad University, Sweden.
    A Low-Cost Model Vehicle Testbed with Accurate Positioning for Autonomous Driving2018Inngår i: Journal of Robotics, ISSN 1687-9600, E-ISSN 1687-9619, artikkel-id 4907536Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Accurate positioning is a requirement for many applications, including safety-critical autonomous vehicles. To reduce cost and at the same time improving accuracy for positioning of autonomous vehicles, new methods, tools, and research platforms are needed. We have created a low-cost testbed consisting of electronics and software that can be fitted on model vehicles allowing them to follow trajectories autonomously with a position accuracy of around 3 cm outdoors. The position of the vehicles is derived from sensor fusion between Real-Time Kinematic Satellite Navigation (RTK-SN), odometry, and inertial measurement and performs well within a 10 km radius from a base station. Trajectories to be followed can be edited with a custom GUI, where also several model vehicles can be controlled and visualized in real time. All software and Printed Circuit Boards (PCBs) for our testbed are available as open source to make customization and development possible. Our testbed can be used for research within autonomous driving, for carrying test equipment, and other applications where low cost and accurate positioning and navigation are required.

  • 27.
    Vedder, Benjamin
    et al.
    RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.
    Vinter, Jonny
    RISE - Research Institutes of Sweden, Säkerhet och transport, Elektronik.
    Jonsson, Magnus
    Halmstad University, Sweden.
    Accurate positioning of bicycles for improved safety2018Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Cyclists are not well protected in accidents with other road users, and there are few active safety systems available for bicycles. In this study we have evaluated the use of inexpensive Real-Time Kinematic Satellite Navigation (RTK-SN) receivers with multiple satellite constellations together with dead reckoning for accurate positioning of bicycles to enable active safety functions such as collision warnings. This is a continuation of previous work were we concluded that RTK-SN alone is not sufficient in moderately dense urban areas as buildings and other obstructions degrade the performance of RTK-SN significantly. In this work we have added odometry to the positioning system as well as extending RTK-SN with multiple satellite constellations to deal with situations where the view of the sky is poor and thus fewer satellites are in view. To verify the performance of the positioning system we have used Ultra-Wideband radios as an independent positioning system to compare against while testing during poor conditions for RTK-SN. We were able to verify that adding dead reckoning and multiple satellite constellations improves the performance significantly under poor conditions and makes the positioning system more useful for active safety systems.

  • 28.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems2007Konferansepaper (Fagfellevurdert)
  • 29.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    An Approach to Reducing the Cost of Fault Injection2005Inngår i: Proceedings Real-Time in Sweden (RTiS'05). August 2005, Skövde, 2005, , s. 129-134Konferansepaper (Fagfellevurdert)
  • 30.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Produktsäkerhet.
    An Experimental Study of the Effects of Soft Errors in a Fail-Bounded Jet Engine Control System2005Rapport (Fagfellevurdert)
  • 31.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Produktsäkerhet.
    An Overview of GOOFI-A Generic Object-Oriented Fault Injection Framework2005Rapport (Fagfellevurdert)
  • 32.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Produktsäkerhet.
    On the Effects of Soft Errors in Embedded Control Systems2005Rapport (Fagfellevurdert)
  • 33.
    Vinter, Jonny
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Validation & Certification of Safety-Critical Embedded Systems - The DECOS Test Bench2006Konferansepaper (Fagfellevurdert)
  • 34.
    Vinter, Jonny
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Edler, Håkan
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    FISCADE - A Fault Injection Tool for SCADE Models2007Konferansepaper (Fagfellevurdert)
  • 35.
    Vinter, Jonny
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Eriksson, Henrik
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer2007Konferansepaper (Fagfellevurdert)
  • 36.
    Vinter, Jonny
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Eriksson, Henrik
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Leiner, Bernhard
    Schlager, Martin
    Towards a DECOS Fault Injection Platform for Time-Triggered Systems2007Konferansepaper (Fagfellevurdert)
  • 37.
    Vinter, Jonny
    et al.
    RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Karlsson, Johan
    Experimental Dependability Evaluation of a Fail-bounded Jet Engine control System for Unmanned Aerial Vehicles2005Inngår i: Proceedings IEEE International Conference on Dependable Systems and Networks (DSN-2005), June 2005, Yokohama, Japan, 2005, , s. 666-671Konferansepaper (Fagfellevurdert)
1 - 37 of 37
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.41.0