contrex.offis - ITEA 3 · CONTREX @ ARTEMIS IA Co Summit 2015 5 100µm 10µm 1µm 100nm 10nm 1nm...

© 2013-2016 CONTREX consortium (Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties)

Funded by the EC under

Grant Agreement 611146

http://contrex.offis.de

Kim Grüttner (OFFIS)

Welcome to CONTREX

© 2013-2016 CONTREX consortium

Motivation

► Definition: A mixed-criticality system is a system containing computer

hardware and software that can execute several applications while

guaranteeing their differing requirements for real-time operations including

their security and safety.

► State-of-the-art: Two control applications with different criticalities

implemented on two physical separated (custom designed) hardware/software

platforms

CONTREX @ ARTEMIS-IA - Co-Summit 2015

Application 1

• Hard deadline d2->3

• No power constraint

• No temperature constraint

Application 2

• Soft deadline d4->5

• Hard power constraint

• Hard temperature constraint

2


Motivation

► Future mixed-criticality systems: Two independent applications with

different criticalities implemented on a (general purpose, COTS) multi-core

hardware/software platform that enables temporal and spatial segregation.

► CONTREX challenges to guarantee timing, power, temperature, and

reliability requirements by controlling (shared) resource usage and access

on the execution platform.


3


Extra-functional properties and

their influence on system design


1900 1920 1940 1960 1980 2000

10

100

1000

Vmax

[km/h]e

nerg

y

10

100

1000

fmax

[MHz]

ene

rgy

varia

tion

relia

bilo

ty

Sources: www.wikipedia.org, www.intel.com

4


Evolution and challenges in consumer

electronics vs. electronic control units in cars


5

100µm

10µm

1µm

100nm

10nm

1nm1970 1980 1990 2000 2010 2020

energy (per computation)

power (static consumption)

process variation

aging

reliability

delay, area



process variation

aging

delay, area

Sources: www.mobile.de, www.intel.com


Evolution and challenges in consumer

electronics vs. electronic control units in cars


6

100µm

10µm

1µm

100nm

10nm

1nm1970 1980 1990 2000 2010 2020



process variation

aging

reliability

delay, area



process variation

aging

delay, area

Sources: www.mobile.de, www.intel.com

CONTREX will enable

- consideration of extra-functional requirements and constraints

(timing, power, temperature, aging, reliability) right from the

beginning

- represent extra-functional properties

• timing

• power

• temperature

in executable prototypes and

- analyse of these properties

• under different deployments and mappings and

• local/global scheduling and control decisions.


Consortium


PARTICIPANT NO.

PARTICIPANT ORGANISATION NAME PART. SHORT NAME COUNTRY

1 (Coordinator) OFFIS e.V. OFFIS Germany

2 STMicroelectronics srl STM Italy

3 GMV Aerospace and Defence SA GMV Spain

4 Cobra Telematics SA Cobra Switzerland

5 EuroTech S.p.A. EUTH Italy

6 Intecs S.p.A. INTECS Italy

7 iXtronics GmbH iX Germany

8 EDALab srl EDALab Italy

9 Docea Power Docea France

10 Politecnico di Milano PoliMi Italy

11 Politecnico di Torino PoliTo Italy

12 Universidad de Cantabria UC Spain

13 Kungliga Tekniska Högskolan KTH Sweden

14 Electronic Chips & Systems design Initiative ECSI France

15 ST-POLITO Societa' consortile a r.l. ST-PoliTo Italy

Starting date: 01/10/2013

Duration in month: 36

Call identifier: FP7-ICT-2013-10

Website: http://contrex.offis.de

Universities and Research Institutes

Industry

Small and Medium Size Enterprises

Other

7

http://contrex.offis.de/


Objectives

1. A meta-model for the design and analysis of mixed-critical systems,

covering the feature, functional, logical, technical, and geometrical

perspectives; system, virtual resource, runtime, and platform abstraction

levels; and behaviour, time, power, and temperature viewpoints

2. Deployment and mapping of control applications to a network of

virtualized hardware/software platforms and network infrastructure abiding

extra-functional properties


8


The CONTREX Design-Space


9

PerspectivesFeature Functional Logical Technical Geometrical

Requirements

System

Virtual Resource

Node

SoC

«Feature»

ProvideStructuralInte

grity

«Requirement»

Shall comply with

standard XY

Featuretree with Requirements

«Feature»

ProvideControlOnTheGro

und

«Feature»

ControlDirec

tion

«Feature»

ControlSp

eed

«Feature»

Accelerate

«Feature»

Deccelerat

e

«Feature»

ProvideStoppingFo

rce

«Feature»

ReduceTouchdownS

peed

«Requirement»

SomeRequirem

ent

«Requirement»

