MBSE in the System Design and Verification Process

Similar documents
European Ground Systems - Common Core (EGS-CC) ASI Italian Information Day

Module 3. Overview of TOGAF 9.1 Architecture Development Method (ADM)

BUILDING GOOD-QUALITY FUNCTIONAL SPECIFICATION MODEL

Model-Based Systems Engineering Backbone of the Thales Engineering Manifesto

The Main Concepts of the European Ground Systems Common Core (EGS-CC)

Concept and Performance Simulation with ASTOS

SysML Past, Present, and Future. J.D. Baker Sparx Systems Ambassador Sparx Systems Pty Ltd

Service Vs. System. Why do we need Services and a Services Viewpoint in DM2 and DoDAF? Fatma Dandashi, PhD March 4, 2011

Test Architect A Key Role defined by Siemens

Vendor: The Open Group. Exam Code: OG Exam Name: TOGAF 9 Part 1. Version: Demo

Systems Engineering Training Courses 2015 Catalog

Modeling with VSEE: Definition of Guidelines and Exploitation of the Models YGT Final Report

The Open Group SOA Ontology Technical Standard. Clive Hatton

OG The Open Group OG TOGAF 9 Combined Part 1 and Part 2

Module 7 TOGAF Content Metamodel

Future Directions for SysML v2 INCOSE IW MBSE Workshop January 28, 2017

How to Advance Interdisciplinary Model Based Engineering of Space Systems?

ESA UNCLASSIFIED Releasable to Public

Data Model and Tool Support for a consistent Functional Verification Chain in Space Projects SEPS 2012, ESTEC

COMPASS: FORMAL METHODS FOR SYSTEM-SOFTWARE CO-ENGINEERING

Innovations in collaborative modelling and simulation to deliver the Behavioural Digital Aircraft : A summary of results from the CRESCENDO project

ORACLE SERVICES FOR APPLICATION MIGRATIONS TO ORACLE HARDWARE INFRASTRUCTURES

Project Proposal: OSLC4MBSE - OMG SE and OSLC working group as part of the OMG SE DSIG. OSLC for Model-Based Systems Engineering Interoperability

CLOSING THE DESIGN CYCLE LOOP WITH EXECUTABLE REQUIREMENTS AND OSLC

for TOGAF Practitioners Hands-on training to deliver an Architecture Project using the TOGAF Architecture Development Method

OG0-091 Q&As TOGAF 9 Part 1

Data Model and Tool Support for a consistent Functional Verification Chain in Space Projects

MTG Schedule Report template

Advanced Validation Strategies for On-Board Satellite Software in the Galileo IOV Programme

Designing a System Engineering Environment in a structured way

Enabling technologies for downstream services. Steve Greenland Clyde Space Ltd

Applying UML to System Engineering Some Lessons Learned Murray Cantor Principal Consultant

Executives Will Want to use MBSE

Final Presentation AUTOCOGEQ GMV, 2017 Property of GMV All rights reserved UNCLASSIFIED INFORMATION

Incentives for IoT Security. White Paper. May Author: Dr. Cédric LEVY-BENCHETON, CEO

European SDR for wireless in joint security operations EULER project Euler consortium EULER general presentation

Single Window Systems Conceptual Framework and Global Trends and Practices. OIC study th Meeting of the COMCEC Trade Working Group

Introducing Enterprise Architecture. into the Enterprise

H2020 Space Robotic SRC- OG4

Modelling & Simulation of Complex Socio-Cyber- Physical Systems and Large Scale Systems of Systems

Modeling Requirements, Architectures, Behaviour...

Current State of ontology in engineering systems

ECSS E-70-41: Telemetry & Telecommand Packet Utilisation Mario Merri European Space Agency

Modelling in Enterprise Architecture. MSc Business Information Systems

The Software Assurance Ecosystem: OMG s Approach to Systems & Software Assurance

Simplifying IT through Virtualization

SE 2730 Final Review

Stakeholder Participation Guidance

ELECTRICAL DESIGN PRACTICE NOTE ELECTRICAL SYSTEM REQUIREMENTS

HORIZON2020 FRAMEWORK PROGRAMME TOPIC EUK Federated Cloud resource brokerage for mobile cloud services. D7.1 Initial publication package

