Interoperability in Aerospace Public Use Case of CRYSTAL project

Similar documents
MARTE Based Modeling Tools Usage Scenarios in Avionics Software Development Workflows

Designing a System Engineering Environment in a structured way

System-level co-modeling AADL and Simulink specifications using Polychrony (and Syndex)

DISCERN Libraries User Guide

Adopting HTML5 for Television: Next Steps

A Tool for Verification of Big-Data Applications

Event Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007

Semantics-Based Integration of Embedded Systems Models

Ensuring quality for ADAS applications with a model-based approach

FP7 Information & Communication Technologies. Rules of the Programme

DevOps for Software-Defined Telecom Infrastructures. draft-unify-nfvrg-devops-01

The MEG Metadata Schemas Registry Schemas and Ontologies: building a Semantic Infrastructure for GRIDs and digital libraries Edinburgh, 16 May 2003

Guido Sandmann MathWorks GmbH. Michael Seibt Mentor Graphics GmbH ABSTRACT INTRODUCTION - WORKFLOW OVERVIEW

The MultilingualWeb-LT project

SOS Development Bulletin Making Tax Digital Summary and User Guide 19th December 2018

A multi-view approach for component based design

Model-Based Systems Engineering Backbone of the Thales Engineering Manifesto

Soumya Kanti Datta Research Engineer

Building metadata components

Internet of Things, A European Outlook Antonis Tzortzakakis, Treasurer ECTA

UML, SysML and MARTE in Use, a High Level Methodology for Real-time and Embedded Systems

DRYING CONTROL LOGIC DEVELOPMENT USING MODEL BASED DESIGN

Best Practices for Model-Based Systems Engineering

IRMOS Newsletter. Issue N 5 / January Editorial. In this issue... Dear Reader, Editorial p.1

EXTREME PERFORMANCES OF PIEZO SYSTEM: HIGH STROKE, HIGH FREQUENCY, HIGH TEMPERATURE

Research Infrastructures Use and Further Needed Development

WP6 Personal Mobility Assistant. D6.4: Application Design Studio Prototype

WP3 Legal Framework Preliminary results

Quality-of-Service Modeling and Analysis of Dependable Aplication Models

IBM Rational Rhapsody

SpaceWire-RT Update. EU FP7 Project Russian and European Partners. SUAI, SubMicron, ELVEES University of Dundee, Astrium GmbH

SEC-04-DRS-2017: Broadband communication systems

SCOTT Methodology for Building Blocks and Use Cases

Contract-based design, model checking, and model-based safety assessment

V&V: Model-based testing

Cyber-physical systems - a Key Enabler for the Digitalisation of European Industry

Dictionary Driven Exchange Content Assembly Blueprints

C3S Data Portal: Setting the scene

WP7. Mark Kettenis April 18, Joint Institute for VLBI in Europe

Formal Modelling Techniques for Efficient Development of Railway Control Products

The EU OPEN meter project

Interoperability driven integration of biomedical data sources

IBM Rational Rhapsody

AADL Requirements Annex Review

IPv6 Task Force - Phase II. Welcome

This project has received funding from the European Union s Horizon 2020 research and innovation programme under grant agreement No

Panel Session: Experiences from Installations and Pilots. Communication Technologies for Smart Grid

13543/17 PhL/at 1 DG G 3 B

SECURED SECurity at the network EDge

SEGRID storyline. Workshop SEGRID November 14 th, 2016, Barcelona, Spain

Unifying Carrier and Cloud Networks: Problem Statement and Challenges draft-unify-nfvrg-challenges-02

EUDAT. Towards a pan-european Collaborative Data Infrastructure. Damien Lecarpentier CSC-IT Center for Science, Finland EUDAT User Forum, Barcelona

Metadata and DCR. <CMD_Component /> Dieter Van Uytvanck. Max Planck Institute for Psycholinguistics

Collaborative Ontology Construction using Template-based Wiki for Semantic Web Applications

