About: Case study on combined validation of safety & security requirements

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Case study on combined validation of safety & security requirements Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	In the automotive domain, it is of paramount importance to ensure safety, and recently also security, of the developed products. In many cases safety and security are handled separately by independent teams. In this paper we deal with testing and validation of safety- and security-related properties of control software in the AUTOSAR architecture and show that the strict separation of those two activities is not necessary and that combining them can bring economic benefits. We demonstrate that by developing software-in-the-loop and hardware-in-the-loop testbeds and use them for both safety-and security-related testing activities. We evaluate a prototype of electric motors control software, that is currently under development by Infineon Technologies, and perform a number of tests to verify correct functionality of implemented safety measures even under the presence of attacks. The motor control software is integrated with a message authentication protocol on CAN bus. The results show, that apart from few minor problems, the implemented safety measures function correctly. In the automotive domain, it is of paramount importance to ensure safety, and recently also security, of the developed products. In many cases safety and security are handled separately by independent teams. In this paper we deal with testing and validation of safety- and security-related properties of control software in the AUTOSAR architecture and show that the strict separation of those two activities is not necessary and that combining them can bring economic benefits. We demonstrate that by developing software-in-the-loop and hardware-in-the-loop testbeds and use them for both safety-and security-related testing activities. We evaluate a prototype of electric motors control software, that is currently under development by Infineon Technologies, and perform a number of tests to verify correct functionality of implemented safety measures even under the presence of attacks. The motor control software is integrated with a message authentication protocol on CAN bus. The results show, that apart from few minor problems, the implemented safety measures function correctly. (en)
Title	Case study on combined validation of safety & security requirements Case study on combined validation of safety & security requirements (en)
skos:prefLabel	Case study on combined validation of safety & security requirements Case study on combined validation of safety & security requirements (en)
skos:notation	RIV/68407700:21230/14:00223561!RIV15-MSM-21230___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(7H12007), P(GAP103/12/1994)
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Kreč, Michal Hanzálek, Zdeněk Sojka, Michal
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	České vysoké učení technické v Praze / Fakulta elektrotechnická
http://linked.open...dnocenehoVysledku	6276
http://linked.open...ai/riv/idVysledku	RIV/68407700:21230/14:00223561
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Civil defense; Embedded systems; Safety testing; Software prototyping; Software testing; Unmanned vehicles (en)
http://linked.open.../riv/klicoveSlovo	Embedded systems Software testing Civil defense Safety testing Software prototyping Unmanned vehicles
http://linked.open...ontrolniKodProRIV	[8EC0D59AB190]
http://linked.open...v/mistoKonaniAkce	Pisa
http://linked.open...i/riv/mistoVydani	Piscataway
http://linked.open...i/riv/nazevZdroje	Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Security and Safety Modelling Adaptive scheduling and Optimization algorithms for distributed Real-time Embeddes Systems
http://linked.open...UplatneniVysledku	2014
http://linked.open...iv/tvurceVysledku	Hanzálek, Zdeněk Sojka, Michal Kreč, Michal
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open...ain/vavai/riv/wos	000345746200032
http://linked.open.../riv/zahajeniAkce	2014-06-18 (xsd:date)
number of pages	8 (xsd:int)
http://bibframe.org/vocab/doi	10.1109/SIES.2014.6871210
http://purl.org/ne...btex#hasPublisher	IEEE
https://schema.org/isbn	978-1-4799-4023-3
http://localhost/t...ganizacniJednotka	21230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 85 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software