17
www.thalesgroup.com OPEN Challenges for MBSE and PLE for Legacy Product-Based System Environments…

Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

www.thalesgroup.com OPEN

Challenges for MBSE and PLE

for Legacy Product-Based System Environments…

Page 2: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

2 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

General Conditions…

▌ …or why do Legacy Systems exist?

▌ …or what are the architectural drivers?

▌ Architecture is influenced

By the History of Railways

By different Architectural approaches

Page 3: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

3 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Railway signalling history (1)

▌ Collisions between trains

▌ Derailment because of

„Over speed“

Over speed often

means trains have a speed greater zero, if it should have stopped….

Example: Paris Gare Montparnasse 1895

▌ Why railway signalling?

For safe train movement

Trains can not break on sight!

▌ Major Risks:

Two trains „want to use“ same track

Example: Zoufftgen, Moselle, 2006

Page 4: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

4 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Railway signalling history (2)

▌ Collision protection

Feature: Provide safe running path

Technique: Interlocking

Since: 1860ies

Technology changes, but

Principles remain

▌ Over speed protection

Feature: stop train if to fast or does not stop

Technique: Train control, balises…

Since: 1870ies

Technology evolves

up to continuous supervision

Interconnection

Between all types Legacy…

Page 5: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

5 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Two types of Architectural approaches

▌ Type 1: Turn-Key customers

Revolutionary approach

Renew complete Signalling system…

… in a defined time period

Examples:

▌ Type 2: Common architecture

Evolutionary approach

Renew step-by-step

… in an indefinite time period

Examples:

Jernbaneverket

Page 6: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

6 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Resulting Constraints

▌ System Engineering needs to be flexible to

Cover variants in systems

(for collision protection as well as over speed)

- Legacy

- Newly developed

Cover variants in architecture

- Turn-key

- Common architecture

Page 7: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

7 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Previous approaches of System Engineering

▌ Problems of approaches used in the past

▌ Requirements Management

DOORS (and no end…)

- Architecture in Requirements?

- Customer dependent?

▌ Modelling in UML

A picture is worth a thousand words

Page 8: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

8 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Requirements Engineering (1)

▌ First approach, started in 1990ies

Transfer and allocate

customer requirements to System requirements

▌ Advantages

Traceability

Manageability

▌ Problems

Non-homogenous

Architecture already in requirements

Customer dependent

Page 9: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

9 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Requirements Engineering (2)

▌ Different types of Product Portfolio

„Mass“ Products

- like Signal, Axle Counter in the field equipment area

Software based products

- like interlocking (IXL) or radio block centre (RBC)

- Ensuring safe train movements

Large scale solutions

- Combining products up to a country wide solution

- Examples: Saudi-Arabia NSR, Denmark F-Bane (BDK)

▌ Result: Requirements get too complex to manage

PLE:

Spec example ~600 Req. AzLM

PLE: ?

Spec example

~5000 Req. RBC in total

PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK

Page 10: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

10 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Modelling in UML(/Sys-ML)

▌ Reverse engineered static

architecture

Mapping to functionality only in DOORS

Project driven, so

No common

- Methodology

- Tool Environment

No reuse

- Actor vs. component depends

on project

▌ Result: Approach in this way

not applicable

Playback server process Playback Client process

Playback clientPlayback server

Playback Meldebild Display system

Playback visualization

- Meldebild

1

1

- Display system

1

1

SBS

MA

RIES database

- _Playback server

MOS-SW

«reside» «reside»«reside»

«reside»

Page 11: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

11 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Model-based System Engineering…

▌ ARCADIA as method…

..and Capella as tool

▌ Concept of Reference System

Architecture…

Applied to Legacy Environments

Page 12: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

12 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

ARCADIA/ Capella (..in a nutshell)

▌ Supplier-oriented

▌ Targets of methodology

Focus on functionality not only structure

Separating need & Solution

Supports collaboration

Handling of complexity

▌ Capella

Open-Source Tool

Based on Eclipse-Framework

Implementing ARCADIA

Page 13: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

13 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Reference System Architecture (1)

▌ Focus

Standard Architecture of Signalling System

▌ Breakdown of Functions over Views

System Need

Logical Architecture

▌ Result

Logical Architecture independent from concrete Solution

Basis:

- Legacy uses same functions

- Extension of functionality from generation to generation

- Often functionality moved from human actor into technical component

Page 14: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

14 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Reference System Architecture (2)

▌ Product Line Engineering

Use Feature model for handling variants

▌ Differentiate between

Domain layer: Reference System Architecture

Application layer: concrete Project

▌ Introduction of Feature Model to manage

Architecture

In Capella

▌ Coupling via tool

Pure::variants is used

Pure::

Variants Architecture

Domain: Reference System Architecture

Feature Model:

Feature 1

Feature 2

Application: Concrete Project A

Variant Model:

Feature 1

Feature 2

Concrete Project B

Variant Model:

Feature 1

Feature 2

Item 1

Item 2

Item 3

Item 1

Item 2

Item 1

Item 3

Page 15: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

15 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Reference System Architecture (3)

▌ Variants in physical realisation

No variant in logical realisation

Physical realisation variants possible

▌ Complexity of feature models

Keep separated

- High-Level (Allocation) Variants

- Low-level functional differences

- E.g. conditions for calculation of signal aspect

Page 16: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

16 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

A look into future…

▌ Model-based safety analysis

Reuse of model for safety design

Reuse of model for calculations (e.g. Fault Tree Analysis)

- Transformation and enrichment to into formal model

- Model checking possible

▌ Automated Test Design

Reuse of model for test design and automation

Three layers

- Data Abstraction, test cases are data independent

- System behaviour, based on Architecture models

- Product Line

Page 17: Challenges for MBSE and PLE - CSD&M Paris 2016 · PLE: No Spec example ~2700 Req. NSR ~6000 Req. BDK . 10 OPEN Reverse engineered static s-s. Ref number- date Name of the company

17 OPEN

This

do

cu

me

nt

ma

y n

ot

be

re

pro

du

ce

d, m

od

ifie

d,

ad

ap

ted

, p

ub

lish

ed

, tr

an

sla

ted

, in

an

y w

ay, in

wh

ole

or

in

pa

rt o

r d

isc

lose

d t

o a

th

ird

pa

rty w

ith

ou

t th

e p

rior

writt

en

co

nse

nt

of

Tha

les

- ©

Th

ale

s 2

01

5 A

ll rig

hts

re

serv

ed

.

Ref number- date

Name of the company/ Template : 87204467-DOC-GRP-EN-002

Conclusions

▌ Classical System Engineering

Well known…

…but difficult for managing complex systems

▌ MBSE & PLE for Railway Signalling

Extension of classical system engineering

Unique approach based on ARCADIA

Helps to put functionality on right abstraction

level

Usable for new and Legacy Environments

Extensible for safety and testing