| 1. |
- Lidström, Christian, et al.
(författare)
-
Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements
- 2019
-
Ingår i: Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019. - : Institute of Electrical and Electronics Engineers Inc.. - 9781728139258 ; , s. 28-35
-
Konferensbidrag (refereegranskat)abstract
- Specification of requirements on the functional behaviour of system components is a central concern for the overall safety of software systems. Therefore, the methodology used for analysing failure modes resulting from requirement violations is of utmost importance to safety within the automotive industry. ISO 26262 is a standard for functional safety within the automotive industry, in which the concept of Automotive Safety Integrity Levels (ASILs) is defined. ASILs are assigned to requirements, and represents the risk associated with violating said requirements. As redundancy is introduced into systems, requirements are broken down and may have their ASILs lowered through ASIL decomposition. This paper examines ASIL decomposition as defined in ISO 26262, and identifies reasons for why the suggested pattern is insufficient for common use cases within the automotive industry. The paper also proposes an improved pattern, which is applied to an industrial case and analysed for its implications on system safety.
|
|
| 2. |
- Nyberg, Mattias, et al.
(författare)
-
Formal verification in automotive industry : Enablers and obstacles
- 2018
-
Ingår i: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018. - Cham : Springer. - 9783030034269 ; , s. 139-158
-
Konferensbidrag (refereegranskat)abstract
- We describe and summarize our experiences from six industrial case studies in applying formal verification techniques to embedded, safety-critical code. The studies were conducted at Scania over the period of eight years. Despite certain successes, we have so far failed to introduce formal techniques on a larger scale. Based on our experiences, we identify and discuss some key obstacles to, and enabling factors for the successful incorporation of formal verification techniques into the software development and quality assurance process.
|
|