Shall not use

anchor

«Function»

x1

«Function»

x2

«Function»

x3

«Requireme

nt»r1

«Requireme

nt»r2

«Requireme

nt»r3

«Function»

y1

«Requireme

nt»r4

«Requireme

nt»r0

Functiontree with Requirements «ADLFunctionType»

Aircraft

«ADLFunctionProto

type»

itsSensors:SensorP

halanx

«ADLFunctionProto

type»

itsActuators:Actuato

rs

«ADLFunctionProto

type»

itsLogic:AircraftLogi

c

«ADLFunctionProto

type»

itsMechanics:Mech

anics

«Requirem

ent»

r4'

«Requirem

ent»

r1'

«Requirem

ent»

r2'

«Requireme

nt»

r3'

«ADLFunctionType»

AircraftLogic

rudderP

edalPos

itionrightPe

dalPosit

ionleftPeda

lPositio

n

aircraft

Speed

altitude

attitude

turn

«ADLFunctionPr

ototype»

itsHMIManager:

HMIManager

autobra

keMode

statusIn

formatio

n

«ADLFunctionProt

otype»

itsAircraftPercepti

on:AircraftPercepti

on

«ADLFunction

Prototype»

itsAircraftCont

rol:AircraftCon

trolstatusIn

formatio

nwheelBr

akewheelA

ccelerat

ionwheelDi

rection

«ADLFuncti

onPrototype

»

itsActuator

Mgr:Actuato

rMgr

valveCon

trolbrakeVal

vesStateaccelerat

ionForcefrontWhe

elAngle

«ADLFunctionType»

WheelBrakeSystem

HMIManager

AircraftControl ActuatorMgrpedalPosi

tionparkingBr

akeStatusaccumulato

rPressurewheelSpe

ed

altitude

attitude

turn

«ADLFunctionPrototy

pe»

itsSSA:SystemStatus

Aggregator


pe»

itsSVA:ShutoffValveA

ctuator«ADLFunctionPrototy

pe»

itsASVA:AntiSkidValv

eActuator«ADLFunctionPrototy

pe»

itsMVA:MeterValveAc

tuator«ADLFunctionPrototy

pe»

itsPBA:ParkingBrake

Actuator

wheelBrak

eStatus

shutoffValv

eControl

antiSkidVal

veControl

meterValve

Control

parkingBra

keControl

«ADLFunctionProtot

ype»

itsBSCU:BrakingSy

stemControlUnit

AircraftHardware

«ADLHwElementType»

itsWheelBrakeSystem:WheelBrakeSystem

1 «ADLHwElementPrototype,ADLHwECU»

parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

itsAircraftPowerSupply:AircraftPowerSupply

1 «ADLHwElementPrototype,PowerSupply»

BSCUPower

itsAccumulatorPressureSensor:AccumulatorPressureSensor

1 «ADLHwElementPrototype,Sensor»

accumulatorPressure

itsParkingBrakeSensor:ParkingBrakeSensor


parkingBrakeStatus

itsPedalPositionSensor:PedalPositionSensor


pedalPosition

itsSystemStatusServer:SystemStatusServer

1 «ADLHwElementPrototype,ADLHwElementType»

systemStatusForBSCU

itsAntiSkidValveActuator:AntiSkidValveActuator

1 «ADLHwElementPrototype,Actuator»

antiSkidValve

itsMeterValveActuator:MeterValveActuator


meterValve

itsShutOffValveActuator:ShutOffValveActuator


shutOffValve

itsParkingBrakeActuator:ParkingBrakeActuator


parkingBrake

parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

systemStatusForBSCU

antiSkidValve

meterValve

shutOffValve

parkingBrake

BrakingSystemControlUnit

«ADLFunctionType»

monitor1:Monitor

1 «ADLFunctionPrototype,ADLFunctionType»

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

command1:Command


pedalPosition wheelBrakeStatus

parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeedsystemSelector:SystemSelector


wheelBrakeStatus

wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity

command2:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

monitor2:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPositionsystemValidity2

sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1

wheelBrakeStatusInformation

parkingBrakeStatus

pedalPosition1

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeedwheelBrakeStatus

wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1

AircraftElectronicsHardware


itsAircraftPowerSupply2:AircraftPowerSupply


BSCUPower

itsAntiSkidValveActuator1:AntiSkidValveActuator


antiSkidValve



antiSkidValve

itsMeterValveActuator1:MeterValveActuator


meterValve



meterValve



parkingBrake

itsShutOffValveActuator1:ShutOffValveActuator


shutOffValve



shutOffValve

itsBSCUMonCom2:BSCUMonCom


accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

itsPedalPositionSensor2:PedalPositionSensor


pedalPosition



parkingBrakeStatus

