© 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
Top Related