1 / 28

Jeroen Voeten December 11, 2002

PROGRESS Project Modeling and Performance Analysis of Telecommunication Systems User Committee Meeting. Jeroen Voeten December 11, 2002. Agenda. 10.00-10.30 Project overview: goals and results (J. Voeten) 10.30-10.50 Performance modeling in the large (B. Theelen)

jeneil
Télécharger la présentation

Jeroen Voeten December 11, 2002

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. PROGRESS ProjectModeling and Performance Analysis of Telecommunication Systems User Committee Meeting Jeroen Voeten December 11, 2002

  2. Agenda 10.00-10.30 Project overview: goals and results (J. Voeten) 10.30-10.50 Performance modeling in the large (B. Theelen) 10.50-11.10 Formal analysis of a sliding window (D. Chkliaev) protocol 11.10-11.30 Coffee break 11.30-11.50 On the fundamental design gap in (M. Verhappen) terabit per second packet switching 11.50-12.10 Performance modeling of a DECT (Z. Huang) system 12.10-12.30 An abstract modeling approach towards (F. van Wijk) system-level design-space exploration 12.30-13.00 Discussion 13.00- Lunch

  3. People involved: Project members • Project Granted May 2000 • ir. Y. Pribadi PhD (1-9-’00 – 1-10-’02) • ir. B.D. Theelen PhD (1-10-’02) • ir. M. Verhappen PhD (funded by IBM Zurich, 1-3-’02) • dr. Z. Huang Postdoc (21-6-’01) • A. Sokolova (M.Sc.) PhD ( 19-6-’01) • dr. D. Chkliaev Postdoc (18-1-’01) • dr. S. Vlad Scientific programmer (1-4-’01)

  4. People involved: User Committee • ir. A. ten Berg Philips Research • ing. R.Niesten TNO Industrial Technology • ir. A. Ventevogel TNO Industrial Technology • dr.ir. A. Engbersen IBM Research Zurich • ir. R. Luijten IBM Research Zurich • M.Sc. C. Gendarme Alcatel Bell Antwerp

  5. People involved: PROGRESS • ir. N. Malotaux PROGRESS program committee • dr.ir. F. Karelse STW

  6. People involved: Electrical Engineering • prof.ir. M. Stevens Supervision • dr.ir. J. Voeten Project manager, daily supervision • dr.ing. P. v.d. Putten Daily supervision (system-level specification) • prof.ir. F. v.d. Dool Supervision (switches and networks) • prof.ir. J. de Stigter Supervision (telecommunication services) • dr.ir. M. Geilen Advisor (formal verification, real-time models • dr.ir. L.J. van Bokhoven PhD student (formal semantics, tools, cases) • ir. F.N. van Wijk PhD student (Philips Research, user of project results. Contributes to methods for performance modeling and case studies) • J. Huang M.Sc. PhD student (PROGRESS project EES.5413, user of project results. Contributes to case studies and tool development) • R.D.J. Kramer Graduation student (Contributes to case studies)

  7. People involved: Mathematics and Computer Science • prof.dr. J. Baeten Supervision (formal methods) • dr. E. de Vink Daily supervision (formal methods) • prof.dr.ir. S. Borst Supervision (performance analysis of telecommunication systems) • prof.dr.ir. J. v.d. Wal Advisor (stochastic operations research) • prof.dr.ir. O. Boxma Advisor (performance analysis queuing theory) • dr. S. Andova Advisor (probabilistic process algebra)

  8. Project Context • Design of Telecommunication Systems • computer networks, switches, routers, protocols • Complexity explosion • Need for system level performance modelingmethodology • Support system designers and system architects in taking well-founded design decisions in the early phases of the design trajectory • Specific for the project is the exploitation of process algebraic techniques for the semantical foundations of the various models

  9. (Industrial) Cases Methodology for Performance Modeling • The science that studies how performance modeling problems have to be solved • Areas • Formalisms • Analysis Techniques • Tools • Methods

  10. Bus Arbiter Computer I/O Bus Network Adaptors I/O Ports Links Example: Second-Generation Packet Switch

  11. Packet Switch Requirements • A second-generation 4 x 4 switch • Fixed-sized packets of 25 bytes long • Link bandwidth 10 Mbps in both input and output direction (50.000 packets per second) • Average packet delay at most 200 s • Packet loss probability at most 0.01

  12. System and Architecture Design Issues • What is the required capacity of the I/O bus in packets per second? • What communication mechanism is used to let the network adapters, the computer and the arbiter communicate over the I/O bus? • How much memory is required on each network adaptor to buffer inbound and outbound packets? • What arbitration scheme is going to be used?

  13. Formalisms: Project Goals • To model the behavior and architecture of a system • To formalize the performance requirements that have to be satisfied • Project goal 1: Extend the industrial-strength modeling language POOSL with probabilistic capabilities • Project goal 2: Develop formalisms for expressing performance properties of interest

  14. Formalisms: Project Results • [Goal 1] Operational characterization of probabilistic real-time POOSL, L. van Bokhoven, PhD thesis ‘02 • [Goal 1] Formal model of timed automata, E. de Vink and A. Sokolova • [Goal 2] Temporal Rewards, J. Voeten, PAPM’00, PE Journal ’02

  15. 1 packet Formal Semantics  2 3 0.9 S1 S2 S3 S4 0.1 packet Markov Decision Process Example: Packet Switch Model

  16. After resolving non-determinism: Markov chain 1 packet  2 3 0.9 1 S1 S2 S3 S4 0.1 Delay Requirement: Example: SpecificationDelay Requirement

  17. Analysis Techniques: Project Goals • To evaluate a (formalized) property against a model • Project goal 3:Develop analytical performance analysis techniques • Project goal 4: Develop simulation-based performance analysis techniques

  18. Analysis Techniques: Project Results • [Goal 3] Reduction method for Markov chains, Y. Pribadi, PROGRESS’01 • [Goal 3] Performance preserving equivalences on Markov chains, A. Sokolova and E. de Vink, technical report • [Goal 4] Accuracy Analysis of Long-Run Average Performance Metrics, B. Theelen, PROGRESS’01

  19. Example: Analysis ofPacket Switch Delay • Analytically: Ergodic Theorem for Markov Chains • Simulation: Central Limit Theorem for Markov Chains: both the numerator and denominator are asymptotically Normal • nconfidence interval for numerator: [nl,nh] • dconfidence interval for numerator: [dl,dh] • n +d-1 confidence interval for delay: [nl/dh,nh/dl]

  20. Tools: Project Goals • For model entry, simulation, validation and to support the different analysis techniques • Project goal 5:Extend the SHESim environment so that it supports the probabilistic extension of POOSL • Project goal 6:Extend the SHESim environment with performance analysis capabilities as developed in this project

  21. Tools: Project Results • [goal 5] Data Part of POOSL in SHESim, S. Vlad • [goal 5] The Rotalumis Tool, L. van Bokhoven, PhD thesis’02 • [goal 6] Library of Performance Analysis Classes, B. Theelen, PROGRESS’01

  22. Automatic translation to Rotalumis Example: SHESim and Rotalumis

  23. Example: A Performance Modeling Result

  24. Methods: Project Goals • Structured ways to apply formalisms, performance analysis techniques and tools aiming at solving the design problem • Ways to ‘capture’ and ‘freeze’ modeling knowledge of experienced modelers and designers • Project goal 7:Define a method for performance modeling and architecture exploration of complex telecommunication systems

  25. Methods: Project Results • [goal 7] Heuristics for performance modeling and architecture exploration, B. Theelen, (confidential) technical reports PROGRESS’00, ESS’01, FDL’02, journal computer networks (accepted paper) • [goal 7] System-level design-space exploration, F. van Wijk, FDL’02 • [goal 7] Modeling patterns for terabit per second packet switching, M. Verhappen, DSD’02

  26. Utilization: Case Studies • Performance modeling of a packet switch, in-house exercise, Z. Huang, PROGRESS’02 • Performance analysis of a sliding window protocol, in-house exercise, Z. Huang • Formal Verification of a Sliding Window protocol, in-house exercise, D. Chkliaev, PROGRESS’02 • Performance modeling of the DECT wireless protocol, TNO Industrial Technology, Z. Huang • Industrial Internet Router, Alcatel Antwerp, B. Theelen, technical reports (confidential), ESS’01

  27. Utilization: Case Studies • Data Flow System, B. Theelen, Alcatel Antwerp, technical reports (confidential) • Network Processor, R. Kramer, IBM Research Zurich, accepted paper for journal of computer networks • Picture-in-Picture TV Application, F. van Wijk, Philips Research, FDL’02 • MA3 System, J. Huang, TNO Industrial Technology, PROGRESS’02

  28. Utilization: Courses and Tutorials • ESA (EESI) system-level design course, 2002 • DSD’02 tutorial on performance modeling and architecture exploration, 2002 • FDL’02 tutorial on performance modeling and architecture exploration, 2002 • Third-year course system technology, 2002

More Related