itsSystemStatusBus:SystemStatusBus


systemStatusForECUMonCom2


systemStatusForECUSelector

itsAccPressureSensor:AccumulatorPressureSensor


accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

itsBSCUSelector:BSCUSelector


secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort


«ADLFunctionType»

itsAircraftStatusInformationForBSCU:AircraftStatusInformationForBSCU

1 «Channel,ChannelType»

fifoSize:RhpInteger=4

kind:ChannelTypeKind=signal accumulatorPressureOut

accumulatorPressurewheelSpeedOut

turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed

itsParkingBrakeStatus:ParkingBrakeStatus



kind:ChannelTypeKind=signal outin

itsPedalPosition1:PedalPosition



kind:ChannelTypeKind=signal

out

in

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

itsWheelBrakeCommands1:WheelBrakeCommands




parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

itsWBSCmdStatusInfo1:WheelBrakeStatusInformation



kind:ChannelTypeKind=signalout

in systemSelector:SystemSelector


wheelBrakeStatuswheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity

itsSelectedWheelBrakeCommands:WheelBrakeCommands


parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

itsSelectedWBSStatusInfo:WheelBrakeStatusInformation


outin

itsSystemValidity1:SystemValidity


outin

itsWBSMonStatusInfo1:WheelBrakeStatusInformation


outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1

accumulatorPressureOut


turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed

outin

out

in


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

outin


parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

outin

outin

outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

1. Ebene

2. Ebene

3. Ebene

4. Ebene

5. Ebene

…

Size: 20x5x50Rel. Position: (1,1,2)

...

...

«Feature»


grity

«Requirement»

Shall comply with

standard XY


«Feature»


und

«Feature»

ControlDirec

tion

«Feature»

ControlSp

eed

«Feature»

Accelerate

«Feature»

Deccelerat

e

«Feature»

ProvideStoppingFo

rce

«Feature»

ReduceTouchdownS

peed

«Requirement»

SomeRequirem

ent

«Requirement»

Shall not use

anchor

«Function»

x1

«Function»

x2

«Function»

x3

«Requireme

nt»r1

«Requireme

nt»r2

«Requireme

nt»r3

«Function»

y1

«Requireme

nt»r4

«Requireme

nt»r0


Aircraft

«ADLFunctionProto

type»

itsSensors:SensorP

halanx

«ADLFunctionProto

type»


rs

«ADLFunctionProto

type»


c

«ADLFunctionProto

type»

itsMechanics:Mech

anics

«Requirem

ent»

r4'

«Requirem

ent»

r1'

«Requirem

ent»

r2'

«Requireme

nt»

r3'

«ADLFunctionType»

AircraftLogic

rudderP

edalPos

itionrightPe

dalPosit

ionleftPeda

lPositio

n

aircraft

Speed

altitude

attitude

turn

«ADLFunctionPr

ototype»

itsHMIManager:

HMIManager

autobra

keMode

statusIn

formatio

n

«ADLFunctionProt

otype»

itsAircraftPercepti

on:AircraftPercepti

on

«ADLFunction

Prototype»

itsAircraftCont

rol:AircraftCon

trolstatusIn

formatio

nwheelBr

akewheelA

ccelerat

ionwheelDi

rection

«ADLFuncti

onPrototype

»

itsActuator

Mgr:Actuato

rMgr

valveCon

trolbrakeVal

vesStateaccelerat

ionForcefrontWhe

elAngle

«ADLFunctionType»

WheelBrakeSystem

HMIManager


tionparkingBr

akeStatusaccumulato

rPressurewheelSpe

ed

altitude

attitude

turn


pe»

itsSSA:SystemStatus

Aggregator


pe»



pe»



pe»

itsMVA:MeterValveAc


pe»

itsPBA:ParkingBrake

Actuator

wheelBrak

eStatus

shutoffValv

eControl

antiSkidVal

veControl

meterValve

Control

parkingBra

keControl

«ADLFunctionProtot

ype»

itsBSCU:BrakingSy

stemControlUnit

AircraftHardware




parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition



BSCUPower



accumulatorPressure



parkingBrakeStatus



pedalPosition



systemStatusForBSCU



antiSkidValve



meterValve



shutOffValve



parkingBrake

parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

systemStatusForBSCU

antiSkidValve

meterValve

shutOffValve

parkingBrake


«ADLFunctionType»

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude



wheelBrakeStatus

wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity

command2:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

monitor2:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude


wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort


«ADLFunctionType»






turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed









out

in

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed





parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition








parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity



parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid



outin



outin



outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1



turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed

outin

out

in


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

outin


parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

outin

outin

outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

1. Ebene

2. Ebene

3. Ebene

