![Page 1: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/1.jpg)
© 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)
![Page 2: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/2.jpg)
© 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
![Page 3: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/3.jpg)
© 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
![Page 4: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/4.jpg)
© Telelogic 2000
Scheduling in SDL Simulation
AEROSPATIALE-MATRA AIRBUS
SAM 20004
SDLspecifications
Verification bySimulation
CodeGeneration
High levelspecifications
![Page 5: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/5.jpg)
© 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
![Page 6: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/6.jpg)
© 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
![Page 7: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/7.jpg)
© 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(…)...
![Page 8: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/8.jpg)
© 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
![Page 9: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/9.jpg)
© 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 ...
![Page 10: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/10.jpg)
© 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 !
![Page 11: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/11.jpg)
© 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
![Page 12: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/12.jpg)
© 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
![Page 13: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/13.jpg)
© 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
![Page 14: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/14.jpg)
© 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
![Page 15: © Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 20001 Scheduling in SDL Simulation Application to Future Air Navigation Systems](https://reader035.vdocuments.mx/reader035/viewer/2022062806/56649ed35503460f94be32fe/html5/thumbnails/15.jpg)
© 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