1 / 35

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: y.luo2@tue.nl. Background. Certification. Compliance argument. Experts. Standards. Our plan. Background. ?.

may-saunders
Télécharger la présentation

Extracting Models from ISO 26262 for Reusable Safety Assurance

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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 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

  2. Background / department of mathematics and computer science

  3. Certification Compliance argument Experts Standards / department of mathematics and computer science

  4. Our plan / department of mathematics and computer science

  5. Background ? ? ? Subjective / department of mathematics and computer science

  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. / department of mathematics and computer science

  7. Overview of ISO 26262 and Its Models / department of mathematics and computer science

  8. Overview of ISO 26262 / department of mathematics and computer science

  9. 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

  10. Modeling for safety reuse / department of mathematics and computer science

  11. Structure of ISO26262 / department of mathematics and computer science

  12. Our approach for safety reuse / department of mathematics and computer science

  13. Conceptual model / department of mathematics and computer science

  14. Snowball approach Update snowman Create snowman frame Rolling snowball Big ball Basic ball Snowman Snowman Frame / department of mathematics and computer science

  15. 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

  16. Process model / department of mathematics and computer science

  17. 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

  18. Mapping between SPEM and ISO26262 / department of mathematics and computer science

  19. Activity diagram of process model / department of mathematics and computer science

  20. Thank you ! / department of mathematics and computer science

  21. 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

  22. A Process Meta-model with Safety Standard Awareness / department of mathematics and computer science

  23. Idea of process model for certification Suggestion for reuse EPF SPEM Process Model / department of mathematics and computer science

  24. Overview / department of mathematics and computer science • SPEM • Models in OPENCOSS • Previous work of Altreonic

  25. SPEM / department of mathematics and computer science

  26. Structure of SPEM / department of mathematics and computer science

  27. Process Structure Package / department of mathematics and computer science

  28. 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

  29. Models in OPENCOSS / department of mathematics and computer science

  30. Safety Standards Meta-model / department of mathematics and computer science

  31. Evidence Meta-model / department of mathematics and computer science

  32. 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

  33. Previous Work / department of mathematics and computer science

  34. Process Meta-model in GoedelWorks • With safety standard awareness • Only Notations • Supporting tool needs to be improved / department of mathematics and computer science

  35. / department of mathematics and computer science

More Related