4. Ebene

5. Ebene

…


...

...

«Feature»


grity

«Requirement»

Shall comply with

standard XY


«Feature»


und

«Feature»

ControlDirec

tion

«Feature»

ControlSp

eed

«Feature»

Accelerate

«Feature»

Deccelerat

e

«Feature»

ProvideStoppingFo

rce

«Feature»

ReduceTouchdownS

peed

«Requirement»

SomeRequirem

ent

«Requirement»

Shall not use

anchor

«Function»

x1

«Function»

x2

«Function»

x3

«Requireme

nt»r1

«Requireme

nt»r2

«Requireme

nt»r3

«Function»

y1

«Requireme

nt»r4

«Requireme

nt»r0


Aircraft

«ADLFunctionProto

type»

itsSensors:SensorP

halanx

«ADLFunctionProto

type»


rs

«ADLFunctionProto

type»


c

«ADLFunctionProto

type»

itsMechanics:Mech

anics

«Requirem

ent»

r4'

«Requirem

ent»

r1'

«Requirem

ent»

r2'

«Requireme

nt»

r3'

«ADLFunctionType»

AircraftLogic

rudderP

edalPos

itionrightPe

dalPosit

ionleftPeda

lPositio

n

aircraft

Speed

altitude

attitude

turn

«ADLFunctionPr

ototype»

itsHMIManager:

HMIManager

autobra

keMode

statusIn

formatio

n

«ADLFunctionProt

otype»

itsAircraftPercepti

on:AircraftPercepti

on

«ADLFunction

Prototype»

itsAircraftCont

rol:AircraftCon

trolstatusIn

formatio

nwheelBr

akewheelA

ccelerat

ionwheelDi

rection

«ADLFuncti

onPrototype

»

itsActuator

Mgr:Actuato

rMgr

valveCon

trolbrakeVal

vesStateaccelerat

ionForcefrontWhe

elAngle

«ADLFunctionType»

WheelBrakeSystem

HMIManager


tionparkingBr

akeStatusaccumulato

rPressurewheelSpe

ed

altitude

attitude

turn


pe»

itsSSA:SystemStatus

Aggregator


pe»



pe»



pe»

itsMVA:MeterValveAc


pe»

itsPBA:ParkingBrake

Actuator

wheelBrak

eStatus

shutoffValv

eControl

antiSkidVal

veControl

meterValve

Control

parkingBra

keControl

«ADLFunctionProtot

ype»

itsBSCU:BrakingSy

stemControlUnit

AircraftHardware




parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition



BSCUPower



accumulatorPressure



parkingBrakeStatus



pedalPosition



systemStatusForBSCU



antiSkidValve



meterValve



shutOffValve



parkingBrake

parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

systemStatusForBSCU

antiSkidValve

meterValve

shutOffValve

parkingBrake


«ADLFunctionType»

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude



wheelBrakeStatus

wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity

command2:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

monitor2:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude


wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort


«ADLFunctionType»






turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed









out

in

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed





parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition








parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity



parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid



outin



outin



outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1



turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed

outin

out

in


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

outin


parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

outin

outin

outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

1. Ebene

2. Ebene

3. Ebene

4. Ebene

5. Ebene

…


...

...

«Feature»


grity

«Requirement»

Shall comply with

standard XY


«Feature»


und

«Feature»

ControlDirec

tion

«Feature»

ControlSp

eed

«Feature»

Accelerate

«Feature»

Deccelerat

e

«Feature»

ProvideStoppingFo

rce

«Feature»

ReduceTouchdownS

peed

«Requirement»

SomeRequirem

ent

«Requirement»

Shall not use

anchor

«Function»

x1

«Function»

x2

«Function»

x3

«Requireme

nt»r1

«Requireme

nt»r2

«Requireme

nt»r3

«Function»

y1

«Requireme

nt»r4

«Requireme

nt»r0


Aircraft

«ADLFunctionProto

type»

itsSensors:SensorP

halanx

«ADLFunctionProto

type»


rs

«ADLFunctionProto

type»


c

«ADLFunctionProto

type»

itsMechanics:Mech

anics

«Requirem

ent»

r4'

«Requirem

ent»

r1'

«Requirem

ent»

r2'

«Requireme

nt»

r3'

«ADLFunctionType»

AircraftLogic

rudderP

edalPos

itionrightPe

dalPosit

ionleftPeda

lPositio

n

aircraft

Speed

altitude

attitude

turn

«ADLFunctionPr

ototype»

itsHMIManager:

HMIManager

autobra

keMode

statusIn

formatio

n

«ADLFunctionProt

otype»

itsAircraftPercepti

on:AircraftPercepti

on

«ADLFunction

Prototype»

