MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …
Transcript of MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …
![Page 1: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/1.jpg)
MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – MARVL
Sam Gerené (RHEA Group)
Alex Vorobiev (RHEA Group)
MARVL Team
Space System Ontology Workshop - June 26th 2019
E-TM-10-25 AND THE ECSS GLOSSARY OF TERMSSam Gerené (RHEA Group)
Carlos Redondo (Cranfield University)
![Page 2: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/2.jpg)
MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE
2Space System Ontology Workshop - June 26th 2019
![Page 3: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/3.jpg)
OBJECTIVES AND SCOPE
To develop a methodology and process for the exchange of model-based information along the customer – supplier chain.
To develop a software solution for the exchange of model-based information along the customer – supplier chain.
To develop a software solution for model-based review and early verification of requirements
3Space System Ontology Workshop - June 26th 2019
![Page 4: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/4.jpg)
Space System Ontology Workshop - June 26th 2019 4
MARVL CONSORTIUM
![Page 5: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/5.jpg)
EUROPEAN SPACE AGENCY NEED
Move from document centric to model centric information exchange
A platform that facilitates model-based information exchange through the project life-cycles between:
interdisciplinary / multifunctional information exchange
multiple stakeholders (e.g. ESA, LSI, subcontractors)
A platform that supports traceability through the project lifecycle
Support technical oversight and formal review process
5Space System Ontology Workshop - June 26th 2019
![Page 6: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/6.jpg)
DOCUMENT ORIENTED VS MODEL BASED
6Space System Ontology Workshop - June 26th 2019
Conversions of model data to documents and vice versa has the following down sides:
Same information is repeated in different documents,
Inconsistencies due to lack of configuration control,
Difficult to navigate between documents,
Tracking of evolution, changes, and overall status is difficult
![Page 7: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/7.jpg)
KEY ENGINEERING CONCEPTS
7Space System Ontology Workshop - June 26th 2019
Navigation, Inspection and Annotation (review) of Engineering Data coming from deliverables in a model-based fashion
![Page 8: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/8.jpg)
SEVERAL DATA MODELS HAVE BEEN ANALYSED TO SELECT THE BEST FOR MARVL
No model satisfiesall needs
Merge models tohave optimal coverage
8Space System Ontology Workshop - June 26th 2019
![Page 9: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/9.jpg)
The MARVL Conceptual Data Model is based on multiple available models to provide coverage of identified engineering concepts:
ECSS E-TM-10-25A
VSEE (Virtual Spacecraft Engineering Environment)
EGS-CC (European Ground Systems Common Core)
9Space System Ontology Workshop - June 26th 2019
MARVL – DATA MODEL
![Page 10: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/10.jpg)
Requirements(ReqIF)
Functional Avionics(Capella)
Physical Architecture(Native CIP)
EM1+2+3
Space System Ontology Workshop - June 26th 2019
MARVL – COMBINED MODEL INSPECTION
![Page 11: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/11.jpg)
Requirements(ReqIF)
Requirements ‘(ReqIF)
Requirements ‘‘(ReqIF)
Space System Ontology Workshop - June 26th 2019
‘ ‘‘
![Page 12: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/12.jpg)
WEB APPLICATION
12Space System Ontology Workshop - June 26th 2019
![Page 13: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/13.jpg)
WEB APPLICATION
13Space System Ontology Workshop - June 26th 2019
![Page 14: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/14.jpg)
WEB APPLICATION
14Space System Ontology Workshop - June 26th 2019
![Page 15: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/15.jpg)
RCP SUPPORTED PLATFORMSJava 8/64 Bit runtime
Windows 7/10
Mac/OSX
Linux (tested on Ubuntu)
15Space System Ontology Workshop - June 26th 2019
![Page 16: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/16.jpg)
MARVL CIP FUTURE
16Space System Ontology Workshop - June 26th 2019
![Page 17: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/17.jpg)
ECSS-E-TM-10-25 AND THE ECSS GLOSSARY OF TERMS
17Space System Ontology Workshop - June 26th 2019
![Page 18: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/18.jpg)
18Space System Ontology Workshop - June 26th 2019
SPACE MISSION SYSTEM VIEWS• A Space Mission Design can be broken down along 3 main planes (views):
• Problem statement “plane” (requirements)• Functional “plane”• Physical “plane”
• In-Plane & Out-Plane Relationships
Importance of defining Standardized Semantics foreach “plane”
ECSS-E-TM-10-25A
ECSS Glossary of Terms
![Page 19: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/19.jpg)
19Space System Ontology Workshop - June 26th 2019
ECSS GLOSSARY OF TERMS• Based on ECSS Glossary of Terms we assign for each of these System
“planes” a Categorization and a Hierarchy Decomposition• Inside each plane, based on ECSS Glossary of Terms we establish
hierarchy + relationships.• Outside the planes, based on ECSS Glossary of Terms we establish
relationships
![Page 20: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/20.jpg)
20Space System Ontology Workshop - June 26th 2019
ECSS GLOSSARY OF TERMS
![Page 21: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/21.jpg)
21Space System Ontology Workshop - June 26th 2019
ECSS-E-TM-10-25ANeed for a model and tool that is capable of:
Build these 3-
views elements
Implements a categorization
with these elements
Parameter Creation & Application
Build & Visualize
Relationships between elements
• Element Definitions• Element Usages• Decomposition Trees• Requirement Specification
• Parameter Creation• Parameter Subscriptions
• Category Creation• Category Browser• Super Category
Definition
• Relationship Creation• Rules Creation• View: Relationship
Matrix
In a framework that simultaneously accounts for the work of all Domains of Expertise active in the current Model DATA REPOSITORY
![Page 22: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/22.jpg)
22Space System Ontology Workshop - June 26th 2019
CDP4 – SEMANTICS & ARCHITECTUREA strength of ECSS-E-TM-10-25A and CDP4/OCDT is that they allow for a flexible Modelling Architecture or Methodology using categorizations and rules
• Main Category is applied to give significance of Hierarchy to each of the elements: Functions (FUNC), Subsystem (SS), Equipment (EQT)…
• A Secondary, descriptive category is applied so that it can be used transversally to refer to a specific Domain of Expertise: AOCS Descriptor, Power Descriptor… with Descriptor as Super Category
• Agreement between organizations can be formalized using reference data captured in Reference Data Libraries: QUDV, categories, rules
![Page 23: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/23.jpg)
23Space System Ontology Workshop - June 26th 2019
CDP4 – SEMANTICS & ARCHITECTURE
Requirements Functions Products
[ECSS decomposition]
ELE
EQT
SEQ
...
Descriptors
Mechanical Electrical Optical Launch ...
OR OR AND
![Page 24: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/24.jpg)
24Space System Ontology Workshop - June 26th 2019
CDP4 IMPLEMENTATIONUse of relationships to model and perform requirements verification
Thing type Selection
Category Selection
Rule Selection
![Page 25: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/25.jpg)
25Space System Ontology Workshop - June 26th 2019
CDP4 IMPLEMENTATION• Complex System Modelling allowing for flexible and DoE-Oriented visualization
![Page 26: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/26.jpg)
Contact:
RHEA Group Sam Gerené [email protected] Vorobiev [email protected]
Airbus Robert Birn [email protected]
ScopeSET Armin Müller [email protected]
Q&A
26Space System Ontology Workshop - June 26th 2019
![Page 27: MODEL-BASED REQUIREMENTS VERIFICATION LIFECYCLE – …](https://reader030.fdocuments.us/reader030/viewer/2022012705/61a702d3c6c89d363853d54f/html5/thumbnails/27.jpg)
Thank you. Let’s build the future together.
www.rheagroup.com
27Space System Ontology Workshop - June 26th 2019