| 1. |
- Cârlan, C., et al.
(författare)
-
Arguing on software-level verification techniques appropriateness
- 2017
-
Ingår i: Lect. Notes Comput. Sci.. - Cham : Springer Verlag. - 9783319662657 ; , s. 39-54
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we investigate the pondered selection of innovative software verification technology in the safety-critical domain and its implications. Verification tools perform analyses, testing or simulation activities. The compliance of the techniques implemented by these tools to fulfill standard-mandated objectives (i.e., to be means of compliance in the context of DO-178C and related supplements) should be explained to the certification body. It is thereby difficult for practitioners to use novel techniques, without a systematic method for arguing their appropriateness. Thus, we offer a method for arguing the appropriate application of a certain verification technique (potentially in combination with other techniques) to produce the evidence needed to satisfy certification objectives regarding fault detection and mitigation in a realistic avionics application via safety cases. We use this method for the choice of an appropriate compiler to support the development of a drone.
|
|
| 2. |
- Johansson, R., et al.
(författare)
-
A strategy for assessing safe use of sensors in autonomous road vehicles
- 2017
-
Ingår i: 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017. - Cham : Springer. - 9783319662657 ; , s. 149-161
-
Konferensbidrag (refereegranskat)abstract
- When arguing safety for an autonomous road vehicle it is considered very hard to show that the sensing capability is sufficient for all possible scenarios that might occur. Already for today’s manually driven road vehicles equipped with advanced driver assistance systems (ADAS), it is far from trivial how to argue that the sensor systems are sufficiently capable of enabling a safe behavior. In this paper, we argue that the transition from ADAS to automated driving systems (ADS) enables new solution patterns for the safety argumentation dependent on the sensor systems. A key factor is that the ADS itself can compensate for a lower sensor capability, by for example lowering the speed or increasing the distances. The proposed design strategy allocates safety requirements on the sensors to determine their own capability. This capability is then to be balanced by the tactical decisions of the ADS equipped road vehicle.
|
|
| 3. |
- Kitamura, T., et al.
(författare)
-
Classification tree method with parameter shielding
- 2017
-
Ingår i: 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017. - Cham : Springer. - 9783319662657 ; , s. 230-241
-
Konferensbidrag (refereegranskat)abstract
- The Classification Tree Method (CTM) is a structured and diagrammatic modeling technique for combinatorial testing. CTM can express the notion of “parameter shielding”, the phenomenon that some system parameters become invalidated depending on another system parameter. The current form of CTM, however, is limited in its expressiveness: it can only express parameter shielding that depends on a single parameter. In this paper, we extend CTM with parameter shielding that depends on multiple parameters, proposing CTM. We evaluate the proposed extension on several industrial systems. The evaluation finds that parameter shielding often depends on multiple parameters in real systems, and the effectiveness of the extension.
|
|
