Endre søk
Link to record
Permanent link

Direct link
Publikasjoner (10 av 37) Visa alla publikasjoner
Sangchoolie, B., Folkesson, P., Kleberger, P. & Vinter, J. (2020). Analysis of Cybersecurity Mechanisms with respectto Dependability and Security Attributes. In: 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W): . Paper presented at Workshop on Safety and Security of Intelligent Vehicles.
Åpne denne publikasjonen i ny fane eller vindu >>Analysis of Cybersecurity Mechanisms with respectto Dependability and Security Attributes
2020 (engelsk)Inngår i: 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2020Konferansepaper, Publicerat paper (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.

Emneord
safety, cybersecurity mechanism, privacy
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-47668 (URN)10.1109/DSN-W50199.2020.00027 (DOI)978-1-7281-7263-7 (ISBN)978-1-7281-7264-4 (ISBN)
Konferanse
Workshop on Safety and Security of Intelligent Vehicles
Prosjekter
This research was partially supported by the Swedish VINNOVA FFI project “HoliSec: Holistic Approach to Improve Data Security” with diary number: 2015-06894; and the Swedish VINNOVA FFI project “CyReV I: Cyber Resilience for Vehicles” with diary number: 2018-05013.
Tilgjengelig fra: 2020-08-31 Laget: 2020-08-31 Sist oppdatert: 2023-06-07bibliografisk kontrollert
Vedder, B., Svensson, J., Vinter, J. & Jonsson, M. (2020). Automated Testing of Ultrawideband Positioning for Autonomous Driving. Journal of Robotics, 2020, Article ID 9345360.
Åpne denne publikasjonen i ny fane eller vindu >>Automated Testing of Ultrawideband Positioning for Autonomous Driving
2020 (engelsk)Inngår i: Journal of Robotics, ISSN 1687-9600, E-ISSN 1687-9619, Vol. 2020, artikkel-id 9345360Artikkel i tidsskrift (Fagfellevurdert) Published
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.

sted, utgiver, år, opplag, sider
Hindawi Limited, 2020
Emneord
Automatic test pattern generation, Automation, Fault tolerance, Software testing, Ultra-wideband (UWB), Automated approach, Automated testing, Autonomous driving, Fault injection, Positioning system, Real time kinematic, Real-time hardware, Satellite navigation, Autonomous vehicles
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-43946 (URN)10.1155/2020/9345360 (DOI)2-s2.0-85079208712 (Scopus ID)
Tilgjengelig fra: 2020-02-19 Laget: 2020-02-19 Sist oppdatert: 2023-05-23bibliografisk kontrollert
Shan, L., Sangchoolie, B., Folkesson, P., Vinter, J., Schoitsch, E. & Loiseuax, C. (2019). A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems. In: Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch (Eds.) (Ed.), Computer Safety,Reliability, and Security: . Paper presented at DECSoS 2019.
Åpne denne publikasjonen i ny fane eller vindu >>A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems
Vise andre…
2019 (engelsk)Inngår i: Computer Safety,Reliability, and Security / [ed] Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch (Eds.), 2019Konferansepaper, Publicerat paper (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.

Serie
Springer LNCS vol. 11699, ISSN 1611-3349
Emneord
Safety, Security, Privacy, Standards, Dependable Systems
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-39961 (URN)978-3-030-26250-1 (ISBN)
Konferanse
DECSoS 2019
Forskningsfinansiär
EU, Horizon 2020, 783119
Tilgjengelig fra: 2019-09-25 Laget: 2019-09-25 Sist oppdatert: 2023-06-05bibliografisk kontrollert
Lijun, S., Sangchoolie, B., Folkesson, P., Vinter, J., Schoitsch, E. & Loiseaux, C. (2019). A Survey on the Application of Safety, Security,and Privacy Standards for Dependable Systems. In: Proceedings of the 15th European Dependable Computing Conference: . Paper presented at European Dependable Computing Conference (EDCC).
Åpne denne publikasjonen i ny fane eller vindu >>A Survey on the Application of Safety, Security,and Privacy Standards for Dependable Systems
Vise andre…
2019 (engelsk)Inngår i: Proceedings of the 15th European Dependable Computing Conference, 2019Konferansepaper, Publicerat paper (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.

Emneord
safety, security, privacy, standards, dependable systems
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-40189 (URN)
Konferanse
European Dependable Computing Conference (EDCC)
Prosjekter
SECREDAS
Tilgjengelig fra: 2019-10-03 Laget: 2019-10-03 Sist oppdatert: 2023-06-05bibliografisk kontrollert
Vedder, B., Vinter, J. & Jonsson, M. (2018). A Low-Cost Model Vehicle Testbed with Accurate Positioning for Autonomous Driving. Journal of Robotics, Article ID 4907536.
Åpne denne publikasjonen i ny fane eller vindu >>A Low-Cost Model Vehicle Testbed with Accurate Positioning for Autonomous Driving
2018 (engelsk)Inngår i: Journal of Robotics, ISSN 1687-9600, E-ISSN 1687-9619, artikkel-id 4907536Artikkel i tidsskrift (Fagfellevurdert) Published
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.

Emneord
Costs, Equipment testing, Open source software, Open systems, Safety engineering, Testbeds, Vehicles, Autonomous driving, Autonomous Vehicles, Inertial measurements, Position accuracy, Printed circuit board (PCBs), Real time kinematic, Research platforms, Satellite navigation, Printed circuit boards
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-36676 (URN)10.1155/2018/4907536 (DOI)2-s2.0-85058336224 (Scopus ID)
Merknad

 Funding details: Fellowships Fund Incorporated; Funding details: VINNOVA; Funding details: Knowledge Foundation;

Tilgjengelig fra: 2018-12-21 Laget: 2018-12-21 Sist oppdatert: 2023-05-23bibliografisk kontrollert
Sangchoolie, B., Folkesson, P. & Vinter, J. (2018). A Study of the Interplay Between Safety and Security Using Model-Implemented Fault Injection. In: : . Paper presented at 14th European Dependable Computing Conference, EDCC 2018; Iasi; Romania; 10 September 2018 through 14 September 2018 (pp. 41-48).
Åpne denne publikasjonen i ny fane eller vindu >>A Study of the Interplay Between Safety and Security Using Model-Implemented Fault Injection
2018 (engelsk)Konferansepaper, Publicerat paper (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.

Emneord
fault injection, attack injection, security, safety, cybersecurity attack, model-based design
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-36477 (URN)10.1109/EDCC.2018.00018 (DOI)2-s2.0-85053862860 (Scopus ID)9781538680605 (ISBN)
Konferanse
14th European Dependable Computing Conference, EDCC 2018; Iasi; Romania; 10 September 2018 through 14 September 2018
Forskningsfinansiär
Vinnova
Tilgjengelig fra: 2018-11-22 Laget: 2018-11-22 Sist oppdatert: 2023-06-05bibliografisk kontrollert
Vedder, B., Vinter, J. & Jonsson, M. (2018). Accurate positioning of bicycles for improved safety. In: : . Paper presented at 2018 IEEE International Conference on Consumer Electronics (ICCE) (pp. 1-6).
Åpne denne publikasjonen i ny fane eller vindu >>Accurate positioning of bicycles for improved safety
2018 (engelsk)Konferansepaper, Publicerat paper (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.

Emneord
alarm systems, bicycles, distance measurement, radio receivers, road accidents, road safety, safety systems, satellite navigation, multiple satellite constellations, active safety systems, accurate positioning, improved safety, Real-Time Kinematic Satellite Navigation receivers, RTK-SN, dead reckoning, active safety functions, moderately dense urban areas, independent positioning system, collision warnings, ultra-wideband radios, RNA, Integrated circuits, Conferences, Consumer electronics, RTK GPS, odometry, testbed, bicycle, positioning, ultra-wideband
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-34333 (URN)10.1109/ICCE.2018.8326237 (DOI)2-s2.0-85048765893 (Scopus ID)
Konferanse
2018 IEEE International Conference on Consumer Electronics (ICCE)
Tilgjengelig fra: 2018-08-07 Laget: 2018-08-07 Sist oppdatert: 2023-05-23bibliografisk kontrollert
Folkesson, P., Ayatolahi, F., Sangchoolie, B., Vinter, J., Islam, M. & Karlsson, J. (2015). Back-to-Back Fault Injection Testing in Model-Based Development. In: Floor Koornneef, Coen van Gulijk (Ed.), Computer Safety, Reliability, and Security: . Paper presented at 34th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2015), September 23-25, 2015, Delft, Netherlands (pp. 135-148). , 9337
Åpne denne publikasjonen i ny fane eller vindu >>Back-to-Back Fault Injection Testing in Model-Based Development
Vise andre…
2015 (engelsk)Inngår i: Computer Safety, Reliability, and Security / [ed] Floor Koornneef, Coen van Gulijk, 2015, Vol. 9337, s. 135-148Konferansepaper, Publicerat paper (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.

Serie
Lecture Notes in Computer Science (LNCS), ISSN 0302-9743 ; 9337
Emneord
fault-injection, back-to-back testing, model-based development, embedded systems, functional safety, soft errors
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-36480 (URN)10.1007/978-3-319-24255-2_11 (DOI)2-s2.0-84969856748 (Scopus ID)978-3-319-24254-5 (ISBN)978-3-319-24255-2 (ISBN)
Konferanse
34th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2015), September 23-25, 2015, Delft, Netherlands
Forskningsfinansiär
EU, FP7, Seventh Framework Programme, 295311
Tilgjengelig fra: 2018-11-22 Laget: 2018-11-22 Sist oppdatert: 2023-06-05bibliografisk kontrollert
Vedder, B., Eriksson, H., Skarin, D., Vinter, J. & Jonsson, M. (2015). Towards Collision Avoidance for Commodity Hardware Quadcopters with Ultrasound Localization (ed.). In: : . Paper presented at Proceedings of The 2015 International Conference on Unmanned Aircraft Systems. Denver, USA (pp. 193-203).
Åpne denne publikasjonen i ny fane eller vindu >>Towards Collision Avoidance for Commodity Hardware Quadcopters with Ultrasound Localization
Vise andre…
2015 (engelsk)Konferansepaper, Publicerat paper (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.

HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-6882 (URN)10.1109/ICUAS.2015.7152291 (DOI)2-s2.0-84941030880 (Scopus ID)29527 (Lokal ID)29527 (Arkivnummer)29527 (OAI)
Konferanse
Proceedings of The 2015 International Conference on Unmanned Aircraft Systems. Denver, USA
Tilgjengelig fra: 2016-09-08 Laget: 2016-09-08 Sist oppdatert: 2023-05-23bibliografisk kontrollert
Vedder, B., Arts, T., Vinter, J. & Jönsson, M. (2014). Combining fault-injection with Property-Based Testing (ed.). In: Workshop on Engineering Simulations for Cyber Physical Systems, ES4CPS 2014: . Paper presented at ACM International Conference Proceeding Series (Workshop on Engineering Simulations for Cyber Physical Systems, ES4CPS 2014 - Held in Conjunction with the Conference Design, Automation and Test in Europe, DATE 2014; Dresden; Germany; 28 March 2014 through (pp. 1-8).
Åpne denne publikasjonen i ny fane eller vindu >>Combining fault-injection with Property-Based Testing
2014 (engelsk)Inngår i: Workshop on Engineering Simulations for Cyber Physical Systems, ES4CPS 2014, 2014, , s. 1-8s. 1-8Konferansepaper, Publicerat paper (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.

Publisher
s. 1-8
HSV kategori
Identifikatorer
urn:nbn:se:ri:diva-12452 (URN)10.1145/2559627.2559629 (DOI)2-s2.0-84904571627 (Scopus ID)23642 (Lokal ID)23642 (Arkivnummer)23642 (OAI)
Konferanse
ACM International Conference Proceeding Series (Workshop on Engineering Simulations for Cyber Physical Systems, ES4CPS 2014 - Held in Conjunction with the Conference Design, Automation and Test in Europe, DATE 2014; Dresden; Germany; 28 March 2014 through
Tilgjengelig fra: 2016-09-13 Laget: 2016-09-13 Sist oppdatert: 2023-05-23bibliografisk kontrollert
Organisasjoner
Identifikatorer
ORCID-id: ORCID iD iconorcid.org/0000-0002-6191-6253
v. 2.41.0