itsAircraftCont

rol:AircraftCon

trolstatusIn

formatio

nwheelBr

akewheelA

ccelerat

ionwheelDi

rection

«ADLFuncti

onPrototype

»

itsActuator

Mgr:Actuato

rMgr

valveCon

trolbrakeVal

vesStateaccelerat

ionForcefrontWhe

elAngle

«ADLFunctionType»

WheelBrakeSystem

HMIManager


tionparkingBr

akeStatusaccumulato

rPressurewheelSpe

ed

altitude

attitude

turn


pe»

itsSSA:SystemStatus

Aggregator


pe»



pe»



pe»

itsMVA:MeterValveAc


pe»

itsPBA:ParkingBrake

Actuator

wheelBrak

eStatus

shutoffValv

eControl

antiSkidVal

veControl

meterValve

Control

parkingBra

keControl

«ADLFunctionProtot

ype»

itsBSCU:BrakingSy

stemControlUnit

AircraftHardware




parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition



BSCUPower



accumulatorPressure



parkingBrakeStatus



pedalPosition



systemStatusForBSCU



antiSkidValve



meterValve



shutOffValve



parkingBrake

parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

systemStatusForBSCU

antiSkidValve

meterValve

shutOffValve

parkingBrake


«ADLFunctionType»

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude



wheelBrakeStatus

wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity

command2:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

monitor2:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude


wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort


«ADLFunctionType»






turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed









out

in

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed





parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition








parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity



parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid



outin



outin



outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1



turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed

outin

out

in


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

outin


parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

outin

outin

outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

1. Ebene

2. Ebene

3. Ebene

4. Ebene

5. Ebene

…


...

...

Tim

e

Pow

er

Tem

p.

Abstraction levels

Beh

avior

Views


Objectives








3. Development of a service-based, executable and analysable power and

temperature model for multi-core execution platforms

4. Implementation of local and distributed power and temperature

monitoring and control techniques


10


The CONTREX Design-Space


11

PerspectivesFeature Functional Logical Technical Geometrical

Requirements

System

Virtual Resource

Node

SoC

«Feature»


grity

«Requirement»

Shall comply with

standard XY


«Feature»


und

«Feature»

ControlDirec

tion

«Feature»

ControlSp

eed

«Feature»

Accelerate

«Feature»

Deccelerat

e

«Feature»

ProvideStoppingFo

rce

«Feature»

ReduceTouchdownS

peed

«Requirement»

SomeRequirem

ent

«Requirement»

Shall not use

anchor

«Function»

x1

«Function»

x2

«Function»

x3

«Requireme

nt»r1

«Requireme

nt»r2

«Requireme

nt»r3

«Function»

y1

«Requireme

nt»r4

«Requireme

nt»r0


Aircraft

«ADLFunctionProto

type»

itsSensors:SensorP

halanx

«ADLFunctionProto

type»


rs

«ADLFunctionProto

type»


c

«ADLFunctionProto

type»

itsMechanics:Mech

anics

«Requirem

ent»

r4'

«Requirem

ent»

r1'

«Requirem

ent»

r2'

«Requireme

nt»

r3'

«ADLFunctionType»

AircraftLogic

rudderP

edalPos

itionrightPe

dalPosit

ionleftPeda

lPositio

n

aircraft

Speed

altitude

attitude

turn

«ADLFunctionPr

ototype»

itsHMIManager:

HMIManager

autobra

keMode

statusIn

formatio

n

«ADLFunctionProt

otype»

itsAircraftPercepti

on:AircraftPercepti

on

«ADLFunction

Prototype»

itsAircraftCont

rol:AircraftCon

trolstatusIn

formatio

nwheelBr

akewheelA

ccelerat

ionwheelDi

rection

«ADLFuncti

onPrototype

»

itsActuator

Mgr:Actuato

rMgr

valveCon

trolbrakeVal

vesStateaccelerat

ionForcefrontWhe

elAngle

«ADLFunctionType»

WheelBrakeSystem

HMIManager


tionparkingBr

akeStatusaccumulato

rPressurewheelSpe

ed

altitude

attitude

turn


pe»

itsSSA:SystemStatus

Aggregator


pe»



pe»



pe»

itsMVA:MeterValveAc


pe»

itsPBA:ParkingBrake

Actuator

wheelBrak

eStatus

shutoffValv

eControl

antiSkidVal

veControl

meterValve

Control

parkingBra

keControl

«ADLFunctionProtot

ype»

itsBSCU:BrakingSy

stemControlUnit

AircraftHardware




parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition



BSCUPower



accumulatorPressure



parkingBrakeStatus



pedalPosition



systemStatusForBSCU



antiSkidValve



meterValve



shutOffValve



