Presentation is loading. Please wait.

Presentation is loading. Please wait.

MBSE & Verification 2nd Workshop

Published byVéronique Langevin Modified over 6 years ago

Similar presentations

Presentation on theme: "MBSE & Verification 2nd Workshop"— Presentation transcript:

1 MBSE & Verification 2nd Workshop
11 avril 2017 INP Grenobl & Schneider Elecric - MBSE & Verification

2 Agenda Xavier Dorel, Christopher Laing Schneider Electric
Eric Blanco, Pierre David Grenoble INP Génie industriel 14h Introduction 14h Rappel sur le précédent workshop (12 janvier) 14h Présentation retours d’expérience par le CEA 14h Brainstorming sur la vérification durant les phases MBSE 16h Brainstorming sur le concept de vérification transverse 17h Fin du workshop

3 INP Grenoble & Schneider Elecric - MBSE & Verification
Why What How Develop INP Grenoble & Schneider Electric - MBSE & Verification - 2nd Workshop V1.7 INP Grenoble & Schneider Elecric - MBSE & Verification

4 INP Grenoble & Schneider Elecric - MBSE & Verification
Why Define Stakeholder Requirements Perform System Validation What Define System Requirements Perform System Verification Define Architecture How Perform System Integration Develop Component Implementation INP Grenoble & Schneider Electric - MBSE & Verification - 2nd Workshop V1.7 INP Grenoble & Schneider Elecric - MBSE & Verification

5 Needs Why Define Stakeholder Requirements Perform System Validation Stakeholder Requirements What Define System Requirements System Requirements Perform System Verification Define Architecture System Element Requirements REUSE LIBRARY How Perform System Integration Develop Component Implementation INP Grenoble & Schneider Electric - MBSE & Verification - 2nd Workshop V1.7 INP Grenoble & Schneider Elecric - MBSE & Verification

6 Needs Why Define Stakeholder Requirements Problem Space Model Perform System Validation Stakeholder Requirements What Define System Requirements Black Box System Model Verification Items System Requirements Perform System Verification Test Model Define Architecture Functional Architecture Model Structural Architecture Model System Element Requirements REUSE LIBRARY How Verification Items Perform System Integration Physical Architecture Model Integration Model Misc View Mech View ELN View S/W View Multiphysical Model Domain Model Develop Mech ELN S/W Component Implementation INP Grenoble & Schneider Electric - MBSE & Verification - 2nd Workshop V1.7 INP Grenoble & Schneider Elecric - MBSE & Verification

7 1.1 Verify All Stakeholder Needs are identified
1.2 Verify Stakeholder Reqts are correct Why Define Stakeholder Requirements Problem Space Model Perform System Validation 2.1 Verify black box fulfils stakeholder expectations Stakeholder Requirements 2.2 Verify System Reqts are correct What Define System Requirements Black Box System Model 2.3 Verify Reqt Specification Verification Items System Requirements Perform System Verification Test Model 6.2 Verify virtual system fulfils System Reqts 3.3; 4.3; 5.3 Verify System Element Reqts are derived correctly 3.5; 4.5 Verify Correctness of Model Define Architecture Functional Architecture Model Structural Architecture Model 2.4 Verify Reqts can be verified correctly 3.1; 4.1; 5.2 Verify Architecture fulfils System Reqts System Element Requirements REUSE LIBRARY How 3.2; 4.2; 5.4 Verify Element Reqt Specification Verification Items Perform System Integration Physical Architecture Model 6.3 Verify virtual elements fulfils System Element Reqts Integration Model 5.5 Verify System Induced Reqts are managed 3.4; 4.4; 5.6 Verify that elements can be integrated 5.1 Verify Physical Architecture fulfils stakeholder expectations Misc View Mech View ELN View 6.1 Reverify previous steps with updated values S/W View Multiphysical Model Domain Model Develop Mech ELN S/W Component Implementation INP Grenoble & Schneider Electric - MBSE & Verification - 2nd Workshop V1.7 INP Grenoble & Schneider Elecric - MBSE & Verification

Download ppt "MBSE & Verification 2nd Workshop"

Similar presentations

1 INCOSE Chesapeake Chapter Enterprise SE Panel Discussion L. Mark Walker/LMC 21 March 2007.

1 INCOSE Chesapeake Chapter Enterprise SE Panel Discussion L. Mark Walker/LMC 21 March 2007.
ECMDA workshop Thales ATM experience in using MDE ECMDA Workshop From code centric to model centric software engineering Bilbao 11 July 2006.

