1 / 12

Applying Ulysses to Bluetooth

Applying Ulysses to Bluetooth. Alvise Bonivento Mentor: Marco Sgroi. Outline. Motivations The Ulysses methodology Introduction to Bluetooth Bluetooth from an Ulysses perspective Extensions to Ulysses Conclusions and future works. MOTIVATIONS: PROTOCOL DESIGN METHODOLOGY.

lorne
Download Presentation

Applying Ulysses to Bluetooth

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. ApplyingUlysses to Bluetooth Alvise Bonivento Mentor: Marco Sgroi

  2. Outline Motivations The Ulysses methodology Introduction to Bluetooth Bluetooth from an Ulysses perspective Extensions to Ulysses Conclusions and future works

  3. MOTIVATIONS: PROTOCOL DESIGN METHODOLOGY • Traditional design approaches are informal • Early partition of the system behavior increases number of errors • Need of a formal approach enabling IP reuse • Scenario based specifications

  4. Scenario Specification (Message Sequence Charts + relations) Synthesis of Petri Nets (MSC Covering) Scenarios composition Mapping and Optimization Ulysses Design Flow

  5. Bluetooth Applications ACL SCO • Services: Asynchronous Connection-Less (ACL) and Synchronous Connection Oriented • Service Discovery Protocol (SDP): table of services • L2CAP: Adaptation layer, segmentation and reassembly • Host Control Interface: Interface HW and SW • Link Manager Protocol (LMP): a CPU implemented on HCI • Baseband: LLC + PHY • Radio:2.4 GHz (IMS), FHSS, 79 Channels, of 1 MHz each • Piconets with a master and a maximum of 7 active slaves SDP OBEX WAP RFCOMM L2CAP HCI LMP Baseband

  6. Bluetooth: examples Authentication

  7. Bluetooth: example Encryption and connection set-up

  8. Bluetooth: example ALL THIS TRANSITIONS CAN BE CONSIDERED PATTERNS DESCRIBE THIS TRANSITIONS WITH OTHER PNs HIGH LEVEL SCENARIO COMPOSITION !!!!!

  9. Starting from Ulysses • Authomatic synthesis of communication protocols not effective: layer by layer refinement very hard • Next generation protocols: 4G (beyond 3G) ? New key parameters • OSI type protocol stack may not be the most appropriate solution • Need to provide an authomatic synthesis tool able to deploy “super networks” • A new methodology with higher level of abstraction

  10. Platform based design Labeled MSN Specifications + constraints (power, area, latency, QOS ...) Translation into a labeled PN model At this level they can talk !!! Optimized labeled PNs Mapping Bottom-up abstraction of resources Library of architectures (SW/HW) + performances Simulations and synthesis tool: Metropolis

  11. Conclusions • Ulysses: a new approach • Scenario based • PNs as MoC • pattern • Case study: Bluetooth: MSN description, PN translation, Metropolis. • Platform based design for communication protocols • Future work: A LOT !!! • More patterns and examples • Extend the model in order to capture more aspetcs (i.e. power, area, latency ... Environment ?) • Implement authomatic PNs generation from MSNs

  12. Covering Algorithm tj=t0 Repeat BeginCoverM Repeat Select ei s.t. Ei is a cut if ei is receive add Channel SelectPattern LabelPattern ComposePattern i++ Until all e in Mj are covered if all e in Mj are covered mark tj EndCoverM Select next transition tj with all predecessors covered or a marked predecessor place Until all transitions are covered For every choice add a synchronizer Add initial marking Tokens

More Related