SDQ-Lerngruppe 2008

Aus SDQ-Wiki
Zur Navigation springen Zur Suche springen

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

Tools