parkingBrake

parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

systemStatusForBSCU

antiSkidValve

meterValve

shutOffValve

parkingBrake


«ADLFunctionType»

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude



wheelBrakeStatus

wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity

command2:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

monitor2:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude


wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort


«ADLFunctionType»






turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed









out

in

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed





parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition








parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity



parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid



outin



outin



outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1



turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed

outin

out

in


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

outin


parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

outin

outin

outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

1. Ebene

2. Ebene

3. Ebene

4. Ebene

5. Ebene

…


...

...

«Feature»


grity

«Requirement»

Shall comply with

standard XY


«Feature»


und

«Feature»

ControlDirec

tion

«Feature»

ControlSp

eed

«Feature»

Accelerate

«Feature»

Deccelerat

e

«Feature»

ProvideStoppingFo

rce

«Feature»

ReduceTouchdownS

peed

«Requirement»

SomeRequirem

ent

«Requirement»

Shall not use

anchor

«Function»

x1

«Function»

x2

«Function»

x3

«Requireme

nt»r1

«Requireme

nt»r2

«Requireme

nt»r3

«Function»

y1

«Requireme

nt»r4

«Requireme

nt»r0


Aircraft

«ADLFunctionProto

type»

itsSensors:SensorP

halanx

«ADLFunctionProto

type»


rs

«ADLFunctionProto

type»


c

«ADLFunctionProto

type»

itsMechanics:Mech

anics

«Requirem

ent»

r4'

«Requirem

ent»

r1'

«Requirem

ent»

r2'

«Requireme

nt»

r3'

«ADLFunctionType»

AircraftLogic

rudderP

edalPos

itionrightPe

dalPosit

ionleftPeda

lPositio

n

aircraft

Speed

altitude

attitude

turn

«ADLFunctionPr

ototype»

itsHMIManager:

HMIManager

autobra

keMode

statusIn

formatio

n

«ADLFunctionProt

otype»

itsAircraftPercepti

on:AircraftPercepti

on

«ADLFunction

Prototype»

itsAircraftCont

rol:AircraftCon

trolstatusIn

formatio

nwheelBr

akewheelA

ccelerat

ionwheelDi

rection

«ADLFuncti

onPrototype

»

itsActuator

Mgr:Actuato

rMgr

valveCon

trolbrakeVal

vesStateaccelerat

ionForcefrontWhe

elAngle

«ADLFunctionType»

WheelBrakeSystem

HMIManager


tionparkingBr

akeStatusaccumulato

rPressurewheelSpe

ed

altitude

attitude

turn


pe»

itsSSA:SystemStatus

Aggregator


pe»



pe»



pe»

itsMVA:MeterValveAc


pe»

itsPBA:ParkingBrake

Actuator

wheelBrak

eStatus

shutoffValv

eControl

antiSkidVal

veControl

meterValve

Control

parkingBra

keControl

«ADLFunctionProtot

ype»

itsBSCU:BrakingSy

stemControlUnit

AircraftHardware




parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition



BSCUPower



accumulatorPressure



parkingBrakeStatus



pedalPosition



systemStatusForBSCU



antiSkidValve



meterValve



shutOffValve



parkingBrake

parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

systemStatusForBSCU

antiSkidValve

meterValve

shutOffValve

parkingBrake


«ADLFunctionType»

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude



wheelBrakeStatus

wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity

command2:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

monitor2:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude


wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort


«ADLFunctionType»






turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed









out

in

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed





parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition








parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity



parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid



outin



outin



outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1



turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed

outin

out

in


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

outin


parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

outin

outin

outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

1. Ebene

2. Ebene

3. Ebene

4. Ebene

5. Ebene

…


...

...

«Feature»


grity

«Requirement»

Shall comply with

standard XY


«Feature»


und

«Feature»

ControlDirec

tion

«Feature»

ControlSp

eed

«Feature»

Accelerate

«Feature»

Deccelerat

e

«Feature»

ProvideStoppingFo

rce

«Feature»

ReduceTouchdownS

peed

«Requirement»

SomeRequirem

ent

«Requirement»

Shall not use

anchor

«Function»

x1

«Function»

x2

«Function»

x3

«Requireme

nt»r1

«Requireme

nt»r2

«Requireme

nt»r3

«Function»

y1

«Requireme

nt»r4

«Requireme

nt»r0


Aircraft

«ADLFunctionProto

type»

itsSensors:SensorP

halanx

«ADLFunctionProto

type»


rs

«ADLFunctionProto

type»


c

«ADLFunctionProto

type»

itsMechanics:Mech

anics

«Requirem

ent»

r4'

«Requirem

ent»

r1'

«Requirem

ent»

