Extracting Models from ISO 26262 for Reusable Safety Assurance

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: [email protected]

19-04-2023

Background

/ department of mathematics and computer science PAGE 2

19-04-2023

Certification

Standards


Compliance argument

Experts

19-04-2023

Our plan


Common Certification Framework

Generalized meta-model for certification

Meta-models of standards

19-04-2023

Background


??

?

Subjective

19-04-2023/ department of mathematics and computer science PAGE 6

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.


Overview of ISO 26262 and Its Models


Overview of ISO 26262

19-04-2023

Look from 3 different views—relationships between standard and project


Safety Standard

ProductProcess

Adh

ere

to

Adhere to

Has output

Stan

dard

levelP

roject level

19-04-2023

Modeling for safety reuse


19-04-2023

Structure of ISO26262


19-04-2023

Our approach for safety reuse

Model Extraction method Description method

Tool

Conceptual model

Snow ball approach Ontology Protege

Process model

Mapping between standard and SPEM

SPEM EPF

Structure model

Table of content UML UML tool



Conceptual model


Basic ball Big ball Snowman Frame

Snowball approach

Rolling

snowball

Update

snowman

Snowman

Create

snowman

frame


Snowball approach -----Rule based

Get basic concepts and relationships

Update the concepts and relationships

Refine and optimize the

model

Rules on concepts and

re la t ions

Rules on re f inement and

opt imiza t ion

Objectives Requirements

1 2 3

Basic ball Create snowmanRolling snowball

Validate the model

Domain Exper ts

Update snowman

Domain Knowledge

4


Process model


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.


Concepts in SPEM Concepts in ISO26262Process Safety lifecyclePhase Part

Activity ClausePurpose Objective

Task Title of requirementStep Subtitle of requirement

Description General/Content of requirement

Work Product Work ProductInput Input

Guideline NoteExample Example

Mapping between SPEM and ISO26262


Activity diagram of process model

19-04-2023

Thank you !


19-04-2023

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.



A Process Meta-model with Safety Standard

Awareness


Meta-model of standards

Define a process meta-

model

with standard awarenes

s

Develop the supporting tools

Using the tools

to describe the process in

the standard

s

Find the mapping between the

process model of standard

s

Idea of process model for certification

SPEM EPF Process Model

Suggestion for reuse

19-04-2023

Overview


• SPEM• Models in OPENCOSS• Previous work of Altreonic


SPEM

19-04-2023

Structure of SPEM


19-04-2023

Process Structure Package


19-04-2023

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.


Models in OPENCOSS

19-04-2023

Safety Standards Meta-model


19-04-2023

Evidence Meta-model


Process Meta-model in OPENCOSS

/ department of mathematics and computer science PAGE 3319-04-2023

? ?

?

• With safety standard awareness,

• Not focus on process meta-model, but CCL meta-model.

• Need to be improved.


Previous Work

19-04-2023

Process Meta-model in GoedelWorks


• With safety standard awareness• Only Notations• Supporting tool needs to be

improved

Extracting Models from ISO 26262 for Reusable Safety Assurance

Documents

Transcript of Extracting Models from ISO 26262 for Reusable Safety Assurance