SDQ-Lerngruppe 2008
Die SDQ-Lerngruppe dient der Vermittlung von Grundlagen bestimmter Themenbereich für Doktoranden. Entstehung: Quelle.
Ziele
- Herstellung eines allgemeinen Wissenstandes zur besseren Diskussion
- Mehr Sicherheit bei der Beurteilung von formalen Methoden
- Kenntnisse über Werkzeuge
Themen
- Markov-Chains
- Queueing Networks
- Layered Queueing Networks
- Stochastic/Colored/Queueing Petri Nets
- (Stochastic) Process Algebra
- Simulation
- Performance-Messung, Profiling, Benchmarking
- UML SPT Profile
Kompetenzen
- Heiko: LQN, UML SPT, Overview Performance Models
- Jens: General Distribution Functions for Performance Prediction, CPN
- Henning: Simulation (alter Vortrag + Jain Kap 24-25), QN (Jain Kap 30-36)
- Michael: Performance Messung in Java (System.nanotime, Profiler, AOP)
- Klaus: Jain Kap 14 (Simple Linear Regression Models), Kap 15 (Other Regression Models)
- Anne: SPE
Termine (nächster Termin fett hervorgehoben)
- 15.01.2008, 10 Uhr: Anne, Markov Chains
- 22.01.2008, 10 Uhr: fällt aus (England)
- 29.01.2008, 10 Uhr: Lucia, Markov Chains
- 05.02.2008, 13 Uhr: Henning, Queueing Networks (Overview, Kendall's Notation, Product-Form, MVA, Assumptions, Tools...)
- 12.02.2008, 10 Uhr, FZI(Berlin): Heiko, Layered Queueing Networks (Overview, Entities, Solver, Case Studies, PCM2LQN...)
- 20.02.2008, 10 Uhr, FZI(Tokio): Jens, CPN
- 26.02.2008, 10 Uhr: fällt aus (Dagstuhl)
- 04.03.2008, 13 Uhr, FZI(Berlin): Chris, Jain Kap12 (Summarising Measurement Data)
- 11.03.2008, keine Lerngruppe
- 18.03.2008, 17 Uhr, FZI(Berlin): Lucia, Jain Kap13 (Comparing Systems using Sample Data)
- 18.03.2008, 18:30 Uhr, FZI(Berlin): Michael, Performance Measurement in Java
- 25.03.2008, keine Lerngruppe
- 01.04.2008, keine Lerngruppe
- 08.04.2008, 17 Uhr, FZI(Berlin): Klaus, Jain Kap14+15
- 15.04.2008, 17 Uhr, FZI(Berlin): Heiko, UML SPT
- 15.04.2008, 18:30 Uhr, FZI(Berlin): Anne, SPE
Literatur
- Grundlagen allgemein: Literatur_im_SDQ-Kontext
- Bücher:
- Paper:
- Balsamo et al. 2004: Model-based performance prediction in software development: a survey
- OMG 2005: UML SPT Profile
- Summer School Bände mit Überblicksartikeln
- Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
- Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures
Tools
- Different Model Types: Möbius
- Queuing Networks: See Warteschlangennetze.
- Petri-Nets: CPN-Tools, QPME/SimQPN
- General Purpose Simulation: Desmo-J, SSJ