Development, testing and quality assurance report

ISO PDF/A -Standard Archive file format standard for long-term preservation

What s new in GaBi? 2013 release of GaBi 6.3 & Databases 13 New Product GaBi Server

THE ETSI TEST DESCRIPTION LANGUAGE (TDL)

ENIAC JU, Private-Public Partnership in Nano-electronics. Helmut Ennen Advisor, ENIAC JU

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

WP6 D6.2 Project website

INTEROPERABILITY WITH FMI TOOLS AND SOFTWARE COMPONENTS. Johan Åkesson

Evolution of Canadian

Towards Semantic Interoperability between C2 Systems Following the Principles of Distributed Simulation

Testing Under Time Pressure. Versatile Test Benches for Avionic Systems

IT Innovation Centre, University of Southampton, UK. Deutsches Geo-Forschungs-Zentrum - GFZ, Germany. Fraunhofer IOSB, Germany

New Business Opportunities Through Evolved OSS/BSS. SEMAFOUR vision on unified Self-Management

VIRTUAL CERTIFICATION

Secure European Common Information Space for the Interoperability of First Responders and Police Authorities

MICA. Minerals Intelligence Capacity Analysis. The European Raw Materials Intelligence Capacity Platform (EU-RMICP)

Héctor Fernández and G. Pierre Vrije Universiteit Amsterdam

Increasing dataset quality metadata presence: Quality focused metadata editor and catalogue queriables.

Media (NEM) Initiative

Production Code Generation and Verification for Industry Standards Sang-Ho Yoon Senior Application Engineer

Advanced Grid Technologies, Services & Systems: Research Priorities and Objectives of WP

Research Infrastructures and Horizon 2020

Rights management through Digital Objects. Norman Paskin The International DOI Foundation

Verfying the SSH TLP with ProVerif

REPROTOOL Workflow (Textual documents in SW development) D3S Seminar

Process Mediation in Semantic Web Services

New Generation Open Content Delivery Networks

SESE Tour 2018 Toulouse May 22

EU Liaison Update. General Assembly. Matthew Scott & Edit Herczog. Reference : GA(18)021. Trondheim. 14 June 2018

OMG Specifications for Enterprise Interoperability

Fluid Management component improvement for Back up fuel cell systems

The Digitising European Industry strategy & H2020 calls related to Cyber-Physical Systems

Preemptive PREventivE Methodology and Tools to protect utilities

Report on Standardization activities - final version. Peter Mathews (CA), Arnor Solberg (SINTEF) Danilo ARDAGNA (POLIMI), Stepan SEYCEK (BOC)

The EU-UMKDP (Urban Mining Knowledge Data Platform)

Scilab White Paper Model-based Design of an Enhanced Ground Proximity Warning System

Why should we think about multiple tools? Requirements or how to choose the right tool?

An Introduction to Cloud Computing with OpenNebula

Workshop 4.4: Lessons Learned and Best Practices from GI-SDI Projects II

EUDAT B2FIND A Cross-Discipline Metadata Service and Discovery Portal

BPMN Working Draft. 1. Introduction

LiXuid Manuscript. Sean MacRae, Business Systems Analyst

ASTRONOMY & PARTICLE PHYSICS CLUSTER

Enhancing Critical Infrastructure Protection with innovative SECurity framework

Answer: D. Answer: B. Answer: B

DPP Compliance Programme AMWA AS-11 DPP Product Test Report (See note 5, on next page) DPP Lab, BBC R&D, Centre House, 56 Wood Lane, W12 7SB, UK

Transcription:

Interoperability in Aerospace Public Use Case of CRYSTAL project December 3 rd, 2013. Francesco Brunetti, Politecnico di Torino

Summary CRYSTAL Overview; CRYSTAL WP2.08: Public Use Case; Public Use Case, interoperability example; Review and next steps.