ECMDA workshop Thales ATM experience in using MDE ECMDA Workshop From code centric to model centric software engineering Bilbao 11 July 2006.
CALCUL MENTAL Collège Jean Monnet Préparez-vous !

CALCUL MENTAL Collège Jean Monnet Préparez-vous !
Collège Jean Monnet ACTIVITES MENTALES Question 1 Quel nombre obtient- on en multipliant 9 par 7 ?

Collège Jean Monnet ACTIVITES MENTALES Question 1 Quel nombre obtient- on en multipliant 9 par 7 ?
Industrial Engineering School Grenoble Institute of Technology 1 Grenoble INP – Génie industriel.

Industrial Engineering School Grenoble Institute of Technology 1 Grenoble INP – Génie industriel.
Effective Methods for Software and Systems Integration

Effective Methods for Software and Systems Integration
Systems Thinking and Systems Engineering Verification & Validation 14 March 2013 Francois Christophe Galina Medyna Eric Coatanéa.

Systems Thinking and Systems Engineering Verification & Validation 14 March 2013 Francois Christophe Galina Medyna Eric Coatanéa.
Ron Kratzke, Vitech Corporation MBSE for System Testing Managing the development of system testing using the principles of Model.

Ron Kratzke, Vitech Corporation MBSE for System Testing Managing the development of system testing using the principles of Model.
1 Configuration Management “The Cookbook Approach”

1 Configuration Management “The Cookbook Approach”
1 10/14/2015ã 2007, Spencer Rugaber The Waterfall Process Software plans and requirements Validation System feasibility Validation Product design Verification.

1 10/14/2015ã 2007, Spencer Rugaber The Waterfall Process Software plans and requirements Validation System feasibility Validation Product design Verification.
Slide 1V&V 10/2002 Software Quality Assurance Dr. Linda H. Rosenberg Assistant Director For Information Sciences Goddard Space Flight Center, NASA 301-286-5710.

Slide 1V&V 10/2002 Software Quality Assurance Dr. Linda H. Rosenberg Assistant Director For Information Sciences Goddard Space Flight Center, NASA
Www.xtUML.org © 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.

© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
UNIT 2 TESTING TECHNIQUES Testing begins with a proposal for software/system application development/maintenance and end with the system is formally accepted.

UNIT 2 TESTING TECHNIQUES Testing begins with a proposal for software/system application development/maintenance and end with the system is formally accepted.
Principles of Engineering System Design Dr T Asokan

Principles of Engineering System Design Dr T Asokan
International Workshop Jan 21– 24, 2012 Jacksonville, Fl USA Model-based Systems Engineering (MBSE) Initiative Slides by Henson Graves Presented by Matthew.

International Workshop Jan 21– 24, 2012 Jacksonville, Fl USA Model-based Systems Engineering (MBSE) Initiative Slides by Henson Graves Presented by Matthew.
Schneider Electric 1 - Júlio Neves Problem ●Lack of Architectures SE, with specific application. Target ●Create a library of architecture typified with.

Schneider Electric 1 - Júlio Neves Problem ●Lack of Architectures SE, with specific application. Target ●Create a library of architecture typified with.
LSR Test purposes: adapting the notion of specification to testing Yves Ledru, L. du Bousquet, P. Bontron, O. Maury, C. Oriat, M.-L. Potet LSR/IMAG Grenoble,

LSR Test purposes: adapting the notion of specification to testing Yves Ledru, L. du Bousquet, P. Bontron, O. Maury, C. Oriat, M.-L. Potet LSR/IMAG Grenoble,
12005 MAPLDDesign Integrity Concepts. 22005 MAPLDDesign Integrity Concepts Unit Agenda Consistent terminology, consistent results – Introduction and definitions.

12005 MAPLDDesign Integrity Concepts MAPLDDesign Integrity Concepts Unit Agenda Consistent terminology, consistent results – Introduction and definitions.
Overview of Socio-cognitive Engineering General requirements Theory of Use Design Concept Contextual Studies Task model Design space System specification.

Overview of Socio-cognitive Engineering General requirements Theory of Use Design Concept Contextual Studies Task model Design space System specification.
OWASP ASVS Levels1234 Tools Manual Test and Review Manual Design Review At higher levels in ASVS,the use of tools is encouraged. But to be effective,the.

OWASP ASVS Levels1234 Tools Manual Test and Review Manual Design Review At higher levels in ASVS,the use of tools is encouraged. But to be effective,the.

Similar presentations

Ads by Google