Friends, Romans, countrymen use your EARS & Improve your requirements

Business Architecture Implementation Workshop

lnteroperability of Standards to Support Application Integration

Space Data Coordination Group Meeting (SDCG-13) 15 th -16 th September 2018, Bogotá, Colombia Meeting Objectives

ESTEC, June 9 th, 2016

CompTIA Project+ (2009 Edition) Certification Examination Objectives

The NEW Power System: challenges and solutions. 1 st October 2018 Duncan Botting IEA DSM

5.10 CUSTOMER SPECIFIC DESIGN AND ENGINEERING SERVICES (L )

Accelerate Your Enterprise Private Cloud Initiative

Enterprise Architecture Method

An Introduction to SySML

Integrated modeling: Adopting Architecture Frameworks for Model-based Systems Engineering

Enabling technologies for downstream services. Steve Greenland Clyde Space Ltd

BIM-based software tool for BIPV systems design + simulation. Philippe ALAMY. CADCAMation Project Manager

Body of Knowledge and Curriculum to Advance Systems Engineering

Module 1 Management Overview

What's new with Rational IBM s Telelogic Solutions move to Jazz

Product. e ss. P roc. so get the right requirements. Garbage in garbage out,

A Generic Method for Defining Viewpoints in SysML

Update on MBSE & BIM Work-Stream. James Towers INCOSE UK MBSE Interest Group 26 th September 2017

Lecture 7: Software Processes. Refresher: Software Always Evolves

Addressing the needs of INSPIRE: The Challenges of improving Interoperability within the European Union

ARCADIA: Model-Based Collaboration for System, Software and Hardware Engineering

ECSS E Test Platform Features and Applicability Area

Italy - Information Day: 2012 FP7 Space WP and 5th Call. Peter Breger Space Research and Development Unit

Achieving the digital thread through PLM and ALM integration using OSLC

EPRO. Electric Infrastructure Protection Initiative EPRO BLACK SKY SYSTEMS ENGINEERING PROCESS

MITA s approach to Open Standards. Presented by: Noel Cuschieri 24 th November 2015

Architecture-driven development of Climate Control Software LMS Imagine.Lab Embedded Software Designer Siemens DF PL

Overview of Open Services for Lifecycle Collaboration (OSLC)

Appendix S. Data exchange for thermal analysis a status update

Towards SpaceWire Plug-And-Play ECSS Standard

The SSA Programme and SWE Segment status + view towards Period 3. SWWT Steering Board meeting 15 th November, 2016

SLIM for Model-Based Systems Engineering

SCADE. SCADE Architect System Requirements Analysis EMBEDDED SOFTWARE

The GIGAS Methodology

Joint Federated Assurance Center (JFAC): 2018 Update. What Is the JFAC?

Semantics-Based Integration of Embedded Systems Models

MAASTO TPIMS Systems Engineering Analysis. Documentation

Enterprise Architecture Views and Viewpoints in ArchiMate

Requirement Analysis

CCSDS Mission Operations Services

Business Process Modelling

International Atomic Energy Agency Meeting the Challenge of the Safety- Security Interface

Test and Evaluation of Autonomous Systems in a Model Based Engineering Context

Approaches to Achieve Benefits of Modularity in Defense Acquisition

Minsoo Ryu. College of Information and Communications Hanyang University.

Navigating the RTL to System Continuum

FHA Federal Health Information Model (FHIM) Information Modeling Process Guide

Security Secure Information Sharing

Transcription:

MBSE in the System Design and Verification Process Joachim Fuchs (ESA/ESTEC) also inspired from industry and organisations like OMG, INCOSE Astrium, TAS, ADSE

What Is Systems? A Consensus of Senior Systems Engineers

process 1. Improve the way we deliver Space Systems a. Manage increasing complexity b. Reduce cost and schedule in projects c. Assure quality d. Strengthen competitiveness 2. Development pull (what are our problems): a. Stovepipe design approaches (limited cross-sectorial harmonisation) b. Inconsistent System Data across actors and along project life-cycle c. Bottlenecks in AIT / AIV d. Weak initial verification leading to late problem detection e. Difficult handover between stakeholders (ESA / industry) 3. Technology push a. Model-Based System b. Virtual Design / Testing capabilities c. System modelling / simulation d. Standardisation

