Change search
Refine search result
1 - 32 of 32
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. 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 Support2009In: 35th Euromicro Conference on Software Engineering and Advanced applications SEAA. Patras, Greece. 2009-08-27--29, 2009Conference paper (Refereed)
  • 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 Bench2007Conference paper (Refereed)
  • 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 Cases2008Conference paper (Other academic)
  • 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 Bench2006In: Mikroelektronik 06, Österreichishcer Verband für Elektrotechnik , 2006, , p. 160-166Conference paper (Refereed)
  • 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 Case2007Conference paper (Other academic)
  • 6.
    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.

  • 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 Industry2013In: 14th European Workshop on Dependable Computing, EWDC 2013, 2013, , p. 111-125Conference paper (Refereed)
  • 8.
    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)2011Report (Refereed)
  • 9.
    Nilsson, Josef
    et al.
    RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Bergenhem, Carl
    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 Systems2013In: Proc. SAE 2013 World Congress & Exhibition., SAE , 2013, , p. Paper 2013-01-0197Conference paper (Other academic)
  • 10.
    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 Analysis2008Conference paper (Refereed)
  • 11.
    Nilsson, Josef
    et al.
    RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Strand, Niklas
    Falcone, Paolo
    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 tolerance2013In: Proc. 2013 IEEE/IFIP 43nd International Conference on Dependable Systems and Networks Workshops., IEEE/IFIP , 2013, , p. 6615531Conference paper (Refereed)
  • 12.
    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.

  • 13. 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.2011In: IEEE transactions on dependable and secure computing, Vol. 8, no 2, p. 177-193Article in journal (Refereed)
  • 14.
    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 Experiments2014In: Lecture Notes in Computer Science, Vol. 8696, p. 219-230Article in journal (Other academic)
  • 15.
    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 Simulation2011Conference paper (Refereed)
  • 16.
    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 Injection2010In: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010, 2010, , p. 287-296Conference paper (Refereed)
  • 17.
    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 Tool2011Conference paper (Refereed)
  • 18.
    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 Generation2010Conference paper (Refereed)
  • 19.
    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 Localization2015In: Article in journal (Other academic)
  • 20.
    Vedder, Benjamin
    et al.
    RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Vinter, Jonny
    RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Combining fault-injection with Property-Based Testing2014In: Workshop on Engineering Simulations for Cyber Physical Systems, ES4CPS 2014, 2014, , p. 1-8Conference paper (Refereed)
    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.

  • 21.
    Vedder, Benjamin
    et al.
    RISE - Research Institutes of Sweden, Safety and Transport, Electronics.
    Vinter, Jonny
    RISE - Research Institutes of Sweden, Safety and Transport, Electronics.
    Jonsson, Magnus
    Halmstad University, Sweden.
    A Low-Cost Model Vehicle Testbed with Accurate Positioning for Autonomous Driving2018In: Journal of Robotics, ISSN 1687-9600, E-ISSN 1687-9619, article id 4907536Article in journal (Refereed)
    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.

  • 22.
    Vedder, Benjamin
    et al.
    RISE - Research Institutes of Sweden, Safety and Transport, Electronics.
    Vinter, Jonny
    RISE - Research Institutes of Sweden, Safety and Transport, Electronics.
    Jonsson, Magnus
    Halmstad University, Sweden.
    Accurate positioning of bicycles for improved safety2018Conference paper (Refereed)
    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.

  • 23.
    Vinter, Jonny
    RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems2007Conference paper (Refereed)
  • 24.
    Vinter, Jonny
    RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    An Approach to Reducing the Cost of Fault Injection2005In: Proceedings Real-Time in Sweden (RTiS'05). August 2005, Skövde, 2005, , p. 129-134Conference paper (Refereed)
  • 25.
    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 System2005Report (Refereed)
  • 26.
    Vinter, Jonny
    RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Produktsäkerhet.
    An Overview of GOOFI-A Generic Object-Oriented Fault Injection Framework2005Report (Refereed)
  • 27.
    Vinter, Jonny
    RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Produktsäkerhet.
    On the Effects of Soft Errors in Embedded Control Systems2005Report (Refereed)
  • 28.
    Vinter, Jonny
    RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
    Validation & Certification of Safety-Critical Embedded Systems - The DECOS Test Bench2006Conference paper (Refereed)
  • 29.
    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 Models2007Conference paper (Refereed)
  • 30.
    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 Layer2007Conference paper (Refereed)
  • 31.
    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 Systems2007Conference paper (Refereed)
  • 32.
    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 Vehicles2005In: Proceedings IEEE International Conference on Dependable Systems and Networks (DSN-2005), June 2005, Yokohama, Japan, 2005, , p. 666-671Conference paper (Refereed)
1 - 32 of 32
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