Change search
Refine search result
1 - 3 of 3
CiteExportLink to result list
Permanent 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
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Folkesson, Peter
    et al.
    RISE - Research Institutes of Sweden, Safety and Transport, Electronics.
    Ayatolahi, Fatemeh
    Chalmers University of Technology, Sweden.
    Sangchoolie, Behrooz
    Chalmers University of Technology, Sweden.
    Vinter, Jonny
    RISE - Research Institutes of Sweden, Safety and Transport, Electronics.
    Islam, Mafijul
    Volvo AB, Sweden.
    Karlsson, Johan
    Chalmers University of Technology, Sweden.
    Back-to-Back Fault Injection Testing in Model-Based Development2015In: Computer Safety, Reliability, and Security / [ed] Floor Koornneef, Coen van Gulijk, 2015, Vol. 9337, p. 135-148Conference paper (Refereed)
    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.

  • 2.
    Sangchoolie, Behrooz
    et al.
    RISE - Research Institutes of Sweden, Safety and Transport, Electronics.
    Folkesson, Peter
    RISE - Research Institutes of Sweden, Safety and Transport, Electronics.
    Vinter, Jonny
    A Study of the Interplay Between Safety and Security Using Model-Implemented Fault Injection2018Conference paper (Refereed)
    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.

  • 3.
    Söderberg, Andreas
    et al.
    RISE - Research Institutes of Sweden, Safety and Transport, Electronics.
    Hedberg, Johan
    RISE - Research Institutes of Sweden, Safety and Transport, Electronics.
    Folkesson, Peter
    RISE - Research Institutes of Sweden, Safety and Transport, Electronics.
    Jacobson, Jan
    RISE - Research Institutes of Sweden, Safety and Transport, Electronics.
    Safety-related Machine Control Systems using standard EN ISO 13849-12018Report (Other academic)
    Abstract [en]

    Machine control systems shall be designed according to the European Machinery Directive and appropriate European standards. This report gives guidance when applying EN ISO 13849-1:2015 in projects, both for companies developing subsystems and for companies that are developing complete machines.

1 - 3 of 3
CiteExportLink to result list
Permanent 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
v. 2.35.7