System process standard ECSS-E-ST-10C: System engineering general requirements. Supporting HB/TM s ECSS E HB 10 02A: Verification guidelines ECSS-E-TM-20A: Product data exchange ECSS E TM 10 21A: System modeling and simulation ECSS-E-TM-10-23A: Space system data repository ECSS E-TM-10-25: design model data exchange (CDF) OMG SysML-QUDV: Quantities, Units, Dimensions, Values (QUDV) OMG SiMF (Semantic Information modeling for Federations) Domain standards (several) Quality assurance & Management standards (several) Others.

Early vs. Later Life Cycle Phases Early Phases (0, A) Later Phases (B, C, D, E) baseline Transition around SRR (first half Phase B) Tens of users One or few organisations Near-real-time data sharing in minutes, hours Trade studies / Strawman models Requirements in state of flux Support decision making / programme formulation Few relatively small models Fine-grained version control (object level) time Hundreds of users Tens of organisations Synchronisation times in days, weeks, months Formal configuration/version control Strict requirements baseline Formal, detailed V&V Orders of magnitude more models/data Coarser-grained version control ( dataset level)

Phase A: Feasibility Phase B: Preliminary Defini on Phase C: Detailed Defini on Phase D: Qualifica on and Produc on Phase E: Opera ons / U lisa on Effort SE Functions During Life-cycle Verifica on Design and Configura on Analysis Requirement Time PRR PDR CDR AR SRR QR

The use of Models in the engineering process A Model captures the characteristic of a system A Model is a representation of reality. The dynamic properties, the behavior are provided, by propagating the model as function of time, frequency, load, temperature. Sun-aspect angle,.. Before any modeling: a. Make sure the question is clear what is the objective of this model Which answers it shall provide b. The required fidelity of the model is linked to the Objective (which question are we trying to answer)

Models and their Use 1. Modeling a. Generation of models b. Closely linked to design / architecting activity c. Description as well as relations between engineering artefacts 2. Communication a. Exchange of data b. Often linked to review activity 3. Use / exploitation a. Use of model information in dedicated tools b. Closely linked to analysis or verification activity c. Reasoning on model data (design knowledge, experience, rules) 4. Formal and automatic transition between different levels (model transformation, e.g. CAD FEM 3D printing, SW spec Code)

Common Representation and tailored Presentations (or Views) Operational Concept System Topology Operational Procedures Functional Architecture AIT Flow and Integration Procedures Representation Requirements Physical Configuration Verfication Definitions

The data challenge Mission / system requirements System architect System Engineers / Domain experts Customer Supplier - Several modeling tools / methods available. - SysML is one, but not used systematically System engineering team Architecture Specifications Interface spec s Budgets Plan s Cost.. Proposed solution Analysis / Verification Domain Domain analysis Domain analysis Domain analysis Domain analysis Domain analysis engineering Architecture refinement (subsys-level) Req. refinement (functional/performance) Analysis - Concept modeling to define datamodel (several approaches and methods are practiced) System data repository - Each domain has own specific modeling, analysis or simulation tools with their own data representation

Status today (ESA activities) 1. VSEE (Virtual Spacecraft Environment) 2. Data Mapping Editor a. FSS link system model and verification method 3. Space System Data Repository a. Harmonisation exercise ongoing and roadmap defined 4. Verification over life-cycle a. Reviews what do they mean b. Data / information where and how does it need to be exchanged c. Contracts as means to ensure traceability also on model level 5. Standardisation / methodologies a. Conceptual data modelling (FBM)

The Top-level Objectives at Level 1. Manage increasing complexity without loosing grip on cost and quality. 2. Maintain consistency between properties used by the system architect and the domain engineering experts. 3. Perform verification early in the lifecycle to ensure our spec s are feasible, complete, coherent and consistent. 4. Interchange of data between domain tools that uses own data model. 5. Ensure that all domain analysis /verification are based on the same system data-set.

