1 / 15

Scheduling in SDL Simulation Application to Future Air Navigation Systems

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 ). COMMUNICATION & NAVIGATION SATELLITES (SATCOM & GNSS). Ground network.

glora
Download Presentation

Scheduling in SDL Simulation Application to Future Air Navigation Systems

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 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)

  2. COMMUNICATION & NAVIGATION SATELLITES (SATCOM & GNSS) Ground network VHF/HF antenna Satellite antenna ATC CENTER AIRLINE AOC INFORMATION SERVICE The FANS system

  3. ATSU Layers Inter-node Priority Level datalink (dialogs) management between aircraft and ATC (Air Traffic Control) center ADS AFN CPDLC Server for ATC HMI Management Server for ATC On Board Integration Management ATC server layer Host Platform Data Acquisition + Ground & on-board data Automatic Code Generation From SDL Specifications (1 node)

  4. High level specifications SDL specifications Verification by Simulation Code Generation

  5. LZ100 LZ100 LOGsim Simulation & Code generation languages Diag. 1 Diag. 2 LOGsim LOGsim Lg Lg Diag. 3 Diag. 4

  6. LOGsim LOGsim Get closer to the application Reduce complexity Scheduling Rules Test cases (good & erroneus behaviours) Generate & Test

  7. Node_1 Priority Intra_node_Srule Queues ... GetPriority(Event) IsExternal(Event) ScheduleEvent(…) ... Scheduling in SDL - Mapping or deployment • each agent Í in a node • Physical or logical • interpretation of nodes • Possible Use of UML • A node can be a class Node (partition) Mapping Node (partition)

  8. Internal events FIFO External events FIFO « Save » signals FIFO Scheduling in SDL - Intra-node scheduling policy « Internal events always first » External Events priority Internal Events + Node Node

  9. Node priority Node priority Node priority Node Node Node Scheduling in SDL - Inter-node scheduling policy Fixed node priority policy See ATSU layers slide ...

  10. Scheduling in SDL - SDL Semantics modifications SDL semantics: E is fired A process instance queue contains: External event E Internal event I 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. New SDL behaviours ! The paper gives an example of a re-ordering algorithm. Internal event I External event E

  11. 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 List of fireable transitions that respect scheduling • Works in • interactive mode • random mode • exhaustive mode Filtered by pre-execution

  12. Scheduling in SDL - ATSU SDL models Aircraft console ObjectGeode Simulator Global ATSU Model Ground console Simulate and verify global behaviours comparing to specifications

  13. Scheduling in SDL - ATSU SDL models ObjectGeode Simulator Node Model OG Console Single-node scheduling Unit tests. Verify behaviours that cannot be simulated with the global model Test cases

  14. Scheduling in SDL - ATSU Future work Get Closer to the application behaviour Aircraft console ObjectGeode Simulator ATSU Global Model Ground console Multi-node scheduling

  15. 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

More Related