automated data verification to enable interoperability · automated data verification to enable...

25
© 2015, Fiatech Automated Data Verification to enable Interoperability Heiner Temmen, Evonik Industries AG Michael Wiedau, RWTH Aachen

Upload: hoangnga

Post on 05-Jul-2018

243 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Automated Data Verification to enable Interoperability

Heiner Temmen, Evonik Industries AG

Michael Wiedau, RWTH Aachen

Page 2: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

The DEXPI initiative

P&ID data exchange

CAE vendors: use case demonstration

Data exchange verification

Beyond P&IDs: The ENPRO initiative

Future work & Industry adoption

Overview

Page 3: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Focus data exchange in plant life cycle exchange of engineering data between disciplines & partners

Members BASF Engineering and Maintenance Bayer Technology Services Evonik Process Technology and Engineering

in cooperation with CAE vendors, research institutions and Fiatech (IIMM, SIG Instrumentation) working party open for additional members established in 2011

DEXPI – the mission

Page 4: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

General exchange standard for the process industry based on ISO 15926, implemented in the next CAE software generation Input from process industry (working party DEXPI ISO 15926): Open and international information model for the entire plant lifecycle

Input from the CAE vendors: general exchange standard for graphics export and import functions based on the new information model and graphics standard

Functional Requirements

Functional Design Asset in Operation Asset Specification

DEXPI – the big idea

Page 5: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Owner / Operator: BASF, BTS, EVONIK

Research RWTH Aachen AixCAPE

CAE Vendors Autodesk Aveva Bentley Intergraph Siemens X-Visual

ISO-Community IIMM SIG Instrumentation

A successful team

Page 6: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

P&ID – the first focus Piping

EQP

Instrumentation

Symbols

Labels

Engineering content

Drawing header Annotations OPCs

Page 7: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Instrumentation – the last big P&ID challenge

DIN

Information Model DEXPI

IIMM Implementation some new RDL Classes • Process Control Requirement • Process Control Loop

existing RDL Classes • Control Function • Control Valve • Transmitter

Proteus Schema • 2015/??

ISO Templates • 2015/??

Page 8: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

2013-12 EQP and Piping

in example P&ID export and import

2015-02 concepts for

Instrumentation in P&IDs

2015-12 complete P&IDs

export and import

t 2013-03

EQP in example P&ID export

DEXPI – the roadmap

Page 9: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

A Use-Case Demo

Paul our O/O engineer

Marcus our BE Contractor

engineer Christine our EPCM engineer

Page 10: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

DEMO VIDEOS! (~ 5 min)

Page 11: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Sample Input

Convert to triples

Add information

model

Add semantic

rules Reasoning Results Formatted

Output

Automated Data Verification to enable Interoperability

Page 12: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Sample Input

Convert to triples

Add information

model

Add semantic

rules Reasoning Results Formatted

Output

Example P&ID

Page 13: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Sample Input

Convert to triples

Add information

model

Add semantic

rules Reasoning Results Formatted

Output

Example P&ID

Page 14: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Sample Input

Convert to triples

Add information

model

Add semantic

rules Reasoning Results Formatted

Output

Convert to triples

Page 15: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Sample Input

Convert to triples

Add information

model

Add semantic

rules Reasoning Results Formatted

Output

Information model

Page 16: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Sample Input

Convert to triples

Add information

model

Add semantic

rules Reasoning Results Formatted

Output

(?physical_quantity dexpi_meta:error ?msg) <- (?physical_quantity dexpi_meta:hasScale ?scale_usage) (?scale_usage dexpi_meta:isInstanceOf ?scale) (?physical_quantity dexpi_meta:isInstanceOf ?physical_quantity_type) noValue(?physical_quantity_type dexpi_meta:hasScale ?scale) (?scale dexpi_meta:simpleLabel ?scale_label) (?physical_quantity_type dexpi_meta:simpleLabel ?physical_quantity_type_label) strConcat( ?scale_label " is no valid scale for a physical quantity of type " ?physical_quantity_type_label ?msg)

Semantic rules

Page 17: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

• Implemented in Jena Semantic Web Framework • General form:

(set of RDF triples) -> (set of RDF triples) • Rules are used to enrich the model (cf. previous example) detect errors, e.g., detect invalid units

Sample Input

Convert to triples

Add information

model

Add semantic

rules Reasoning Results Formatted

Output

Rule Reasoning

Page 18: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Sample Input

Convert to triples

Add information

model

Add semantic

rules Reasoning Results Formatted

Output

Results

Page 19: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Sample Input

Convert to triples

Add information

model

Add semantic

rules Reasoning Results Formatted

Output

Output

Page 20: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

DEXPI hackathon

• 3 days of hacking • Excellent location at AVEVA Germany • High progress in extending interfaces • Good to work together

Page 21: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Beyond P&IDs: The ENPRO initiative

Page 22: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

ENPRO- Connect Exchange platform for ENPRO

EP 3 : Modularisation Modular equipment for

energy efficient production

EP 4 : Data-Integration

EP2: SMekT Smart mini plants for the development of efficient continuous

separation processes

Improving Energy efficiency and process acceleration

through information integration for conceptual

design to production

EP1: KoPPonA Continuous processes for polymer specialties with the help of new equipment concepts

Page 23: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

Functional Requirements

Asset in Operation

Asset Specification

Functional Design

Phases and documents/objects in the life cycle of a plant

design and development of efficient chemical processes require chemical, physical, ... data – including operational

data from existing plants

operation and maintenance require

information from design and development phase

information barriers due to insufficient integration of software tools

(Images: ENPRO, Wikipedia, Wikimedia)

Page 24: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

• High progress in development of interfaces for information exchange of P&IDs - Software available in 2016

• Major have been solved and all partners agree on roadmap

• Intelligent verification process of P&IDs based on semantic-web technologies

• Beyond P&IDs: ENPRO initiative for progress in innovative technologies as data integration

Conclusions

Page 25: Automated Data Verification to enable Interoperability · Automated Data Verification to enable Interoperability Heiner Temmen, ... SIG Instrumentation) ... • Excellent location

© 2015, Fiatech

“The nice thing about standards is that you have so many to choose from.” – Andrew S. Tannenbaum, Computer Networks, 2nd ed., p. 254