| 1. |
- Björnander, Stefan, et al.
(author)
-
A method to formally evaluate safety case arguments against a system architecture model
- 2012
-
In: Proceedings of International Symposium on Software Reliability Engineering Workshops, ISSREW. - 9780769549286 ; , s. 337-342
-
Conference paper (peer-reviewed)abstract
- For a large and complex safety-critical system, where safety is ensured by a strict control over many properties, the safety information is structured into a safety case. As a small change to the system design may potentially affect a large section of the safety argumentation, a systematic method for evaluating the impact of system changes on the safety argumentation would be valuable. We have chosen two of the most common notations: the Goal Structuring Notation (GSN) for the safety argumentation and the Architecture Analysis and Design Language (AADL) for the system architecture model. In this paper, we address the problem of impact analysis by introducing the GSN and AADL Graph Evaluation (GAGE) method that maps safety argumentation structure against system architecture, which is also a prerequisite for successful composition of modular safety cases. In order to validate the method, we have implemented the GAGE tool that supports the mapping between the GSN and AADL notations and highlight changes in impact on the argumentation. © 2012 IEEE.
|
|
| 2. |
- Dardar, Raghad, et al.
(author)
-
Industrial Experiences of Building a Safety Case in Compliance with ISO 26262
- 2012
-
In: 23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2012). - 9780769549286 ; , s. 349-354
-
Conference paper (peer-reviewed)abstract
- The ISO 26262 functional safety standard provides appropriate development processes, requirements and safety integrity levels specific for the automotive domain. One crucial requirement consists of the creation of a safety case, a structured argument, which inter-relates evidence and claims, needed to show that safety-critical systems are acceptably safe. The standard is currently not mandatory to be applied to safety critical systems installed in heavy trucks; however, this is likely to be changed by 2016. This paper describes the experience gathered by applying the standard to the Fuel Level Estimation and Display System, a subsystem that together with other subsystems plays a significant role in terms of global system safety for heavy trucks manufactured by Scania. More specifically, exploratory and laborious work related to the creation of a safety case in compliance with ISO 26262 in an inexperienced industrial setting is described, and the paper ends with presenting some lessons learned together with guidelines to facilitate the adoption of ISO 26262.
|
|
| 3. |
- Jonsson, H., et al.
(author)
-
Agile practices in regulated railway software development
- 2012
-
In: 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW). - 9780769549286 ; , s. 355-360
-
Conference paper (peer-reviewed)abstract
- Complex software is becoming an important component of modern safety-critical systems. To assure the correct function of such software, the development processes are heavily regulated by international standards, often making the process very rigid, unable to accommodate changes, causing late integration and increasing the cost of development. Agile methods have been introduced to address these issues in several software domains, but their use in safety-critical applications remains to be investigated. This paper provides an initial analysis of agile practices in the context of software development for the European railway sector, regulated by the EN 50128 standard. The study complements previous studies on the use of agile methods in other regulated domains. A systematic mapping between EN 50128 requirements and agile practices showed that all practices support some objectives of the standard. Important supporting features recognized were focus on simple design, test automation, coding standards, continuous integration and validation. However, several problematic areas were also identified, including vague requirement analysis and change management. Most agile practices must be adapted to suit regulated software development and this analysis outlines a subset of the required changes. © 2012 IEEE.
|
|
| 4. |
- Vishal, Vivek, et al.
(author)
-
Integrating Model-Based and Constraint-Based Testing Using SpecExplorer
- 2012
-
In: Proceedings of the 4th Workshop on Model-based Testing in Practice (MoTiP 2012). - Piscataway, N.J. : IEEE Press. - 9780769549286 ; , s. 219-224
-
Conference paper (peer-reviewed)abstract
- We report on our experience with model-based testing using SpecExplorer within the Flat X-Ray Detection (FXD) Department of Philips Healthcare. Our initial experiments showed a practical obstacle in combining traditional functional testing techniques with model-based testing using SpecExplorer. We overcome this obstacle by specifying the constraints on our data domain in a spreadsheet and interfacing SpecExplorer with a constraint solver in order to generate concrete test data for the behavioral specifications. We report on some empirical results obtained from our experiments. © 2012 IEEE.
|
|
