• Skip navigation
  • Skip to navigation
  • Skip to the bottom
Simulate organization breadcrumb open Simulate organization breadcrumb close
Computer Science 7
  • FAUTo the central FAU website
  1. Friedrich-Alexander-Universität
  2. Faculty of Engineering
  3. Department Computer Science
  • Deutsch
  • English
  • Campo
  • UnivIS
  • Jobs
  • Map
  • Help
  1. Friedrich-Alexander-Universität
  2. Faculty of Engineering
  3. Department Computer Science

Computer Science 7

Navigation Navigation close
  • CS7
  • Research
  • Publications
  • Teaching
  • Cooperation Partners
  1. Home
  2. Research
  3. Concluded Projects
  4. Analysis Methods for Non-Markovian Models

Analysis Methods for Non-Markovian Models

In page navigation: Research
  • Quality-of-Service
    • Research Projects
    • Group Members
    • Publications
  • Connected Mobility
    • Research Projects
    • Group Members
    • Publications
  • Smart Energy
    • Research Projects
    • Group Members
    • Publications
  • Concluded Projects
    • ACOOWEE – Activity Oriented Programming of Wireless Sensor Networks
    • ALF: Autonomous Localization Framework
    • Analysis Methods for Non-Markovian Models
    • A⁵: Development Method for Driver Assistance Systems based on a Domain-Specific Language
    • BioNeting – Bio-inspired Networking
    • CoCar – Cooperative Cars
    • Concurrency in timed usage models for system testing in the automotive domain
    • Data Quality and the Control of Automotive Manufacturing
    • Decentralized organization of future energy systems based on the combination of blockchains and the cellular concept
    • Dienstgütegarantien für Ethernet in der industriellen Kommunikation
    • e-NUE: Co-Simulation of Electrified and Connected Vehicles
    • Energy System Analysis
    • Formal verification and validation of test methods for complex vehicle safety systems in virtual environments
    • GeTTeMo – Systematische Generierung von Testszenarien aus benutzungsorientierten Testmodellen
    • HISTORY – HIgh Speed neTwork mOnitoRing and analYsis
    • Hybrid Simulation of Intelligent Energy Systems
    • Integrated Modeling Platforms for Computer Infrastructures
    • MaTeLo (Markov Test Logic)
    • Mo.S.I.S. (Modular Software Engineering for Interoperative Systems)
    • Model support in design, test, and monitoring of image system architectures
    • Modeling of External and Internal Impact Factors on the Performance of Wireless Local Area Networks
    • monk-it – Efficient distributed monitoring, attack detection, and event correlation
    • p2p4wsn – Efficient Data Management in Mobile Sensor Networks using Peer-to-Peer Technologies
    • Pal-Grid: A Comprehensive Simulation Framework for the Palestinian Power Grid
    • Privacy in Vehicular Networks
    • 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
    • Secure intelligent Mobility – Testarea Germany
    • Security and Quality of Service and Aspects in ZigBee-based Wireless Communication
    • Self-organization of SN-MRS systems
    • Sensitivity Analysis of Queueing Networks
    • SkyNet – Communicating Paragliders
    • Smart Grid Services
    • 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

Analysis Methods for Non-Markovian Models

analysis_methods_for_non-markovian_models

Project Description

Traditional approaches to solve non-Markovian models use phase-type expansions, apply the method of supplementary variables or construct an embedded Markov chain. All three approaches have also been investigated in the context of queuing networks and stochastic Petri nets. The phase-type expansion approach suffers from the enlargement of the state space, whereas the method of supplementary variables and the embedded Markov chain construction require basically that non-exponentially timed activities are not concurrent. If they are concurrent this will result in multidimensional differential equations that are hard to solve. To avoid these problems more efficient techniques for the performance evaluation of computer networks like web servers or networks of embedded systems have to be developed. In such systems activity durations with large variances (file transfers) as well as deterministic durations (security aspects) arise.

We have created two new approaches to approximately evaluate the performance models of these systems; the first one is based on the method of supplementary variables and the second one deals with phase-type expansions. We are currently enhancing these approaches and it is planned to combine them for the solution of large non-Markovian models.
In cooperation with department 4 (Distributed Systems and Operating Systems) the tool WinPEPSY for performance evaluation and prediction of queueing systems was developed. It contains well known analysis methods for open and closed product form and non-product form networks (mean value analysis, Jackson-method, decomposition methods, simulation) and the new state-based analysis methods are integrated.
In a cooperation with the Telecommunications Laboratory, Communications, Electronics and Information Engineering Division of the National Technical University of Athens simulation models for embedded network processors have been developed. The goal is to enhance the above mentioned methods, so that even performance measures for these large models can be derived.

Project Period

    2001-11-01 – 2004-10-30

Project Leader

    Reinhard German

Project Members

    Peter Bazan

Sponsored by

    Related Publications

    • 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 (ed.): 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), p. 1289-1301
      ISSN: 1389-1286
      DOI: 10.1016/j.comnet.2009.02.012
      BibTeX: Download

    Links

    Computer Science 7 (Computer Networks and Communication Systems)
    Friedrich-Alexander-Universität Erlangen-Nürnberg

    Martensstr. 3
    91058 Erlangen
    • Contact
    • Imprint
    • Privacy
    • Accessibility
    • RSS-FEED Colloquium
    Up