280 likes | 391 Views
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)
E N D
PROGRESS ProjectModeling 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) 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
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)
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
People involved: PROGRESS • ir. N. Malotaux PROGRESS program committee • dr.ir. F. Karelse STW
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)
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)
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
(Industrial) Cases Methodology for Performance Modeling • The science that studies how performance modeling problems have to be solved • Areas • Formalisms • Analysis Techniques • Tools • Methods
Bus Arbiter Computer I/O Bus Network Adaptors I/O Ports Links Example: Second-Generation Packet Switch
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
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?
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
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
1 packet Formal Semantics 2 3 0.9 S1 S2 S3 S4 0.1 packet Markov Decision Process Example: Packet Switch Model
After resolving non-determinism: Markov chain 1 packet 2 3 0.9 1 S1 S2 S3 S4 0.1 Delay Requirement: Example: SpecificationDelay Requirement
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
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
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]
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
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
Automatic translation to Rotalumis Example: SHESim and Rotalumis
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
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
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
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
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