What are the challenges 1. Infusion into projects 2. Measurable advances 3. We understand a. Context of engineering b. Underlying mechanisms c. Domain needs and interactions d. Traceability 4. What we need to improve a. Requirements / verification logic b. Where is interoperability needed, where is communication, where is contractual / technical / programmatic c. Boundary between system and discipline level 5. Need to focus to get acceptance

Where is the MBSE in supporting this cross domain problem? MBSE

Challenges for Introduction Objective ( why ) achieves Process ( what ) Methodology Manage the change process Technology capabilities, limitations performes Method ( how ) facilitate s Tools ( with what ) knowledge, skills, organisation, attitude People Data and process central Not a technology looking for a problem enables Environment Adopted from: James Martin

System Domain and Interfaces (according to ECSS) Management Cost Planning Configura on Control Procurement Informa on Documenta on System and Control Produc on Development Manufacturing Assembly Integra on Test Requirements Analysis Func onal analysis and alloca on Verifica on Design and Configura on Product Assurance Dependability Verifica on Procurement Cri cality Analysis PM&P Safety EEE component System Opera ons and Logis cs Opera ons Opera ons Verifica on Logis cs Analysis

Resulting Data Challenge Customer Dymola Patran Nastran SystemA ESATAN ESARAD Mech-Therm M-CAD Electrical E-CAD Payload P/L DB s AIT AIT DB Requirements DOORS Systems Operational SDB, GNC FDDB Software SysML Simulator SimMF IDL Modelica Matlab ECOSIM SimTG EuroSim Verification VericDB Supplier(s) Adapted from Astrium presentation at OMG Technical Meeting Reston (03/13)

Simplified View (process) Requirements Design Analysis Verification Configuration control Simplified?

Simplified View (Stakeholders) System Integrator Customer Operator Supplier User Work up to now has focused much on the data and information side of things, and not yet fully understood (and modelled) the exact need for interoperability and the associated tangible elements and the users of them. Interactions need to be redefined, taking into account ownership and governance, design vs. process, review vs. verification, with changing roles through the life-cycle

.. a multi-dimensional problem System engineering propose solutions domain engineering responds by detailed requirements and analysis/verification. The system engineering process has to manage many interdependencies, views, across domains. (e.g. operability, power, control) Exchange of system data between domain tools without loosing semantic information. Must maintain Governance and configuration control of system design data The system engineering process is an end-to-end process with different phases; 1. Conceptual design 2. As specified 3. As designed 4. As built Address the full verification chain

Cross domain data consistency Focus on Establish the agreed (standardised) information terms and definitions at system level and its mapping to the respective sub-domain. Establish a formalised (logic based) system data model allowing automated verification for correctness. Shared information management (System Data repositories) securing consistency of data-sets used by domain engineers across the domains where they couple. All views shall operate on the system data repository (operability -, thermal-, power-,gnc-, Digital Mock-up) Have a clear governance of all data items (owner, user) Have a strong configuration control.

Next steps Understanding how to model Pilot Modelling guidelines / rules Looking for suitable project (phase / complexity / context) Small step: Euclid P/L Reqts engineering Consolidate overall objectives Which questions need to be answered How / where to use model data From whom in which way (stakeholders) How to organise (link to PLM ) Methodology / basis Data modelling, Conceptual basis Stakeholder Group on (MB)SE processes Establish the agreed (standardised) information terms and definitions at system level and its mapping to the respective sub-domain. Establish a formalised (logic based) system data model allowing automated verification for correctness. Shared information management (System Data repositories) securing consistency of data-sets used by domain engineers across the domains where they couple. All views shall operate on the system data repository (operability -, thermal-, power-,gnc-, Digital Mock-up) Have a clear governance of all data items (owner, user) Have a strong configuration control.

Need for Coordination and Collaboration

My Questions 1. Where is the right interface between partners how to define these interfaces (data, information, process, function )? 2. What are the right deliverables supporting the MBSE? Common infrastructure? 3. What is the role of PLM in this? 4. Where do we need further standardisation? 5. Is it right to maintain the strong link between technical and contractual milestones / gates? 6. What is the impact of reuse on the design and verification process? 7. Verification where does it start, where does it end, how do we ensure that system verification is understood as the sum of many activities, from simulation and analysis to test and analysis of test results?