1. CRYSTAL Overview CRitical system Engineering AcceLeration More efficient design of safety critical systems; User-driven approach (Users, Bricks, IOS, RTP); 4 critical domains.

2. CRYSTAL WP2.08: Public Use Case Real Design processes definition (entire product life); Engineering Methods definition and allocation over the defined workflow; Preliminary Concepts definition (main sizing, behaviour/functional models); Trade-off underway;

2. CRYSTAL WP2.08: Public Use Case Engineering methods for the Public Use Case: Analyze Requirements Verify Design against requirements Fault-tree generation Heterogeneous Trade Off Analysis Change Impact Analysis Maintain Consistency between multi-viewpoint models Show traceability between all data Provide Process Management Put all data under configuration control Search Data Provide Specification

3. Public Use Case interoperability examples DS Dymola - Request List of available - Get 1 Engineering Method example: Heterogeneous De-icing physical Ontology (e.g. via XML file) for Artefact Definition: Type: Name of : ID: Reference System: Date of creation: Author: Input: Output: Formalism: Author: ID:. 2 Request is send to ontology to determine the information required for an artefact of type simulation model IBM Rhapsody Controller State-based Files Simulink (IOS core + service extensions): Valve In Dymola, launch service Supplier Request list of Purpose: available OEM Engineering Intranet Engineering Intranet The research leading to Type: these Requirement results has received funding from the European Union s Seventh Framework Programme simulation Statement: model

3. Public Use Case interoperability examples Engineering Method example: Heterogeneous DS Dymola - Request List of available - Get De-icing physical A Request is send to all tools connected to the RTP in the sense: Do you have Artifacts of type with this metadata? 3 Ontology (e.g. via XML file) for Artefact Definition: IBM Rhapsody Controller State-based Files Simulink (IOS core + service extensions): Valve Type: Name of : ID: Reference System: Date of creation: Author: Input: Output: Formalism: OEM Engineering Intranet Purpose: Type: Requirement Statement: Author: ID:. Supplier Engineering Intranet

3. Public Use Case interoperability examples Engineering Method example: Heterogeneous DS Dymola De-icing physical IBM Rhapsody Controller State-based Files Simulink Valve - Request List of available - Get OEM Engineering Intranet Type: Name of : xxxx ID: xxxx Reference System: xxxx Date of creation: Author: etc. Input: Output: Formalism: Purpose: Type: (IOS core + service Rhapsody and Simulink do have extensions): (= artifacts of type simulation model ) with the requested set of meta-data. They sent a list back to Dymola The research leading to these results has received Name of : funding from the European Union s Seventh Output: Framework Programme Valve Reaction (FP7/2007-2013) for CRYSTAL Critical System ID: Engineering Acceleration Joint Undertaking under Formalism: grant agreement Simulink n FMU 332830 Reference System: Date of creation: Author: Input: Output: Formalism: Purpose: 4 Type: Name of : Valve ID: VSM 213 Reference System: ATR De-icing System Supplier Author: Mr. X Engineering Intranet Date of creation: November 6, 2013 Input: Temp., Pressure Purpose: Simulate the opening and closing of valve

3. Public Use Case interoperability examples Engineering Method example: Heterogeneous 5 8 In Dymola, after selecting the model from Simulink, launch service Get - Request List of available - Get In Dymola, run combined simulation with simulation model from Simulink DS Dymola De-icing physical OEM Engineering Intranet IBM Rhapsody Controller State-based Request is forwarded to other tools Simulink (IOS core + service extensions): 6 Files Supplier Engineering Intranet Valve 7 In Simulink, send back the requested simulation model

4. Review and next steps First set of realistic data for the de-icing system has been defined Requirements, top-level functions, concept overviews, concept refinement including refined functional views and product breakdown structures + traceability links between all artefacts Preliminary system functional design, as well as Trade off analysis are underway; First list of engineering methods defined and mapped on design processes, Development of demonstrator is ongoing So far, traceability/ change impact analysis engineering method has been partially implemented