© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 20001

Scheduling in SDL SimulationApplication to Future Air Navigation Systems

Frédéric Boutet (Telelogic)

Gilles Rieux (AEROSPATIALE-MATRA AIRBUS)Yves Lejeune (Telelogic)

Eric Choveau (AEROSPATIALE-MATRA AIRBUS)

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 20002

The FANS system

ATC CENTERINFORMATION SERVICEAIRLINE AOC

COMMUNICATION & NAVIGATIONSATELLITES (SATCOM & GNSS)

Satellite antennaGround networkVHF/HF antenna

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 20003

datalink (dialogs) management between aircraft and ATC (Air Traffic Control)center

ADS AFN CPDLC

Server forATC HMI

Management

Server forATC On Board Integration

Management

Host Platform

+

Inter-nodePriority

Level

ATSU Layers

DataAcquisition

Ground &on-board dataAutomatic Code Generation From

SDL Specifications (1 node)

ATC server layer

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 20004

SDLspecifications

Verification bySimulation

CodeGeneration

High levelspecifications

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 20005

LZ100 LZ100

LOGsim

LOGsim

Lg

LOGsim

Lg

Simulation & Code generation languages

Diag. 1

Diag. 4Diag. 3

Diag. 2

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 20006

SchedulingRules

LOGsim LOGsim

Get closer to the applicationReduce complexity

Test cases(good & erroneus

behaviours)

Generate & Test

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 20007

Scheduling in SDL - Mapping or deployment

Node(partition)

Node(partition)

Mapping

• each agent in a node• Physical or logical

interpretation of nodes• Possible Use of UML• A node can be a class

Node_1

PriorityIntra_node_SruleQueues...

GetPriority(Event)IsExternal(Event)ScheduleEvent(…)...

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 20008

Scheduling in SDL - Intra-node scheduling policy

Node

ExternalEvents

InternalEvents

« Internal events always first »

Internal events FIFO

External events FIFO

« Save » signals FIFO

Node

+priority

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 20009

Scheduling in SDL - Inter-node scheduling policy

Fixed node priority policy

Node

Node priority

Node

Node priority

Node

Node prioritySee ATSU layers slide ...

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 200010

Scheduling in SDL - SDL Semantics modifications

Externalevent E

Internalevent I

A process instance queue contains: SDL semantics: E is fired

Intra-node policy: I should be fired

• Implement a new ouput function that puts a message at a specific place in the queue.• Apply a re-ordering algorithm to the queue.

The paper gives an example of a re-ordering algorithm.

Internalevent I

Externalevent E

New SDLbehaviours !

New SDLbehaviours !

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 200011

Scheduling in SDL - Implementation in ObjectGeode

• Edition: formal comments for specifying nodes• Resources needed in simulation:

• The goal language (a goal observer implements the scheduling policy)• The filtering mechanism (pre-execution of transitions)

Initiallist of

fireabletransitions

Filtered bypre-execution

List offireable

transitionsthat respectscheduling

Works in• interactive mode• random mode• exhaustive mode

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 200012

Scheduling in SDL - ATSU SDL models

GlobalATSU Model

ObjectGeodeSimulator

Aircraftconsole

Groundconsole

Simulate and verify global behaviourscomparing to specifications

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 200013

Scheduling in SDL - ATSU SDL models

NodeModel

Single-node scheduling

ObjectGeodeSimulator

Unit tests.Verify behaviours that cannotbe simulated with the global model

Test cases

OGConsole

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 200014

Scheduling in SDL - ATSU Future work

ATSUGlobal Model

Multi-node scheduling

ObjectGeodeSimulator

Aircraftconsole

Groundconsole

Get Closer to the application behaviour

© Telelogic 2000

Scheduling in SDL Simulation

AEROSPATIALE-MATRA AIRBUS

SAM 200015

Scheduling in SDL - Telelogic Future work

UML - SDL 2000Integrated environment

Deployment Diagrams forboth Simulator & Code generator

Predefined scheduling rules

Simulation driven by scheduling

Test Suite connection