© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM Scheduling in SDL Simulation Application 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 The FANS system ATC CENTER INFORMATION SERVICE AIRLINE AOC COMMUNICATION & NAVIGATION SATELLITES (SATCOM & GNSS) Satellite antenna Ground network VHF/HF antenna

© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM datalink (dialogs) management between aircraft and ATC (Air Traffic Control) center ADSAFNCPDLC Server for ATC HMI Management Server for ATC On Board Integration Management Host Platform + Inter-node Priority Level ATSU Layers Data Acquisition Ground & on-board data Automatic Code Generation From SDL Specifications (1 node) ATC server layer

© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM SDL specifications Verification by Simulation Code Generation High level specifications

© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM L Z100 L OGsim LgLg LgLg Simulation & Code generation languages Diag. 1 Diag. 4Diag. 3 Diag. 2

© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM Scheduling Rules L OGsim Get closer to the application Reduce complexity Test cases (good & erroneus behaviours) Generate & Test

© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 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 Priority Intra_node_Srule Queues... GetPriority(Event) IsExternal(Event) ScheduleEvent(…)...

© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM Scheduling in SDL - Intra-node scheduling policy Node External Events Internal Events « 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 Scheduling in SDL - Inter-node scheduling policy Fixed node priority policy Node Node priority Node Node priority Node Node priority See ATSU layers slide...

© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM Scheduling in SDL - SDL Semantics modifications External event E Internal event 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. Internal event I External event E New SDL behaviours ! New SDL behaviours !

© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM 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) Initial list of fireable transitions Filtered by pre-execution List of fireable transitions that respect scheduling Works in interactive mode random mode exhaustive mode

© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM Scheduling in SDL - ATSU SDL models Global ATSU Model ObjectGeode Simulator Aircraft console Ground console Simulate and verify global behaviours comparing to specifications

© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM Scheduling in SDL - ATSU SDL models Node Model Single-node scheduling ObjectGeode Simulator Unit tests. Verify behaviours that cannot be simulated with the global model Test cases OG Console

© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM Scheduling in SDL - ATSU Future work ATSU Global Model Multi-node scheduling ObjectGeode Simulator Aircraft console Ground console Get Closer to the application behaviour

© Telelogic 2000 Scheduling in SDL Simulation AEROSPATIALE-MATRA AIRBUS SAM Scheduling in SDL - Telelogic Future work UML - SDL 2000 Integrated environment Deployment Diagrams for both Simulator & Code generator Predefined scheduling rules Simulation driven by scheduling Test Suite connection