extracting models from iso 26262 for reusable safety assurance n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Extracting Models from ISO 26262 for Reusable Safety Assurance PowerPoint Presentation
Download Presentation
Extracting Models from ISO 26262 for Reusable Safety Assurance

Loading in 2 Seconds...

play fullscreen
1 / 35

Extracting Models from ISO 26262 for Reusable Safety Assurance - PowerPoint PPT Presentation


  • 120 Views
  • Uploaded on

Extracting Models from ISO 26262 for Reusable Safety Assurance. Yaping Luo, Mark van den Brand, Luc Engelen, John Favaro , Martijn Klabbers , and Giovanni Sartori Email: y.luo2@tue.nl. Background. Certification. Compliance argument. Experts. Standards. Our plan. Background. ?.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Extracting Models from ISO 26262 for Reusable Safety Assurance' - may-saunders


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
extracting models from iso 26262 for reusable safety assurance

Extracting Models from ISO 26262for Reusable Safety Assurance

Yaping Luo, Mark van den Brand, Luc Engelen,

John Favaro, Martijn Klabbers, andGiovanniSartori

Email: y.luo2@tue.nl

background
Background

/ department of mathematics and computer science

certification
Certification

Compliance argument

Experts

Standards

/ department of mathematics and computer science

our plan
Our plan

/ department of mathematics and computer science

background1
Background

?

?

?

Subjective

/ department of mathematics and computer science

slide6

Background

  • Why?
    • Transparent: demonstrate our way of constructing the model.
    • Traceability: show the argumentation to the users.
    • Reduce time consumption: assessor could understand other standard with shorter time cost, save the time for creating the models.

/ department of mathematics and computer science

slide7

Overview of ISO 26262 and Its Models

/ department of mathematics and computer science

slide8

Overview of ISO 26262

/ department of mathematics and computer science

look from 3 different views relationships between standard and project
Look from 3 different views —relationships between standard and project

Standard level

Safety Standard

Adhere to

Adhere to

Project level

Process

Product

Has output

/ department of mathematics and computer science

modeling for safety reuse
Modeling for safety reuse

/ department of mathematics and computer science

structure of iso26262
Structure of ISO26262

/ department of mathematics and computer science

our approach for safety reuse
Our approach for safety reuse

/ department of mathematics and computer science

slide13

Conceptual model

/ department of mathematics and computer science

slide14

Snowball approach

Update snowman

Create snowman frame

Rolling snowball

Big ball

Basic ball

Snowman

Snowman Frame

/ department of mathematics and computer science

slide15

Snowball approach -----Rule based

Rules on concepts and relations

Rules on refinement and optimization

Domain Experts

Get basic concepts and relationships

Update the concepts and relationships

Refine and optimize the model

1

2

3

Validate the model

4

Domain Knowledge

Objectives

Requirements

Update snowman

Basic ball

Rolling snowball

Create snowman

/ department of mathematics and computer science

slide16

Process model

/ department of mathematics and computer science

slide17

SPEM Software & Systems Process Engineering Meta-Model

  • A UML profile created by Object Management Group (OMG) for meta-process modeling.
  • Validated by a number of case studies (Supporting tools):
  • Eclipse Process Framework OpenUP/Basic, Microsoft Solution Framework Agile Case Study etc.
  • Used in industry: Delphi etc.

/ department of mathematics and computer science

slide18

Mapping between SPEM and ISO26262

/ department of mathematics and computer science

slide19

Activity diagram of process model

/ department of mathematics and computer science

slide20

Thank you !

/ department of mathematics and computer science

future work
Future Work

To extend our methodology so that we can extract models from a collection of interrelated safety standards.

A comparative study of those safety standards through those models.

To define a domain specific meta-model for the processes found in safety standards. (Process Meta-Model with Safety Standard Awareness)

To find the semi-automatic way for our approaches, such as Nature Language Process (NLP) techniques, Ontology Learning.

/ department of mathematics and computer science

slide22

A Process Meta-model with Safety Standard Awareness

/ department of mathematics and computer science

slide23

Idea of process model for certification

Suggestion for reuse

EPF

SPEM

Process Model

/ department of mathematics and computer science

overview
Overview

/ department of mathematics and computer science

  • SPEM
  • Models in OPENCOSS
  • Previous work of Altreonic
slide25

SPEM

/ department of mathematics and computer science

structure of spem
Structure of SPEM

/ department of mathematics and computer science

process structure package
Process Structure Package

/ department of mathematics and computer science

spem work product and activity kind
SPEM Work Product and Activity Kind
  • Mature process meta-model, with Eclipse tool support
  • Not with safety standards awareness, too general for safety-critical process and certification.

/ department of mathematics and computer science

slide29

Models in OPENCOSS

/ department of mathematics and computer science

safety standards meta model
Safety Standards Meta-model

/ department of mathematics and computer science

evidence meta model
Evidence Meta-model

/ department of mathematics and computer science

process meta model in opencoss
Process Meta-model in OPENCOSS
  • With safety standard awareness,
  • Not focus on process meta-model, but CCL meta-model.
  • Need to be improved.

?

?

?

/ department of mathematics and computer science

slide33

Previous Work

/ department of mathematics and computer science

process meta model in goedelworks
Process Meta-model in GoedelWorks
  • With safety standard awareness
  • Only Notations
  • Supporting tool needs to be improved

/ department of mathematics and computer science