r2'

«Requireme

nt»

r3'

«ADLFunctionType»

AircraftLogic

rudderP

edalPos

itionrightPe

dalPosit

ionleftPeda

lPositio

n

aircraft

Speed

altitude

attitude

turn

«ADLFunctionPr

ototype»

itsHMIManager:

HMIManager

autobra

keMode

statusIn

formatio

n

«ADLFunctionProt

otype»

itsAircraftPercepti

on:AircraftPercepti

on

«ADLFunction

Prototype»

itsAircraftCont

rol:AircraftCon

trolstatusIn

formatio

nwheelBr

akewheelA

ccelerat

ionwheelDi

rection

«ADLFuncti

onPrototype

»

itsActuator

Mgr:Actuato

rMgr

valveCon

trolbrakeVal

vesStateaccelerat

ionForcefrontWhe

elAngle

«ADLFunctionType»

WheelBrakeSystem

HMIManager


tionparkingBr

akeStatusaccumulato

rPressurewheelSpe

ed

altitude

attitude

turn


pe»

itsSSA:SystemStatus

Aggregator


pe»



pe»



pe»

itsMVA:MeterValveAc


pe»

itsPBA:ParkingBrake

Actuator

wheelBrak

eStatus

shutoffValv

eControl

antiSkidVal

veControl

meterValve

Control

parkingBra

keControl

«ADLFunctionProtot

ype»

itsBSCU:BrakingSy

stemControlUnit

AircraftHardware




parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition



BSCUPower



accumulatorPressure



parkingBrakeStatus



pedalPosition



systemStatusForBSCU



antiSkidValve



meterValve



shutOffValve



parkingBrake

parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

systemStatusForBSCU

antiSkidValve

meterValve

shutOffValve

parkingBrake


«ADLFunctionType»

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude



wheelBrakeStatus

wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity

command2:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

monitor2:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude


wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort


«ADLFunctionType»






turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed









out

in

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed





parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition








parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity



parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid



outin



outin



outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1



turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed

outin

out

in


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

outin


parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

outin

outin

outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

1. Ebene

2. Ebene

3. Ebene

4. Ebene

5. Ebene

…


...

...

«Feature»


grity

«Requirement»

Shall comply with

standard XY


«Feature»


und

«Feature»

ControlDirec

tion

«Feature»

ControlSp

eed

«Feature»

Accelerate

«Feature»

Deccelerat

e

«Feature»

ProvideStoppingFo

rce

«Feature»

ReduceTouchdownS

peed

«Requirement»

SomeRequirem

ent

«Requirement»

Shall not use

anchor

«Function»

x1

«Function»

x2

«Function»

x3

«Requireme

nt»r1

«Requireme

nt»r2

«Requireme

nt»r3

«Function»

y1

«Requireme

nt»r4

«Requireme

nt»r0


Aircraft

«ADLFunctionProto

type»

itsSensors:SensorP

halanx

«ADLFunctionProto

type»


rs

«ADLFunctionProto

type»


c

«ADLFunctionProto

type»

itsMechanics:Mech

anics

«Requirem

ent»

r4'

«Requirem

ent»

r1'

«Requirem

ent»

r2'

«Requireme

nt»

r3'

«ADLFunctionType»

AircraftLogic

rudderP

edalPos

itionrightPe

dalPosit

ionleftPeda

lPositio

n

aircraft

Speed

altitude

attitude

turn

«ADLFunctionPr

ototype»

itsHMIManager:

HMIManager

autobra

keMode

statusIn

formatio

n

«ADLFunctionProt

otype»

itsAircraftPercepti

on:AircraftPercepti

on

«ADLFunction

Prototype»

itsAircraftCont

rol:AircraftCon

trolstatusIn

formatio

nwheelBr

akewheelA

ccelerat

ionwheelDi

rection

«ADLFuncti

onPrototype

»

itsActuator

Mgr:Actuato

rMgr

valveCon

trolbrakeVal

vesStateaccelerat

ionForcefrontWhe

elAngle

«ADLFunctionType»

WheelBrakeSystem

HMIManager


tionparkingBr

akeStatusaccumulato

rPressurewheelSpe

ed

altitude

attitude

turn


pe»

itsSSA:SystemStatus

Aggregator


pe»



pe»



pe»

itsMVA:MeterValveAc


pe»

itsPBA:ParkingBrake

Actuator

wheelBrak

eStatus

shutoffValv

eControl

antiSkidVal

veControl

meterValve

Control

parkingBra

keControl

«ADLFunctionProtot

ype»

itsBSCU:BrakingSy

stemControlUnit

AircraftHardware




parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition



BSCUPower



accumulatorPressure



parkingBrakeStatus



