-
Security Assurance Cases for Road Vehicles: an Industry Perspective
Authors:
Mazen Mohamad,
Alexander Åström,
Örjan Askerdal,
Jörgen Borg,
Riccardo Scandariato
Abstract:
Assurance cases are structured arguments that are commonly used to reason about the safety of a product or service. Currently, there is an ongoing push towards using assurance cases for also cybersecurity, especially in safety-critical domains, like automotive. While the industry is faced with the challenge of defining a sound methodology to build security assurance cases, the state of the art is…
▽ More
Assurance cases are structured arguments that are commonly used to reason about the safety of a product or service. Currently, there is an ongoing push towards using assurance cases for also cybersecurity, especially in safety-critical domains, like automotive. While the industry is faced with the challenge of defining a sound methodology to build security assurance cases, the state of the art is rather immature. Therefore, we have conducted a thorough investigation of the (external) constraints and (internal) needs that security assurance cases have to satisfy in the context of the automotive industry. This has been done in the context of two large automotive companies in Sweden. The end result is a set of recommendations that automotive companies can apply in order to define security assurance cases that are (i) aligned with the constraints imposed by the existing and upcoming standards and regulations and (ii)harmonized with the internal product development processes and organizational practices. We expect the results to be also of interest for product companies in other safety-critical domains, like healthcare, transportation, and so on
△ Less
Submitted 31 March, 2020;
originally announced March 2020.
-
Scaling and diabatic effects in quantum annealing with a D-Wave device
Authors:
Phillip Weinberg,
Marek Tylutki,
Jami M. Rönkkö,
Jan Westerholm,
Jan A. Åström,
Pekka Manninen,
Päivi Törmä,
Anders W. Sandvik
Abstract:
We discuss quantum annealing of the two-dimensional transverse-field Ising model on a D-Wave device, encoded on $L \times L$ lattices with $L \le 32$. Analyzing the residual energy and deviation from maximal magnetization in the final classical state, we find an optimal $L$ dependent annealing rate $v$ for which the two quantities are minimized. The results are well described by a phenomenological…
▽ More
We discuss quantum annealing of the two-dimensional transverse-field Ising model on a D-Wave device, encoded on $L \times L$ lattices with $L \le 32$. Analyzing the residual energy and deviation from maximal magnetization in the final classical state, we find an optimal $L$ dependent annealing rate $v$ for which the two quantities are minimized. The results are well described by a phenomenological model with two powers of $v$ and $L$-dependent prefactors to describe the competing effects of reduced quantum fluctuations (for which we see evidence of the Kibble-Zurek mechanism) and increasing noise impact when $v$ is lowered. The same scaling form also describes results of numerical solutions of a transverse-field Ising model with the spins coupled to noise sources. We explain why the optimal annealing time is much longer than the coherence time of the individual qubits.
△ Less
Submitted 5 March, 2020; v1 submitted 30 September, 2019;
originally announced September 2019.
-
Crumpling of a stiff tethered membrane
Authors:
J. A. Astrom,
J. Timonen,
Mikko Karttunen
Abstract:
first-principles numerical simulation model for crumpling of a stiff tethered membrane is introduced. In our model membranes, wrinkles, ridge formation, ridge collapse, as well as the initiation of stiffness divergence, are observed. The ratio of the amplitude and wave length of the wrinkles, and the scaling exponent of the stiffness divergence, are consistent with both theory and experiment. We…
▽ More
first-principles numerical simulation model for crumpling of a stiff tethered membrane is introduced. In our model membranes, wrinkles, ridge formation, ridge collapse, as well as the initiation of stiffness divergence, are observed. The ratio of the amplitude and wave length of the wrinkles, and the scaling exponent of the stiffness divergence, are consistent with both theory and experiment. We observe that close to the stiffness divergence there appears a crossover beyond which the elastic behavior of a tethered membrane becomes similar to that of dry granular media. This suggests that ridge formation in membranes and force-chain network formation in granular packings are different manifestations of a single phenomenon.
△ Less
Submitted 22 September, 2003;
originally announced September 2003.
