Skip to main content
FAU.de
Structure
Search
Deutsch
Friedrich-Alexander-Universität
Computer Science 7
CS7
Research
Teaching
Menu
Friedrich-Alexander-Universität
Erlangen-Nürnberg
Previous Projects
Start
Research
Previous Projects
Formal verification and validation of test method…
Formal verification and validation of test methods for complex vehicle safety systems in virtual environments
No projects found.
Services
Use Tab to navigate through menu items, Enter to select, Escape to close, or use the Close button.
Back
Close
No menu items found.
Deutsch
Structure
Use Tab to navigate through menu items, Enter to select, Escape to close, or use the Close button.
Back
Close
Friedrich-Alexander University
Faculty of Engineering
Department of Computer Science
FAU
Faculties
Faculty of Humanities, Social Sciences, and Theology
Faculty of Humanities, Social Sciences, and Theology
Department of Classical World and Asian Cultures
Department of English, American and Romance Studies
Department of Subject-specific Education Research
Department of German and Comparative Studies
Department of History
Department of Media Studies and Art History
Department of Education
Department of Psychology
Department of Social Sciences and Philosophy
School of Theology
Department of Islamic Religious Studies
Department of Sport Science and Sport
Department of Digital Humanities and Social Studies
Faculty of Business, Economics and Law
Faculty of Business, Economics and Law
School of Law
School of Business, Economics and Society | WiSo
Faculty of Medicine
Faculty of Medicine
Institute of Anatomy
Institute of Physiology and Pathophysiology
Institute of Cellular and Molecular Physiology
Institute of Biochemistry
Institute of Medical Informatics, Biometry and Epidemiology
Institute of the History of Medicine and Medical Ethics
Institute of Forensic Medicine
Institute of Experimental and Clinical Pharmacology and Toxicology
Institute and Outpatient Clinic of Occupational, Social and Environmental Medicine
Institute of Biomedicine of Aging
Nikolaus Fiebiger Center of Molecular Medicine
Institute of Research and Teaching, Medizincampus Oberfranken
Faculty of Sciences
Faculty of Sciences
Department of Biology
Department of Chemistry and Pharmacy
Department of Geography and Geosciences
Department of Mathematics
Department of Physics
Department of Data Science
Faculty of Engineering
Faculty of Engineering
Department of Artificial Intelligence in Biomedical Engineering
Department of Chemical and Biological Engineering
Department of Electrical, Electronic and Communication Engineering
Department of Computer Science
Department of Mechanical Engineering
Department of Materials Science
Central Institutions
University Library
Universitätsklinikum Erlangen
Regional Computer Center Erlangen (RRZE)
Bavaria California Technology Center (BaCaTeC)
Language Center
Center for Teacher Education
Graduate Center
Bavarian University Center for Latin America (BAYLAT)
Erlangen National High-Performance Computing Center (NHR)
Profile Centers
New Materials and Processes (FAU NMP)
Medical Engineering (FAU MT)
Solar (FAU Solar)
Light.Matter.Quantum Technologies (FAU LMQ)
Immunomedicine (FAU I-MED)
Research Centers
Mathematics of Data (FAU MoD)
Embedded Systems Initiative (FAU ESI)
New Bioactive Compounds (FAU NeW)
Human Rights Erlangen-Nuremberg (FAU CHREN)
Islam and Law in Europe (FAU EZIRE)
Competence Centers
Research Data and Information (FAU CDI)
Scientific Computing (FAU CSC)
Engineering of Advanced Materials (FAU EAM)
Optical Imaging Competence Center (FAU OICE)
Applied Philosophy of Science and Key Qualifications (FAU ZIWIS)
Eduction (FAU Education)
Innovation Locations
JOSEPHS
ZOLLHOF
d.hip – Digital Health Innovation Platform
Medical Valley Center
FAU Innovation Ecosystem
Website Menu
Use Tab to navigate through menu items, Enter to select, Escape to close, or use the Close button.
Back
Close
CS7
Latest News
People
Contact
Cooperation Partners
Research
Research News
Publications
Quality-of-Service and Connected Mobility
Research Projects
Satellite Internet Performance Measurements
Group Members
Publications
Network Security
Research projects
Engineering of next-generation Train Control and Management Systems (TCMS)
Network Calculus and Optimization
Network Calculus for Time-Sensitive Networking
Time Management and Real-Time Capabilities of Parallel and Distributed Simulation for the Virtual Development and Validation of Automated Driving Functions
Group Members
Publications
Smart Energy
Research Projects
Control of energy systems based on self-learning algorithms
Dynamic simulation of energy flows and storage of waste heat from data centers and of the integration of large storage systems in local heating networks
Hybrid Simulation of Smart Energy Systems
Modeling and Analysis of Complex Systems
Multi-sector coupled energy system modeling on a regional level
Group Members
Publications
Previous Projects
A⁵: Development Method for Driver Assistance Systems based on a Domain-Specific Language
ACOOWEE – Activity Oriented Programming of Wireless Sensor Networks
ALF: Autonomous Localization Framework
Analysis Methods for Non-Markovian Models
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
Transparent Multichannel IPv6
Veins 1.0 – Vehicles in Network Simulation
Web Cluster Laboratory
WinPEPSY-QNS - Performance Evaluation and Prediction System for Queueing Networks
Teaching
Teaching events
Colloquium
Winter Semester 2025/26
Advanced Networking (WS 2025/26)
Communication Systems (WS 2025/26)
Informatik 1 für Nebenfachstudierende – Grundmodul (WS 2025/26)
Modellierungs-AG (WS 2025/26)
Seminar Communications Systems (Cybersecurity in Smart Grids)
Simulation and Modeling I (WS 2025/26)
Zukunft der Automobiltechnik (WS 2025/26)
Summer Semester 2026
Automotive Systems & Software Engineering (ASSE)
Colloquium
Energy Informatics and Smart Grids (EISG)
Fahrzeugkommunikation
Informatik 2 für Nebenfachstudierende
Modellierungs-AG
Projekt Kommunikationssysteme
Quality of Service in Communications (QoSiC)
Rechnerkommunikation (RK)
Seminar: Human Factors in Cybersecurity in the Age of AI (HFCAI)
Simulation and Modeling II
Previous Courses
Automotive Systems & Software Engineering (SS 2025)
CYBERGY FAU Summer School: Network Protection for Energy Control Systems
Fahrzeugkommunikation (SS 2025)
Informatik 2 für Nebenfachstudierende (SS 2025)
Modellierungs-AG Summer Term 2025
Quality of Service in Communications (SS 2025)
Rechnerkommunikation (SS 2025)
Simulation and Modeling II (SS 2025)
Student Theses
Writing Your Thesis
Examination
Registration
Curriculum
Deutsch
Search
Use Tab to navigate through menu items, Enter to select, Escape to close, or use the Close button.
Close
Search all pages and documents:
Search