pedalPosition



systemStatusForBSCU



antiSkidValve



meterValve



shutOffValve



parkingBrake

parkingBrake

meterValve

antiSkidValve

shutOffValve

systemStatus

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

BSCUPower

accumulatorPressure

parkingBrakeStatus

pedalPosition

systemStatusForBSCU

antiSkidValve

meterValve

shutOffValve

parkingBrake


«ADLFunctionType»

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude



wheelBrakeStatus

wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity

command2:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

monitor2:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude


wheelBrakeStatus2

wheelBrakeStatus1

parkingBrake

brake

antiSkid

parkingBrake2

parkingBrake1

antiSkid2

antiSkid1

brake2

brake1

systemValidity


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus


sleekness

pedalPosition2

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort


«ADLFunctionType»






turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed









out

in

command1:Command



parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed





parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

monitor1:Monitor


systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition








parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity



parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid



outin



outin



outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1



turnOut

sleeknessOut

attitudeOut

altitudeOut

sleekness

turn

attitude

altitude

wheelSpeed

outin

out

in


parkingBrakeStatus

parkingBrake

brake

antiSkid

sleekness

turn

attitude

altitude

wheelSpeed

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

systemValidity

wheelBrakeStatusOUT

parkingBrake

antiSkid

wheelBrakeStatus

brake

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrakeStatus

pedalPosition

outin


parkingBrake

brake

antiSkid

parkingBrake1

antiSkid1

brake1

systemValidity

parkingBrakeOut

brakeOut

antiSkidOut

parkingBrake

brake

antiSkid

outin

outin

outin

sleekness

turn

attitude

altitude

wheelSpeed

accumulatorPressure

parkingBrake

brake

antiSkid

systemValidity1


parkingBrakeStatus

pedalPosition1





BSCUPower



antiSkidValve



antiSkidValve



meterValve



meterValve



parkingBrake



shutOffValve



shutOffValve



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



pedalPosition



parkingBrakeStatus








accumulatorPressure



pedalPosition



BSCUPower



accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power



secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

BSCUPower

antiSkidValve

antiSkidValve

meterValve

meterValve

parkingBrake

shutOffValve

shutOffValve

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

pedalPosition

parkingBrakeStatus




accumulatorPressure

pedalPosition

BSCUPower

accumulatorPressure

parkingBrake

pedalPosition

bscuBusPort

power

secondaryPower

primaryPower

parkingBrake

meterValve2

meterValve1

antiSkidValve2

antiSkidValve1

shutOffValve2

shutOffValve1

bscuBusPort

1. Ebene

2. Ebene

3. Ebene

4. Ebene

5. Ebene

…


...

...

Tim

e

Pow

er

Tem

p.

Abstraction levels

Beh

avior

Views

Combined

Analytical and

Simulative DSE at

system- and

virtual resource

level

run-time

management at

SoC component

level

run-time

management at

Node level

Virtual Integration


Objectives








3. Development of a service-based, executable and analysable power and

temperature model for multi-core execution platforms

4. Implementation of local and distributed power and temperature

monitoring and control techniques

5. Demonstration of a seamless integration of mixed criticalities under

consideration of extra-functional power and temperature properties

(combining 1, 2 and 3) in three different domains: avionics, automotive

telematics, and telecommunications

6. Proposals and feedback to standard and certification bodies in the area

of model-based mixed-critical system design, MPSoC power and temperature

simulation & analysis, and power and temperature management architectures


12


Use-Cases and Demonstrators


UC1: Avionics UC2: Automotive Telematics UC3: Telecommunication

CONTREX will support scaling up of the number of mixed-critical applications per SoC by a factor >10 while reducing the power consumption by 20%.

Goal: Flight control computer executes safety-, mission-and non-critical applications on the same multi-core execution platform.Criticalities: safety- and mission-critical

Extra-functional properties: hard real-time, power, temperature, reliability

Goal: Move processing from local (on-board) devices into the cloud.

Criticalities: mission- and non-critical.

Extra-functional properties: performance, power, security, reliability

Goal: Optimization of performance/cost characteristics of a GbitEthernet over radio system.

Criticalities: safety-, mission-, non-critical.

Extra-functional properties: real-time, power, temperature, reliability

13


Thank you very much!

Please visit www.mixedcriticalityforum.org


14

http://www.mixedcriticalityforum.org/

contrex.offis - ITEA 3 · CONTREX @ ARTEMIS IA Co Summit 2015 5 100µm 10µm 1µm 100nm 10nm 1nm...

Documents

Transcript of contrex.offis - ITEA 3 · CONTREX @ ARTEMIS IA Co Summit 2015 5 100µm 10µm 1µm 100nm 10nm 1nm...