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 – 2019-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