Bachelor and Master Theses

Title: Using an OSLC-based query mechanism to get and set necessary argumentation elements to build a safety case
Subject:
Level: Advanced
Description: ISO 26262 [1] is a safety standard for the automotive domain. Quoting from the standard: “ISO 26262 is intended to be applied to safety-related systems that include one or more electrical and/or electronic (E/E) systems and that are installed in series production passenger cars with a maximum gross vehicle mass up to 3 500 kg.” By now, trucks do not have to be compliant with the standard. However, it is likely that by 2018 they will have to.
ISO 26262 regulates all phases of the entire lifecycle of the product, starting from the management and requirements specification phases up to the production release. The standard also defines the work products that have to be produced during the system’s lifecycle.
To be released on the market, systems will have to be self-assessed: proofs that the systems are acceptably safe will have to be provided in terms of a structured argument, known as safety case, which inter-relates evidence and claims. A safety case is expected to include two types of arguments: process and product-based arguments.
OSLC is a standard that targets tools used during a product’s life cycle and enables their integration and interoperability. OSLC 3.0 [2] is the current version of OSLC. Tools for requirements engineering, design, implementation, verification, etc. are expected to interoperate in a traceable manner i.e. traceability between the respective work products can be easily retrieved and shown. To enable interoperability, different specifications, called domains, need to be provided. More precisely, an OSLC Domain is one Product Lifecycle Management topic area such as Change Management, Requirements management or Automation. Each OSLC Domain has its own OSLC specification that complies with this Core specification.

Information exposed via OSLC-based and ISO 26262-compliant (sub)domains could be “consumed” (exploited, i.e., obtained via queries from the web of OSLC resources) in order to select required information and then generate composable pieces of safety case-fragments [3]. This thesis, conceived in the framework of two inter-related projects [4-5], is aimed at proposing a prototype solution towards this direction. This thesis is expected to build on top of previous results [6-7].

Tasks included:
1) Getting familiar with the ISO 26262 standard, focus on the functional/technical safety concept.
2) Getting familiar with the notion of a safety case.
3) Getting familiar with OSLC and study previous work about querying OSLC-based domains.
4) Reading Scania’s documentation to achieve the necessary understanding of the context to be able to identify the argumentation elements to be retrieved, retrieve them, and exploit them for the creation of a safety case.
5) Create a portion of a safety case related to requirements traceability.

Required outcome:
- an implemented prototype solution allowing for the generation of a safety-case fragment.
- a thesis report that includes: an analysis about the approaches used for querying OSLC-domains for assurance purposes.

Related position at Scania:
http://jobsearch.scania.com/segerjoblist/presentation.aspx?flag=yes&presGrpId=7488&langId=1&ie=False

References to start with:

1. ISO 26262. Road vehicles – Functional safety. International Standard, November 2011.
2. Open Services for Lifecycle Collaboration, http://open- services.net/wiki/core/specification-3.0/.
3. B. Gallina, M. Nyberg. Reconciling the ISO 26262-compliant and the Agile Documentation Management in the Swedish Context. Proceedings of the third Workshop on Critical Automotive applications: Robustness & Safety, joint event of EDCC-2015, Paris, France, September 8th, 2015.
4. VINNOVA, “http://www.vinnova.se/sv/resultat/projekt/effekta/espresso/.”
5. Gen&ReuseSafetyCases-SSF, http://www.es.mdh.se/projects/393- genreusesafetycases.
6. B. Gallina, K. Padira, M. Nyberg. Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-assessment. 10th International Conference on the Quality of Information and Communications Technology- Track: Quality Aspects in Safety Critical Systems (QUATIC), Lisbon, Portugal, 6-9 September, 2016. 1.
7. B. Gallina, J.P. Castellanos Ardila, M. Nyberg. Towards Shaping ISO 26262-compliant Resources for OSLC-based Safety Case Creation. Proceedings of 4th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS), Gothenburg, Sweden, September 6th, 2016.
Company: IDT/Scania AB, kontaktperson: Mattias Nyberg
Proposed: 2016-10-31
Prerequisites: -DVA437 Safety-critical systems engineering (recommended); -DVA332 Software engineering 1: Basic course.
IDT supervisor: Barbara Gallina
barbara.gallina@mdh.se, 021-101631
Examinator: Kristina Lundqvist
Kristina Lundqvist
kristina.lundqvist@mdh.se, +46 (0)21 101428
Misc: -Java programming skills -Knowledge of query languages (e.g., SQL) Number of students: 1

Rapport och bilagor

Size

Senaste uppdatering


  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.08.23