• Navigation überspringen
  • Zur Navigation
  • Zum Seitenende
Organisationsmenü öffnen Organisationsmenü schließen
Friedrich-Alexander-Universität Lehrstuhl für Informatik 7 CS7
  • FAUZur zentralen FAU Website
  1. Friedrich-Alexander-Universität
  2. Technische Fakultät
  3. Department Informatik
Suche öffnen
    • Campo
    • StudOn
    • FAUdir
    • Stellenangebote
    • Lageplan
    • Hilfe im Notfall
    1. Friedrich-Alexander-Universität
    2. Technische Fakultät
    3. Department Informatik
    Friedrich-Alexander-Universität Lehrstuhl für Informatik 7 CS7
    Menu Menu schließen
    • Lehrstuhl
    • Forschung
    • Publikationen
    • Lehre
    • Kooperationspartner
    1. Startseite
    2. Forschung
    3. Frühere Projekte
    4. Analysemethoden für nicht-Markowsche Modelle

    Analysemethoden für nicht-Markowsche Modelle

    Bereichsnavigation: Forschung
    • Quality-of-Service
    • Connected Mobility
    • Smart Energy
    • Frühere Projekte
      • A⁵: Entwicklungsmethode für Fahrerassistenzsysteme auf Basis einer Domänenspezifischen Sprache
      • ACOOWEE – Activity Oriented Programming of Wireless Sensor Networks
      • ALF: Autonomous Localization Framework
      • Analysemethoden für nicht-Markowsche Modelle
      • BioNeting – Bio-inspired Networking
      • CoCar – Cooperative Cars
      • Data Quality and the Control of Automotive Manufacturing
      • Dezentrale Organisation von zukünftigen Energiesystemen basierend auf der Kombination von Blockchains und dem zellularen Ansatz
      • Dienstgütegarantien für Ethernet in der industriellen Kommunikation
      • e-NUE: Co-Simulation elektrifizierter & kommunikationsfähiger Fahrzeuge
      • Energiesystemanalyse Bayern
      • Formale Verifikation und Validierung der virtuellen Absicherung komplexer Fahrzeugsicherheitsfunktionen
      • GeTTeMo – Systematische Generierung von Testszenarien aus benutzungsorientierten Testmodellen
      • HISTORY – HIgh Speed neTwork mOnitoRing and analYsis
      • Hybride Simulation intelligenter Energiesysteme
      • Integrated Modeling Platforms for Computer Infrastructures
      • MaTeLo (Markov Test Logic)
      • Mo.S.I.S. (Modular Software Engineering for Interoperative Systems)
      • Modeling of External and Internal Impact Factors on the Performance of Wireless Local Area Networks
      • Modellunterstützung beim Entwurf, Test und Monitoring von Bildsystemarchitekturen
      • monk-it – Efficient distributed monitoring, attack detection, and event correlation
      • Nebenläufigkeit in zeiterweiterten Benutzungsmodellen zum Test im Automotivebereich
      • p2p4wsn – Efficient Data Management in Mobile Sensor Networks using Peer-to-Peer Technologies
      • Pal-Grid: Ein Umfassendes Simulationsframework für das Palästinensische Stromnetz
      • Privatsphäre in Fahrzeugnetzen
      • ProHTA: Prospective Assessment of Healthcare Technologies
      • Q.E.D. (QoS Enhanced Development Using UML2.0 and TTCN-3)
      • Quality of Service of Networked Embedded Systems
      • Requirements oriented testing with Markov chain usage models in the automotive domain
      • ROSES – Robot Assisted Sensor Networks
      • Security and Quality of Service and Aspects in ZigBee-based Wireless Communication
      • Self-organization of SN-MRS systems
      • Sensitivity Analysis of Queueing Networks
      • Sichere intelligente Mobilität – Testfeld Deutschland
      • SkyNet – Communicating Paragliders
      • Smart Grid Dienste
      • Smart Grid Solar
      • Software-in-the-Loop Simulation and Testing of Highly Dependable Distributed Automotive Applications
      • Support for inter-domain routing and data replication in virtual coordinate based networks
      • SWARM (Storage With Amply Redundant Megawatt)
      • Telematics Services in Hybrid Networks
      • Transmission of Safety-Relevant Sensor Data in Intra-Car Communication Systems
      • Veins 1.0 – Vehicles in Network Simulation
      • Web Cluster Laboratory
      • WinPEPSY-QNS - Performance Evaluation and Prediction System for Queueing Networks

    Analysemethoden für nicht-Markowsche Modelle

    analysis_methods_for_non-markovian_models

    Projektbeschreibung

    Traditionelle Ansätze zum Lösen nicht-Markowscher Modelle nutzen Phasentyperweiterungen, wenden das Verfahren der zusätzlichen Variablen an oder konstruieren eine eingebettete Markow-Kette. Alle drei Ansätze wurden auch im Zusammenhang mit Warteschlangennetzwerken und stochastischen Petri-Netzen untersucht. Der Ansatz der Phasentyperweiterung leidet unter der Vergrößerung des Zustandsraums, während die Methode der zusätzlichen Variablen und die der Konstruktion der eingebetteten Markow-Kette grundsätzlich erfordern, dass nicht-exponentiell zeitgesteuerte Aktivitäten nicht gleichzeitig auftreten können. Treten diese gleichzeitig auf, so hat dies mehrdimensionale Differentialgleichungssysteme zur Folge, die schwer zu lösen sind. Um diese Probleme zu vermeiden müssen effizientere Techniken zur Leistungsbewertung von Computernetzwerken, wie Web-Server oder Netzwerke von eingebetteten Systemen, entwickelt werden. In solchen Systemen können für Aktivitäten Zeitdauern mit großen Varianzen (Dateiübertragungen) sowie deterministische Zeitdauern (Sicherheitsaspekte) auftreten.

    Wir haben zwei neue Ansätze entwickelt, um die Modelle zur Leistungsbewertung solcher Systeme näherungsweise auszuwerten zu können. Der erste Ansatz basiert auf dem Verfahren der zusätzlichen Variablen, der zweite auf den Phasentyperweiterungen. Derzeit verbessern wir diese Ansätze und es ist geplant, sie für die Lösung großer nicht-Markowscher Modelle kombinieren. In Zusammenarbeit mit dem Lehrstuhl 4 (Verteilte Systeme und Betriebssysteme) wurde das Werkzeug WinPEPSY für die Leistungsbewertung und Vorhersage mittels Warteschlangennetzwerken entwickelt. Es enthält bekannte Analyseverfahren für offene und geschlossene Produktform und nicht-Produktform Netze (Mittelwert Analyse, Jackson Methode, Dekompositionsmethode, Simulation) und auch die neuen zustandsraumbasierten Analyseverfahren wurden integriert. In einer Kooperation mit der Telekommunikationslabor, Kommunikation, Elektronik und Informationstechnik Abteilung der Nationalen Technischen Universität von Athen wurden Simulationsmodelle für eingebettete Netzwerkprozessoren entwickelt. Das Ziel ist es, die oben erwähnten Verfahren zu verbessern, so dass auch die Leistungsbewertung für solche großen Modelle möglich ist.

    Projektdauer

      2001-11-01 – 2004-10-30

    Projektleitung

      Reinhard German

    Projektmitglieder

      Peter Bazan

    Förderer

    •  

    Verwandte Publikationen

    •  
    • Bazan P., Bolch G., German R.:
      WinPEPSY-QNS-Performance Evaluation and Prediction System for Queueing Networks
      Measuring, Modelling and Evaluation of Computer and Communication Systems, (Nürnberg, Germany, 2006-03-27 - 2006-03-29)
      In: Proc.13th GI/ITG Conference, Berlin: 2006
      URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=5755404&queryText%3DWinPEPSY-QNS-Performance+Evaluation+and+Prediction+System+for+Queueing+Networks
      BibTeX: Download
    • Bazan P., German R.:
      Approximate Analysis of Stochastic Models by Self-Correcting Aggregation
      2nd International Conference on the QuantitativeEvaluation of Systems (QEST) 2005 (Torino, 2005-09-19 - 2005-09-22)
      In: Second International Conference on the Quantitative Evaluation of Systems (QEST'05), Los Alamitos, CA, USA: 2005
      DOI: 10.1109/QEST.2005.5
      BibTeX: Download
    • Bazan Peter, Bolch Gunter, German Reinhard:
      WinPEPSY-QNS Performance Evaluation and Prediction System for Queueing Networks
      ASMTA'04 (Magdeburg)
      In: 11th International Conference on Analytical and Stochastical Modelling Techniques and Applictions 2004
      BibTeX: Download
    • Bazan P., German R.:
      An Iterative Approximate Analysis Method for Non-Markovian Models Based on Supplementary Variables
      MMB & PGTS 2004 - 12th GI/ITG Conf. on Measuring, Modelling and Evaluation of Computer and Communication Systems (Dresden, 2004-09-12 - 2004-09-15)
      In: Peter Buchholz, Ralf Lehnert, Michal Pioro (Hrsg.): MMB & PGTS 2004 - 12th GI/ITG Conf. on Measuring, Modelling and Evaluation of Computer and Communication Systems, Berlin, Germany: 2004
      BibTeX: Download
    • Bazan P., German R.:
      Approximate transient analysis of large stochastic models with WinPEPSY-QNS
      In: Computer Networks 53 (2009), S. 1289-1301
      ISSN: 1389-1286
      DOI: 10.1016/j.comnet.2009.02.012
      BibTeX: Download

    Links


    Lehrstuhl Informatik 7 (Rechnernetze und Kommunikationssysteme)
    Friedrich-Alexander-Universität Erlangen-Nürnberg

    Martensstr. 3
    91058 Erlangen
    • Kontakt
    • Impressum
    • Datenschutz
    • Barrierefreiheit
    • RSS-FEED Kolloquium
    • Facebook
    • Facebook
    • RSS Feed
    • RSS Feed
    • Twitter
    • Twitter
    • Xing
    • Xing
    Nach oben