• 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. Smart Energy
  4. Modeling and Analysis of Complex Systems

Modeling and Analysis of Complex Systems

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

Modeling and Analysis of Complex Systems

Project Description

Today's computer technology supports researchers and scientists in developing their complex ideas and innovative technologies. The use of such new ideas and technologies in an increasingly complex overall technical and ecological system will be examined in this project. These can be production systems, transport systems, computer networks, smart grids, or even a combination of such systems.

The modeling and analysis of such complex systems is supported by powerful data structures and algorithms, which enable the use of common PCs for the calculations. For example, data structures such as Multi-Valued Decision Diagrams (MDDs), analytical methods from queuing theory, hybrid simulation, Mixed-Integer Linear Programming (MILP), and combinations tailored to the system are used.

Project Period

    2016-01-01 –

Project Leader

    Reinhard German

Project Members

    Peter Bazan

Related Publications

  • Bock F., Siegl S., Bazan P., Buchholz P., German R.:
    Reliability and test effort analysis of multi-sensor driver assistance systems
    In: Journal of Systems Architecture 85-86 (2018), p. 1-13
    ISSN: 1383-7621
    DOI: 10.1016/j.sysarc.2018.01.006
    URL: http://www.sciencedirect.com/science/article/pii/S1383762117304289
    BibTeX: Download
  • Bazan P., Djanatliev A., Lauer C., Pruckner M., German R.:
    Rebalancing and Fleet Sizing of Mobility-on-Demand Networks with Combined Simulation, Optimization and Queueing Network Analysis
    Winter Simulation Conference 2018 (WSC 2018) (Göteborg, 2018-12-09 - 2018-12-12)
    In: M. Rabe, A. A. Juan, N. Mustafee, A. Skoogh, S. Jain, and B. Johansson (ed.): Proceedings of the 2018 Winter Simulation Conference, Piscataway, NJ, USA: 2018
    DOI: 10.1109/WSC.2018.8632428
    URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8632428&isnumber=8632166
    BibTeX: Download
  • Käßmeyer M., Bazan P., Schurius M., German R.:
    A Formal Model for Stateful and Variant-rich Automotive Functions
    27th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2016 (Ottawa, ON, 2016-10-23 - 2016-10-27)
    In: Formal Verification for Practicing Engineers (FVPE), Ottawa, Canada: 2016
    DOI: 10.1109/ISSREW.2016.25
    BibTeX: Download
  • Käßmeyer M., Berndt R., Bazan P., German R.:
    Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams
    18th International GI/ITG Conference on Measurment, Modelling and Evaluation of Computing Systems and Dependability and Fault-Tolerance (MMB & DFT 2016) (Münster, 2016-04-04 - 2016-04-06)
    In: Remke A., Haverkort B.R. (ed.): Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems. MMB&DFT 2016. Lecture Notes in Computer Science, vol 9629., Cham: 2016
    DOI: 10.1007/978-3-319-31559-1_11
    BibTeX: Download
  • Käßmeyer M., Berndt R., Bazan P., German R.:
    Toward an MDD-based Analysis of Stateful and Variant-rich Automotive Functions
    CARS 2016-4th International Workshop on Critical Automotive Applications: Robustness & Safety (Göteborg, 2016-09-06 - 2016-09-06)
    In: CARS 2016-4th International Workshop on Critical Automotive Applications: Robustness & Safety 2016
    BibTeX: Download
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